Skip to content

Issues: tlaplus/tlaplus

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

240 Open 514 Closed
240 Open 514 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Unify version of Java targeted by the tools DevEnvironment Everything related to the Toolbox development environment Tools The command line tools - TLC, SANY, ...
#921 opened Apr 28, 2024 by ahelwer
13
Add LOC counting to SANY enhancement Lets change things for the better SANY Issues involving SANY's analysis
#918 opened Apr 26, 2024 by lemmy
2
Crash when accessing Preferences -> General -> Web Browser with version 1.8.0 bug error, glitch, fault, flaw, ... help wanted We need your help Toolbox The TLA Toolbox/IDE
#917 opened Apr 26, 2024 by matthias-g
Counterexample too short with StateDeque bug error, glitch, fault, flaw, ... Tools The command line tools - TLC, SANY, ...
#913 opened Apr 24, 2024 by lemmy
1
pcal.trans outputs blank lines in translation if block comments are present in PlusCal source
#906 opened Apr 10, 2024 by ahelwer
1
test-verify and test-dist-long Ant targets both fail DevEnvironment Everything related to the Toolbox development environment Tools The command line tools - TLC, SANY, ...
#905 opened Apr 10, 2024 by ahelwer
SANY should exit with nonzero error code when parsing invalid PlusCal code and -error-codes is given
#899 opened Mar 31, 2024 by ahelwer
SANY handles operator precedence incorrectly with the negative prefix operator
#893 opened Mar 19, 2024 by ahelwer
Proposed refactoring goal: remove all static global variables enhancement Lets change things for the better refactoring Steadily improving code base SANY Issues involving SANY's analysis Tools The command line tools - TLC, SANY, ...
#891 opened Mar 18, 2024 by ahelwer
4
SANY incorrectly allows an empty tuple of identifiers in quantifier bounds bug error, glitch, fault, flaw, ... SANY Issues involving SANY's analysis Tools The command line tools - TLC, SANY, ...
#888 opened Mar 8, 2024 by ahelwer
15
SANY incorrectly allows subexpression prefixes for labels with parameters bug error, glitch, fault, flaw, ... SANY Issues involving SANY's analysis Tools The command line tools - TLC, SANY, ...
#885 opened Mar 6, 2024 by ahelwer
SANY fails to parse negative and !! operators in nonfix form bug error, glitch, fault, flaw, ... SANY Issues involving SANY's analysis
#884 opened Feb 23, 2024 by ahelwer
1
Nondeterminism in diameter reported by TLC bug error, glitch, fault, flaw, ... Tools The command line tools - TLC, SANY, ...
#883 opened Feb 21, 2024 by ahelwer
Enforce using either tabs or spaces, at least on a per-file basis
#881 opened Feb 20, 2024 by ahelwer
1
Split toolbox into a separate repo DevEnvironment Everything related to the Toolbox development environment enhancement Lets change things for the better help wanted We need your help Toolbox The TLA Toolbox/IDE
#880 opened Feb 18, 2024 by ahelwer
4
Feature request: -trace-validation/-tracevalidate mode enhancement Lets change things for the better Tools The command line tools - TLC, SANY, ...
#877 opened Feb 12, 2024 by achamayou
4
Pluscal translator crush (very easy fix) bug error, glitch, fault, flaw, ... Tools The command line tools - TLC, SANY, ...
#874 opened Feb 8, 2024 by jackmalkovick
2
Normalize line endings as LF or CRLF and encode choice in .gitattributes file DevEnvironment Everything related to the Toolbox development environment enhancement Lets change things for the better
#872 opened Feb 5, 2024 by ahelwer
6
Report Stuttering as Back to state if a moot action is taken enhancement Lets change things for the better help wanted We need your help Tools The command line tools - TLC, SANY, ...
#871 opened Feb 5, 2024 by egolf-cs
3
Performance hit when using -lncheck final Tools The command line tools - TLC, SANY, ...
#869 opened Feb 2, 2024 by jonesmartins
11
Multithreaded liveness checking gives inconsistent results when using RandomElement
#866 opened Jan 26, 2024 by ahelwer
5
Feature proposal: REACHABLE invariant type enhancement Lets change things for the better Tools The command line tools - TLC, SANY, ...
#860 opened Jan 10, 2024 by ahelwer
7
tla2tex with -out option fails if the output file does not exist already Tools The command line tools - TLC, SANY, ...
#855 opened Jan 3, 2024 by nano-o
Feature proposal: monotonic counter datatype enhancement Lets change things for the better Tools The command line tools - TLC, SANY, ...
#854 opened Dec 21, 2023 by ahelwer
8
IDE setup instructions need updating
#851 opened Dec 1, 2023 by Calvin-L
4
ProTip! What’s not been updated in a month: updated:<2024-04-08.