Skip to content

Pull requests: tlaplus/tlaplus

New pull request New
32 Open 342 Closed
32 Open 342 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add ARM64 (aarch64) build targets for macOS and Linux
#1271 opened Dec 21, 2025 by donghao1393 Loading…
Interactive State-Space Navigation with Successor Selection and Backtracking enhancement Lets change things for the better Tools The command line tools - TLC, SANY, ...
#1270 opened Dec 16, 2025 by lemmy Loading…
@lemmy
12
TLC: Add support for EXPECT statement in model config file
#1269 opened Dec 15, 2025 by ahelwer • Draft
1
1
Make MP formatting thread-safe
#1267 opened Nov 26, 2025 by younes-io Loading…
2
Refactor pcal package to use java.util.ArrayList instead of Vector
#1261 opened Nov 22, 2025 by younes-io Loading…
Refactor custom Vector usage to java.util.ArrayList
#1260 opened Nov 22, 2025 by younes-io Loading…
2 tasks done
Refactor NamedInputStream to facilitate reading TLA+ modules from non-file sources
#1225 opened Aug 6, 2025 by ahelwer Loading…
16
Using -dump option to produce state dumps in machine readable format. enhancement Lets change things for the better good first issue Your entry point to contributing to TLA+ help wanted We need your help Tools The command line tools - TLC, SANY, ...
#1218 opened Jul 26, 2025 by just-now Loading…
@just-now
19
Using -dump option to produce state dumps in machine readable format. enhancement Lets change things for the better good first issue Your entry point to contributing to TLA+ help wanted We need your help Tools The command line tools - TLC, SANY, ...
#1217 opened Jul 24, 2025 by lemmy • Draft
3
SANY: Standardize PlusCal translation-hash mismatch warnings
#1215 opened Jul 23, 2025 by ahelwer Loading…
4
When an invariant is violated, show the values of any \A-bound names enhancement Lets change things for the better Tools The command line tools - TLC, SANY, ...
#1180 opened Apr 30, 2025 by Calvin-L • Draft
26
Move Value.isEmpty() to Enumerable
#1178 opened Apr 28, 2025 by Calvin-L Loading…
LazyValue no longer inherits from Value
#1148 opened Feb 19, 2025 by Calvin-L Loading…
5
Lasso-Shaped counterexample fails to reconstruct when VIEW present. bug error, glitch, fault, flaw, ... Tools The command line tools - TLC, SANY, ...
#1111 opened Jan 8, 2025 by lemmy • Draft
Bogus Error: The configuration file substitutes constant C with non-constant C2 when C2 is in fact constant. bug error, glitch, fault, flaw, ... help wanted We need your help Tools The command line tools - TLC, SANY, ...
#1110 opened Jan 7, 2025 by lemmy • Draft
Add unicode support to state / value serialization bug error, glitch, fault, flaw, ... Tools The command line tools - TLC, SANY, ... Unicode Unicode support for TLA
#1079 opened Nov 20, 2024 by fhackett Loading…
1
53
Add a :help command to the REPL
#1000 opened Aug 20, 2024 by Calvin-L Loading…
12
[Draft] Fix ITE coverage
#992 opened Jul 30, 2024 by FedericoPonzi • Draft
2
Show the changed variables as part of the transition if -difftrace is given and the successor has previously been added to the GraphViz graph. enhancement Lets change things for the better Tools The command line tools - TLC, SANY, ...
#985 opened Jul 6, 2024 by lemmy • Draft
4
Upload code-coverage report to GitHub and add a comment with the results DevEnvironment Everything related to the Toolbox development environment enhancement Lets change things for the better
#982 opened Jul 2, 2024 by FedericoPonzi • Draft
1
17
Replace sun.misc.Unsafe with the new Java 22 FFM API
#951 opened Jun 15, 2024 by ahelwer • Draft
1
20
Supress SecurityManager deprecation warnings
#950 opened Jun 14, 2024 by ahelwer • Draft
1
3
Wrong coverage reported for conditional such as IF-THEN-ELSE bug error, glitch, fault, flaw, ... help wanted We need your help Tools The command line tools - TLC, SANY, ...
#846 opened Nov 17, 2023 by lemmy • Draft
Include build time in version string, rather than placeholder enhancement Lets change things for the better
#832 opened Sep 25, 2023 by eddyashton Loading…
6
Modernize codebase and remove technical debt
#756 opened Aug 29, 2022 by ElliotSwart Loading…
18
ProTip! Mix and match filters to narrow down what you’re looking for.