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
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
Uninformative error message when using .fail() in tests
error messages
Collects issues steming from poor error messages
#1372
opened Feb 20, 2024 by
p-offtermatt
Support for rationals in the simulator
product-audits
This feature was requested by the audits team
#1369
opened Feb 14, 2024 by
shonfeder
Support for "flag-based" invariants
simulator
Quint simulator
tla+ transpilation
Quint to TLA+ transpiler
#1368
opened Feb 14, 2024 by
shonfeder
Flattening issue when importing variables by different paths with different names
bug
Something isn't working
flattening
#1364
opened Feb 8, 2024 by
bugarela
Error messages for type application mismatch are not clear
error messages
Collects issues steming from poor error messages
typechecker
Type checker for Quint
UX
impacts or improves user experience
Add the option to specify a number of (counter)examples to generate
product-audits
This feature was requested by the audits team
simulator
Quint simulator
#1360
opened Feb 7, 2024 by
shonfeder
Previous Next
ProTip!
What’s not been updated in a month: updated:<2024-04-09.