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

#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