Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / will62794/tla-web issues and pull requests
#49 - Show action details on hover in next state selection
Issue -
State: open - Opened by will62794 4 months ago
#48 - Add EWD998 animation inspired by https://github.com/tlaplus/Examples/blob/master/specifications/ewd998/EWD998_anim.tla
Pull Request -
State: closed - Opened by lemmy 6 months ago
- 1 comment
#47 - Short-circuit and/or eval
Pull Request -
State: closed - Opened by ajdavis 6 months ago
#46 - Show an error message if any action doesn't assign all variables
Issue -
State: open - Opened by ajdavis 6 months ago
- 2 comments
#45 - Parse error if Next is defined on one line
Issue -
State: closed - Opened by ajdavis 6 months ago
- 3 comments
#44 - Short-circuit evaluation in conjunctions
Issue -
State: closed - Opened by ajdavis 6 months ago
- 6 comments
#43 - Load local files
Pull Request -
State: closed - Opened by dgomezferro 6 months ago
- 6 comments
#42 - Add relevant CommunityModules to hardcoded list of modules.
Pull Request -
State: closed - Opened by lemmy 7 months ago
- 2 comments
#41 - Opening trace link loads forever
Issue -
State: closed - Opened by lemmy 7 months ago
- 6 comments
#40 - Bogus results for trace expressions
Issue -
State: open - Opened by lemmy 7 months ago
- 1 comment
#39 - Bogus "tx_id" doesn't exist in function domain.
Issue -
State: open - Opened by lemmy 7 months ago
- 9 comments
#38 - Add Linearizability spec as example
Issue -
State: open - Opened by lemmy 7 months ago
#37 - Should notify user if spec fails to load
Issue -
State: closed - Opened by hwayne 7 months ago
- 1 comment
#36 - Can I embed this in another website?
Issue -
State: closed - Opened by hwayne 7 months ago
- 1 comment
#35 - Folds not supported
Issue -
State: closed - Opened by oggy- about 1 year ago
- 1 comment
#34 - Priority of :> not handled correctly
Issue -
State: closed - Opened by oggy- about 1 year ago
- 2 comments
#33 - Add additional tests for RECURSIVE operators
Issue -
State: closed - Opened by will62794 over 1 year ago
#32 - Add additional tests for ENABLED construct
Issue -
State: closed - Opened by will62794 over 1 year ago
#31 - Lasso detection rules out behaviors
Issue -
State: closed - Opened by lemmy almost 2 years ago
- 2 comments
#30 - Add ability to explode/split trace view on a specified constant set
Issue -
State: closed - Opened by will62794 almost 2 years ago
- 1 comment
#29 - Display action names with next state choices
Issue -
State: closed - Opened by will62794 almost 2 years ago
- 2 comments
#28 - Allow unit tests to execute in background
Issue -
State: closed - Opened by will62794 almost 2 years ago
- 1 comment
#27 - Support ENABLED
Issue -
State: closed - Opened by will62794 almost 2 years ago
- 2 comments
#26 - Real-world spec challenge
Issue -
State: open - Opened by lemmy about 2 years ago
- 1 comment
#25 - Can't use EXCEPT on sequences, or Append on sequence-domain functions
Issue -
State: closed - Opened by fhackett-ms over 2 years ago
- 1 comment
#24 - + Add EWD998 to list of specs in README.md
Pull Request -
State: closed - Opened by lemmy over 2 years ago
#23 - Feature Request: ALIAS
Issue -
State: closed - Opened by fhackett-ms over 2 years ago
- 10 comments
#22 - LAMBDA expressions
Issue -
State: closed - Opened by lemmy over 2 years ago
- 2 comments
#21 - UNCHANGED vars disjunct
Issue -
State: closed - Opened by lemmy over 2 years ago
- 2 comments
#20 - Handle primed expressions correctly
Issue -
State: closed - Opened by will62794 over 2 years ago
- 1 comment
#19 - Variables values undefined when operator is primed
Issue -
State: closed - Opened by lemmy over 2 years ago
- 1 comment
#18 - Four boolean values: TRUE, FALSE, false, true
Issue -
State: closed - Opened by lemmy over 2 years ago
- 1 comment
#17 - Quantification over two or more variables not supported
Issue -
State: closed - Opened by lemmy over 2 years ago
- 1 comment
#16 - Comments preceding the TLA+ module break the web explorer
Issue -
State: closed - Opened by lemmy over 2 years ago
- 1 comment
#15 - Incomplete set of initial states
Issue -
State: closed - Opened by lemmy over 2 years ago
- 2 comments
#14 - Support module semantics
Issue -
State: open - Opened by will62794 over 2 years ago
- 7 comments
#13 - Operators from standard modules do not work
Issue -
State: closed - Opened by lemmy over 2 years ago
- 6 comments
#12 - Next-state relation disabled when it is not
Issue -
State: closed - Opened by lemmy over 2 years ago
- 2 comments
#11 - Finite stuttering should be possible?
Issue -
State: closed - Opened by lemmy over 2 years ago
- 3 comments
#10 - Various issues with example spec (see debug console)
Issue -
State: closed - Opened by lemmy over 2 years ago
- 2 comments
#9 - Debug mode should show where in spec an evaluation error occurred
Issue -
State: closed - Opened by will62794 over 2 years ago
- 1 comment
#8 - Encode CONSTANT value settings in URL
Issue -
State: closed - Opened by will62794 over 2 years ago
- 1 comment
#7 - Handle model values
Issue -
State: closed - Opened by will62794 over 2 years ago
- 2 comments
#6 - Support CASE construct
Issue -
State: closed - Opened by will62794 over 2 years ago
- 1 comment
#5 - Support recursive operators
Issue -
State: closed - Opened by will62794 over 2 years ago
- 3 comments
#4 - Multiline-comments between constants are treated as constants
Issue -
State: closed - Opened by lemmy over 2 years ago
- 2 comments
#3 - What license is this released under?
Issue -
State: closed - Opened by lemmy almost 3 years ago
- 1 comment
#2 - Consider Github.dev as the frontend
Issue -
State: closed - Opened by lemmy almost 3 years ago
#1 - Use fields instead of indexes to address children
Issue -
State: closed - Opened by ahelwer almost 3 years ago
- 5 comments