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.

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

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

Issues list

quint verify fails when --invariant is not Boolean error messages Collects issues steming from poor error messages
#1460 opened Jul 10, 2024 by konnov
option type breaking in quint verify
#1451 opened May 29, 2024 by konnov
assume is not propagated to Apalache
#1450 opened May 29, 2024 by konnov
An exception when loading a file from a different directory repl Quint REPL (phase 5c) usability Usability issues
#1449 opened May 24, 2024 by konnov
The type checker should reject operators that return operators feedback User feedback usability Usability issues
#1212 opened Oct 10, 2023 by konnov
Do not treat A::Foo as a type constant typechecker Type checker for Quint usability Usability issues
#1189 opened Sep 28, 2023 by 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
Write an ITF tutorial doc Improvements or additions to documentation
#1164 opened Sep 14, 2023 by konnov
Syntax highlighting of temporal operators in vscode effort-easy Can be completed within about 1 day impact-low Low impact usability Usability issues vscode VScode plugin
#1117 opened Aug 24, 2023 by konnov
reps does not revert the state in the simulator bug Something isn't working simulator Quint simulator
#1114 opened Aug 23, 2023 by 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
Integrate vscode telemetry vscode VScode plugin
#1043 opened Jul 13, 2023 by konnov
Implement listSorted blocked Blocked by another issue or requirement example Language and specification examples
#987 opened Jun 27, 2023 by konnov
Simulator should produce a minimal violated invariant feedback User feedback simulator Quint simulator usability Usability issues
#898 opened May 19, 2023 by konnov
Implement a simple profiler in the simulator simulator Quint simulator usability Usability issues
#895 opened May 18, 2023 by konnov
When run is evaluated, it should emit a trace simulator Quint simulator
#886 opened May 11, 2023 by konnov
Add a feature that enables string output for debugging purposes feedback User feedback language design Language specification usability Usability issues
#853 opened Apr 27, 2023 by konnov
Update the language manual on modules doc Improvements or additions to documentation modularity Issues and features affecting modularity of specs
#832 opened Apr 18, 2023 by konnov
Resolve imports via URIs in the VSCode server vscode VScode plugin
#831 opened Apr 18, 2023 by konnov
Support removing definitions in REPL feedback User feedback repl Quint REPL (phase 5c) usability Usability issues
#797 opened Apr 12, 2023 by konnov
ProTip! Updated in the last three days: updated:>2025-02-16.