Skip to content

Issues: informalsystems/quint

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
37 Open 90 Closed
37 Open 90 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
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

Enable an endless quint run for long-running experiments simulator Quint simulator UX impacts or improves user experience
#1578 opened Dec 23, 2024 by bugarela
Structured simulation reports simulator Quint simulator
#1577 opened Dec 23, 2024 by bugarela
Show speed (samples/second) in the progress bar good first issue A simple issue to start with simulator Quint simulator UX impacts or improves user experience
#1575 opened Dec 23, 2024 by bugarela
Don't show q::debug output on low verbosity simulator Quint simulator UX impacts or improves user experience
#1574 opened Dec 23, 2024 by bugarela
Enable checking a set of invariants and see which ones broke good first issue A simple issue to start with simulator Quint simulator UX impacts or improves user experience
#1573 opened Dec 23, 2024 by bugarela
--out-itf should not supress output good first issue A simple issue to start with simulator Quint simulator UX impacts or improves user experience
#1571 opened Dec 23, 2024 by bugarela
Hiding variables from outputed trace good first issue A simple issue to start with simulator Quint simulator
#1570 opened Dec 23, 2024 by bugarela
Flag that opens q::lastTrace on the REPL on violation repl Quint REPL (phase 5c) simulator Quint simulator UX impacts or improves user experience
#1569 opened Dec 23, 2024 by bugarela
Evaluating nested operators might use wrong registers bug Something isn't working simulator Quint simulator
#1560 opened Dec 10, 2024 by bugarela
@bugarela
An index out of range error when combining oneOf and setOfMaps bug Something isn't working simulator Quint simulator
#1530 opened Oct 15, 2024 by ivan-gavran
@bugarela
Enable loading and saving states from simulator simulator Quint simulator tla+ transpilation Quint to TLA+ transpiler
#1377 opened Feb 23, 2024 by shonfeder
Minimizing counterexample traces simulator Quint simulator
#1376 opened Feb 23, 2024 by p-offtermatt
1
Support for "flag-based" invariants simulator Quint simulator tla+ transpilation Quint to TLA+ transpiler
#1368 opened Feb 14, 2024 by shonfeder
2
Implement assume to check assumptions simulator Quint simulator
#1182 opened Sep 26, 2023 by bugarela
@konnov
import... from... in REPL does not work simulator Quint simulator tech-debt Technical debt usability Usability issues
#1180 opened Sep 25, 2023 by konnov
@konnov
3
reps does not revert the state in the simulator bug Something isn't working simulator Quint simulator
#1114 opened Aug 23, 2023 by konnov
@konnov
Estimate the number of visited states in the simulator simulator Quint simulator usability Usability issues
#1069 opened Jul 21, 2023 by konnov
Implement line coverage in the simulator simulator Quint simulator
#1068 opened Jul 21, 2023 by konnov
Lambda nesting issue in simulator bug Something isn't working simulator Quint simulator
#1042 opened Jul 12, 2023 by thpani
@konnov
1
Simulator should produce a minimal violated invariant feedback User feedback simulator Quint simulator usability Usability issues
#898 opened May 19, 2023 by konnov
@konnov
1
Implement a simple profiler in the simulator simulator Quint simulator usability Usability issues
#895 opened May 18, 2023 by konnov
@konnov
When run is evaluated, it should emit a trace simulator Quint simulator
#886 opened May 11, 2023 by konnov
@konnov
Constants that are operators are broken in the simulator bug Something isn't working simulator Quint simulator
#851 opened Apr 26, 2023 by bugarela
@konnov
Emit the ITF trace to the standard output via --out-itf=- feedback User feedback simulator Quint simulator usability Usability issues
#782 opened Apr 5, 2023 by konnov Release quint Version 1.0.0
Distinguish between actions and non-actions in the verbose output blocked Blocked by another issue or requirement simulator Quint simulator
#749 opened Mar 27, 2023 by konnov Release quint Version 1.0.0
@konnov
ProTip! Follow long discussions with comments:>50.