-
Notifications
You must be signed in to change notification settings - Fork 39
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
Label
Projects
Milestones
Assignee
Sort
Issues list
quint verify
fails when --invariant
is not Boolean
error messages
#1460
opened Jul 10, 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
Extend the language to be able to convert an action to a temporal formula
language design
Language specification
#1236
opened Nov 7, 2023 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 Type checker for Quint
usability
Usability issues
A::Foo
as a type constant
typechecker
#1189
opened Sep 28, 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
#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
Implement Blocked by another issue or requirement
example
Language and specification examples
listSorted
blocked
#987
opened Jun 27, 2023 by
konnov
Implement a simple profiler in the simulator
simulator
Quint simulator
usability
Usability issues
#895
opened May 18, 2023 by
konnov
When Quint simulator
run
is evaluated, it should emit a trace
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
Previous Next
ProTip!
Updated in the last three days: updated:>2025-02-16.