-
Notifications
You must be signed in to change notification settings - Fork 30
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
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 ITF trace produced by quint verify is not formatted correctly
#1448
opened May 23, 2024 by
ivan-gavran
We are unshadowing non-nested lambdas only because of Apalache
#1443
opened May 21, 2024 by
bugarela
Simulator crashes with invalid Something isn't working
init
action
bug
#1439
opened May 15, 2024 by
bugarela
Bad type error when missing Collects issues steming from poor error messages
typechecker
Type checker for Quint
()
after operator application
error messages
#1435
opened May 9, 2024 by
bugarela
Improve REPL's multiline parsing
UX
impacts or improves user experience
#1428
opened Apr 23, 2024 by
bugarela
Bad error message for missing parenthesis in the Collects issues steming from poor error messages
language design
Language specification
if
condition
error messages
#1427
opened Apr 10, 2024 by
bugarela
Internal error while flattening [QNT404] Name 'Listed' not found
bug
Something isn't working
flattening
#1418
opened Apr 2, 2024 by
eras
Improve error handling for Apalache errors
UX
impacts or improves user experience
#1405
opened Mar 13, 2024 by
bugarela
Quint allows let-bindings where operators are expected, breaking integration with Apalache
bug
Something isn't working
#1403
opened Mar 13, 2024 by
p-offtermatt
Flattening should not remove declarations from anonymous instantiations in the main module
flattening
language design
Language specification
#1400
opened Mar 12, 2024 by
shonfeder
Apalache rewritter error on poly types
bug
Something isn't working
tla+ transpilation
Quint to TLA+ transpiler
typechecker
Type checker for Quint
#1398
opened Mar 11, 2024 by
bugarela
Error when running Something isn't working
quint test --verbosity=x
where x in {3,4,5}
bug
#1387
opened Mar 1, 2024 by
p-offtermatt
Trailing comma in const initialization
feedback
User feedback
impact-low
Low impact
language design
Language specification
#1383
opened Feb 29, 2024 by
p-offtermatt
Automatic generation of test cases for counterexample traces
#1379
opened Feb 26, 2024 by
p-offtermatt
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
Enable configuring constants via CLI param to impacts or improves user experience
run
command
UX
#1374
opened Feb 21, 2024 by
shonfeder
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.