Skip to content

Pull requests: tlaplus/tlaplus

New pull request New
19 Open 145 Closed
19 Open 145 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Upgrade to JavaCC 5.0
#919 opened Apr 27, 2024 by ahelwer • Draft
Fixed miscellaneous javac compiler warnings
enhancement Lets change things for the better Tools The command line tools - TLC, SANY, ...
#915 opened Apr 24, 2024 by ahelwer Loading…
7
Support Unicode in pcal.trans
#911 opened Apr 15, 2024 by ahelwer Loading…
6
Rework BufferedRandomAccessFile
bug error, glitch, fault, flaw, ... Tools The command line tools - TLC, SANY, ...
#907 opened Apr 10, 2024 by Calvin-L Loading…
1
61
Wrong coverage reported for conditional such as IF-THEN-ELSE
bug error, glitch, fault, flaw, ... 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…
5
Support cyclic redefinitions
enhancement Lets change things for the better Tools The command line tools - TLC, SANY, ...
#825 opened Aug 6, 2023 by lemmy • Draft
7
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
REPL: process input to get Value instead of String
#659 opened Aug 13, 2021 by lalo Loading…
fix: Set/ValueVec support searching distinct typed elements enhancement Lets change things for the better Tools The command line tools - TLC, SANY, ...
#657 opened Aug 11, 2021 by lalo Loading…
6
Display PlusCal translator warnings in the toolbox interface
#631 opened May 27, 2021 by ztlpn Loading…
4
Closes #490: look up for modules in the directories that are defined in the environment variable TLA_PATH enhancement Lets change things for the better SANY Issues involving SANY's analysis Tools The command line tools - TLC, SANY, ...
#493 opened Jul 28, 2020 by konnov Loading… 1.8.0
18
PlusCal "action" keyword that - contrary to await/when - lets the user enhancement Lets change things for the better PlusCal PlusCal Algorithm Language SANY Issues involving SANY's analysis
#455 opened May 2, 2020 by lemmy Loading…
@lemmy
1
Better parameterized instantiation support Tools The command line tools - TLC, SANY, ...
#441 opened Apr 13, 2020 by quaeler Loading… N+1
18
Sonar code improvements
#383 opened Oct 24, 2019 by indegro Loading…
5
Replace Vector and Stack classes in tla2sany.utilities package with their java.util equivalents
#328 opened Jun 16, 2019 by tautomaton Loading…
1
16
Javacc4 config input file
#259 opened Mar 20, 2019 by Henne Loading…
6
ProTip! Updated in the last three days: updated:>2024-05-05.