pmer/tla-bin

Issues

• sany: return non-zero exit code if there are errors

  #9 opened 5 years ago by anton-trunov
  3

• Outdated URL for latest release

  #14 opened 3 years ago by heidihoward
  1

• Suggestion: Add TraceExplorer command

  #13 opened 3 years ago by jonesmartins
  0

• tlatex error

  #10 opened 4 years ago by KevinTung
  1

• Pass `-error-codes` to SANY once TLA+ v1.8 is released

  #12 opened 3 years ago by pmer
  0

• pcal command fails if no pcal code found

  #7 opened 3 years ago by ToddG
  2

• Unable to run tlc

  #5 opened 5 years ago by bekiroguzhan
  1

• Heads up, tla.zip will be gone in next 1.5.8 release

  #2 opened 6 years ago by lemmy
  10

• Exception when running TLC

  #1 opened 6 years ago by agentultra
  3