Skip to content

Pull requests: tlaplus/tlaplus

New pull request New
30 Open 427 Closed
30 Open 427 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

fix: show config file errors directly without 'unexpected exception' wrapper
#1378 opened Apr 18, 2026 by mvanhorn Loading…
1
10
CI: Parse examples using find | xargs bash pipeline
#1375 opened Apr 6, 2026 by ahelwer Collaborator Loading…
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
SANY: Improve stability by preserving operator definition order
#1359 opened Mar 22, 2026 by ahelwer Collaborator Loading…
1
8
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
XML Exporter: UserDefinedOpKind original op reference
#1352 opened Mar 17, 2026 by ahelwer Collaborator Loading…
6
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
SANY: remove unused built-in operators
#1331 opened Feb 25, 2026 by ahelwer Collaborator • Draft
1
5
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 • Draft
1
9
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
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 Member • Draft
4
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 Member • Draft
Modernize codebase and remove technical debt
#756 opened Aug 29, 2022 by ElliotSwart Loading…
18
WIP: Purge UniqueString
#716 opened Feb 17, 2022 by zwergziege Loading…
12
Added string support and first class characters
#685 opened Nov 3, 2021 by zwergziege Loading…
1
19
ProTip! Updated in the last three days: updated:>2026-04-19.