Skip to content

Pull requests: tlaplus/tlaplus

New pull request New
32 Open 463 Closed
32 Open 463 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

Check TLC value arithmetic with JBMC DevEnvironment Everything related to the Toolbox development environment enhancement Lets change things for the better Tools The command line tools - TLC, SANY, ...
#1441 opened Sep 18, 2026 by lemmy Member • Draft
TLC reports success after an initial liveness evaluation error. bug error, glitch, fault, flaw, ... soundness \/ completeness Critical TLC bugs causing missed safety or liveness violations (soundness/completeness). Tools The command line tools - TLC, SANY, ...
#1440 opened Sep 18, 2026 by lemmy Member • Draft
1
Fix SANY parsing of !! in nonfix operator application enhancement Lets change things for the better SANY Issues involving SANY's analysis
#1439 opened Sep 16, 2026 by glondu Contributor Loading…
1
Fix SANY parsing of - in nonfix operator application enhancement Lets change things for the better SANY Issues involving SANY's analysis
#1436 opened Sep 15, 2026 by glondu Contributor Loading…
2
Soundness issues TLC Value classes bug error, glitch, fault, flaw, ... soundness \/ completeness Critical TLC bugs causing missed safety or liveness violations (soundness/completeness). Tools The command line tools - TLC, SANY, ...
#1434 opened Sep 14, 2026 by lemmy Member Loading…
4
Fix parsing of CASE inside conjunction/disjunction lists enhancement Lets change things for the better SANY Issues involving SANY's analysis
#1429 opened Sep 11, 2026 by glondu Contributor Loading…
5
Accept real number literals without a leading zero enhancement Lets change things for the better SANY Issues involving SANY's analysis
#1428 opened Sep 11, 2026 by glondu Contributor Loading…
8
SANY: add spec dir to include paths by default
#1387 opened May 4, 2026 by ahelwer Collaborator Loading…
1
16
XML Exporter: add spec dir to include paths by default enhancement Lets change things for the better Tools The command line tools - TLC, SANY, ...
#1386 opened May 4, 2026 by ahelwer Collaborator Loading…
11
Add optional CLI wrapper for tla2tools.jar
#1371 opened Apr 4, 2026 by suckrowPierre Loading…
7
fix: compute permutation on VIEW for fingerprint Tools The command line tools - TLC, SANY, ...
#1369 opened Apr 3, 2026 by marco6 Loading…
1
4
Simulation trace length statistics are incorrect bug error, glitch, fault, flaw, ... Tools The command line tools - TLC, SANY, ...
#1358 opened Mar 19, 2026 by apurtell Loading…
21
TLC reports error with trace, but no message about what went wrong bug error, glitch, fault, flaw, ... Tools The command line tools - TLC, SANY, ...
#1349 opened Mar 14, 2026 by lemmy Member Loading… 1.8.0
@lemmy
2
Add stdio-based MCP server with TLA+ tools and knowledge base AI Work related to TLAi+ enhancement Lets change things for the better
#1296 opened Feb 2, 2026 by lemmy Member • Draft
1 of 2 tasks
@lemmy
8
Add comprehensive corpus test for XMLExporter to validate TLA+ module exports. bug error, glitch, fault, flaw, ... help wanted We need your help Tools The command line tools - TLC, SANY, ...
#1295 opened Feb 2, 2026 by lemmy Member • Draft
4
TLC: Add support for EXPECT statement in model config file
#1269 opened Dec 15, 2025 by ahelwer Collaborator Loading…
1
38
Using -dumptrace 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
24
Using -dumptrace 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 Member • Draft
5
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 Collaborator • Draft
26
Move Value.isEmpty() to Enumerable
#1178 opened Apr 28, 2025 by Calvin-L Collaborator Loading…
2
LazyValue no longer inherits from Value
#1148 opened Feb 19, 2025 by Calvin-L Collaborator Loading…
6
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 Member • 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 Collaborator Loading…
1
55
Add a :help command to the REPL
#1000 opened Aug 20, 2024 by Calvin-L Collaborator Loading…
12
Modernize codebase and remove technical debt
#756 opened Aug 29, 2022 by ElliotSwart Loading…
18
ProTip! What’s not been updated in a month: updated:<2026-08-18.