Skip to content

/ tlaplus

Pinned issues

1.7.0 Known Issues
#453 opened Apr 30, 2020 by lemmy
Open
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.

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

124 Open 355 Closed
124 Open 355 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels.
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
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
Output trace in a sequencediagram.org format enhancement
#540 opened Nov 18, 2020 by Vanlightly
1
TLC intermittently shows no error trace on an invariant violation Toolbox bug
#538 opened Nov 12, 2020 by ashishnegi
5
Guarantee minimal-length counterexamples to safety properties Tools enhancement
#535 opened Nov 10, 2020 by lemmy
Toolbox options to specify margins when generating a pretty-printed spec Toolbox enhancement
#534 opened Nov 10, 2020 by lemmy
Better TLC error messages Tools enhancement
#533 opened Nov 10, 2020 by lemmy
Properly name all sub-actions Tools enhancement
#532 opened Nov 10, 2020 by lemmy
Bogus overwrite warning when clicking a .tla file in Finder or Explorer Toolbox bug usability
#531 opened Nov 10, 2020 by lemmy
Bulk-add properties and invariant in model editor Model Editor Toolbox enhancement usability
#530 opened Nov 10, 2020 by lemmy
Warn if model combines Init pred and Next-state relation with (liveness) properties Model Editor Toolbox enhancement usability
#529 opened Nov 10, 2020 by lemmy
Invalid .dot output (GraphViz) with instantiated operators Toolbox bug
#526 opened Nov 2, 2020 by davidstreader
1
Spurious violation of an obvious temporal property Tools bug
#525 opened Oct 30, 2020 by Calvin-L
1
Operations on "Real" Numbers Tools question
#522 opened Oct 28, 2020 by josedusol
1
SANY TLA+ semantic graph exploration tool fails on nested instances SANY bug
#521 opened Oct 28, 2020 by konnov
6
Invalid credentials when running on AWS Toolbox
#520 opened Oct 27, 2020 by RhinocerosBomb
8
Spec library path hides global Toolbox library path Toolbox bug
#519 opened Oct 22, 2020 by lemmy
4
Decouple "Evaluate Constant Expression" from model execution Toolbox enhancement
#518 opened Oct 21, 2020 by will62794
7
pack200 removal breaks Toolbox maven tycho build on Java 14 Toolbox bug
#517 opened Oct 18, 2020 by lemmy
Errors occurred during the build. Errors running builder 'TLA+ Syntax Parser' on ... SANY Tools bug
#514 opened Oct 13, 2020 by lemmy
application and DOMAIN of strings in TLC Tools enhancement help wanted
#512 opened Oct 1, 2020 by johnyf
2
CLI: SANY should support -help flag SANY Tools enhancement help wanted
#511 opened Sep 29, 2020 by anton-trunov
Configuration files seem to not support negative numbers Tools enhancement help wanted
#508 opened Sep 22, 2020 by anton-trunov
8
Support for large numbers in TLC Tools enhancement
#507 opened Sep 21, 2020 by anton-trunov
6
Cryptic error due to exception during symmetry reduction Tools enhancement
#506 opened Sep 18, 2020 by Calvin-L
4
PlusCal: Translator should error early and not generate TLA+ with multiply-defined symbols that SANY rejects PlusCal Tools enhancement
#505 opened Sep 18, 2020 by Calvin-L
6
Lightweight way to run model checking on remote machine from the Toolbox via SSH Toolbox enhancement help wanted
#504 opened Sep 17, 2020 by will62794
2
ProTip! no:milestone will show everything without a milestone.
You can’t perform that action at this time.