will62794/tla-web

Issues

• Show action details on hover in next state selection

  #49 opened 4 months ago by will62794
  0

• Handle model values

  #7 opened 4 months ago by will62794
  2

• Add ability to explode/split trace view on a specified constant set

  #30 opened 4 months ago by will62794
  1

• Show an error message if any action doesn't assign all variables

  #46 opened 6 months ago by ajdavis
  2

• Can I embed this in another website?

  #36 opened 4 months ago by hwayne
  1

• Support module semantics

  #14 opened 2 years ago by will62794
  7

• Bogus "tx_id" doesn't exist in function domain.

  #39 opened 7 months ago by lemmy
  9

• Parse error if Next is defined on one line

  #45 opened 5 months ago by ajdavis
  3

• Short-circuit evaluation in conjunctions

  #44 opened 5 months ago by ajdavis
  6

• Opening trace link loads forever

  #41 opened 6 months ago by lemmy
  6

• Bogus results for trace expressions

  #40 opened 7 months ago by lemmy
  1

• Finite stuttering should be possible?

  #11 opened 7 months ago by lemmy
  3

• Should notify user if spec fails to load

  #37 opened 7 months ago by hwayne
  1

• Folds not supported

  #35 opened 7 months ago by oggy-
  1

• Add Linearizability spec as example

  #38 opened 7 months ago by lemmy
  0

• Add additional tests for ENABLED construct

  #32 opened 7 months ago by will62794
  0

• Add additional tests for RECURSIVE operators

  #33 opened 7 months ago by will62794
  0

• Display action names with next state choices

  #29 opened 9 months ago by will62794
  2

• Priority of :> not handled correctly

  #34 opened a year ago by oggy-
  2

• LAMBDA expressions

  #22 opened a year ago by lemmy
  2

• Support recursive operators

  #5 opened a year ago by will62794
  3

• Lasso detection rules out behaviors

  #31 opened a year ago by lemmy
  2

• Operators from standard modules do not work

  #13 opened a year ago by lemmy
  6

• Support ENABLED

  #27 opened a year ago by will62794
  2

• Encode CONSTANT value settings in URL

  #8 opened 2 years ago by will62794
  1

• Feature Request: ALIAS

  #23 opened 2 years ago by fhackett-ms
  10

• Handle primed expressions correctly

  #20 opened 2 years ago by will62794
  1

• Allow unit tests to execute in background

  #28 opened 2 years ago by will62794
  1

• UNCHANGED vars disjunct

  #21 opened 2 years ago by lemmy
  2

• Variables values undefined when operator is primed

  #19 opened 2 years ago by lemmy
  1

• Can't use EXCEPT on sequences, or Append on sequence-domain functions

  #25 opened 2 years ago by fhackett-ms
  1

• Debug mode should show where in spec an evaluation error occurred

  #9 opened 2 years ago by will62794
  1

• Real-world spec challenge

  #26 opened 2 years ago by lemmy
  1

• Quantification over two or more variables not supported

  #17 opened 2 years ago by lemmy
  1

• Four boolean values: TRUE, FALSE, false, true

  #18 opened 2 years ago by lemmy
  1

• Comments preceding the TLA+ module break the web explorer

  #16 opened 2 years ago by lemmy
  1

• Incomplete set of initial states

  #15 opened 2 years ago by lemmy
  2

• Support CASE construct

  #6 opened 2 years ago by will62794
  1

• Next-state relation disabled when it is not

  #12 opened 2 years ago by lemmy
  2

• What license is this released under?

  #3 opened 2 years ago by lemmy
  1

• Various issues with example spec (see debug console)

  #10 opened 2 years ago by lemmy
  2

• Multiline-comments between constants are treated as constants

  #4 opened 3 years ago by lemmy
  2

• Consider Github.dev as the frontend

  #2 opened 3 years ago by lemmy
  0

• Use fields instead of indexes to address children

  #1 opened 3 years ago by ahelwer
  5