Skip to content

Issues: tlaplus/tlapm

TLAPS in WSL2 - Prover Launch problem
#78 by hejersbo was closed Apr 30, 2023
Closed 3
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.

Sign up for GitHub

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

Clear current search query, filters, and sorts
11 Open 10 Closed
11 Open 10 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Support finding relevant facts and definitions enhancement A new feature, an improvement, or other addition.
#206 opened Mar 3, 2025 by muenchnerkindl
2
Reimplement "Decompose Proof" enhancement A new feature, an improvement, or other addition.
#205 opened Mar 3, 2025 by muenchnerkindl
1
Better approximation of boxed contexts enhancement A new feature, an improvement, or other addition.
#196 opened Jan 28, 2025 by muenchnerkindl
Reduce size of TLAPM release bundle enhancement A new feature, an improvement, or other addition.
#181 opened Nov 27, 2024 by ahelwer
5
Switch tlapm to cmdliner enhancement A new feature, an improvement, or other addition.
#177 opened Nov 21, 2024 by glondu Loading…
47
Add LSP command to add DEFs to a leaf proof for ExpandENABLED to work. enhancement A new feature, an improvement, or other addition.
#153 opened Sep 12, 2024 by kape1395
@kape1395
2
Verify proofs in examples/ directory as part of PR workflow enhancement A new feature, an improvement, or other addition. testing Related to tests of code, continuous integration, and related topics.
#136 opened Jun 6, 2024 by lemmy
6
ENABLED is not coalesced enhancement A new feature, an improvement, or other addition.
#75 opened Mar 28, 2023 by muenchnerkindl
Sign TLAPS release to be accepted by macOS gatekeeper enhancement A new feature, an improvement, or other addition.
#46 opened Sep 26, 2021 by lemmy
@lemmy
6
interfacing to cvc5 api Changes to the program's interface (including the interface to humans). documentation Adding or editing any form of documentation (documentation files, code comments, website pages, etc) enhancement A new feature, an improvement, or other addition.
#38 opened May 27, 2021 by johnyf
Spec => <>[]TRUE enhancement A new feature, an improvement, or other addition.
#35 opened Apr 19, 2021 by lemmy
1
ProTip! Follow long discussions with comments:>50.