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

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

option type breaking in quint verify
#1451 opened May 29, 2024 by konnov
1
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 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 init action bug Something isn't working
#1439 opened May 15, 2024 by bugarela
2
Bad type error when missing () after operator application error messages Collects issues steming from poor error messages typechecker Type checker for Quint
#1435 opened May 9, 2024 by bugarela
Add option to verify inductive invariants
#1430 opened May 3, 2024 by bugarela
3
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 if condition error messages Collects issues steming from poor error messages language design Language specification
#1427 opened Apr 10, 2024 by bugarela
2
Integration with TLC
#1424 opened Apr 9, 2024 by bugarela
4
Improve our tests that use fixtures
#1422 opened Apr 8, 2024 by bugarela
Formatter for Quint source code
#1419 opened Apr 3, 2024 by romac
3
Internal error while flattening [QNT404] Name 'Listed' not found bug Something isn't working flattening
#1418 opened Apr 2, 2024 by eras
1
Apalache integration on Windows doesn't work well
#1414 opened Mar 25, 2024 by bugarela
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
2
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
6
Error when running quint test --verbosity=x where x in {3,4,5} bug Something isn't working
#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
2
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
1
Enable configuring constants via CLI param to run command UX impacts or improves user experience
#1374 opened Feb 21, 2024 by shonfeder
ProTip! Updated in the last three days: updated:>2024-06-05.