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

Clear current search query, filters, and sorts
22 Open 30 Closed
22 Open 30 Closed
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
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Trailing comma in const initialization feedback User feedback good first issue A simple issue to start with impact-low Low impact language design Language specification
#1383 opened Feb 29, 2024 by p-offtermatt
@MahtabNorouzi
2
VSCode plugin: Better support for showing things after "." feedback User feedback usability Usability issues vscode VScode plugin
#1348 opened Jan 17, 2024 by p-offtermatt
1
VSCode plugin: Show function signatures feedback User feedback usability Usability issues vscode VScode plugin
#1347 opened Jan 17, 2024 by p-offtermatt
2
Broad error location bug Something isn't working error messages Collects issues steming from poor error messages feedback User feedback usability Usability issues
#1327 opened Jan 9, 2024 by p-offtermatt Overhaul Error Messages
Multiple updates of variable aren't that helpful feedback User feedback usability Usability issues
#1253 opened Nov 17, 2023 by shonfeder
2
The type checker should reject operators that return operators feedback User feedback usability Usability issues
#1212 opened Oct 10, 2023 by konnov
@bugarela
Respect XDG Base Directory Specification feedback User feedback
#1132 opened Aug 29, 2023 by lorenzleutgeb Expose Apalache integration via CLI
3
Parsing error on action with binary boolean operator feedback User feedback usability Usability issues
#916 opened May 29, 2023 by hvanz
7
Simulator should produce a minimal violated invariant feedback User feedback simulator Quint simulator usability Usability issues
#898 opened May 19, 2023 by konnov
@konnov
1
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
1
Echo commands from saved session feedback User feedback repl Quint REPL (phase 5c)
#799 opened Apr 12, 2023 by lasarojc
Support removing definitions in REPL feedback User feedback repl Quint REPL (phase 5c) usability Usability issues
#797 opened Apr 12, 2023 by konnov
1
Emit the ITF trace to the standard output via --out-itf=- feedback User feedback simulator Quint simulator usability Usability issues
#782 opened Apr 5, 2023 by konnov Release quint Version 1.0.0
Introduce a command for creating a new project feedback User feedback usability Usability issues
#728 opened Mar 22, 2023 by konnov Release quint Version 1.0.0
@konnov
Usability feedback feedback User feedback
#723 opened Mar 21, 2023 by konnov
17 of 34 tasks
@konnov
support browser sandbox for vscode extension feedback User feedback usability Usability issues
#632 opened Feb 16, 2023 by rnbguy
@bugarela
broken link in codetour doc Improvements or additions to documentation feedback User feedback
#556 opened Jan 20, 2023 by josef-widder
1
@konnov
5
There's no way to evaluate defs for q::lastTrace in the REPL feedback User feedback
#544 opened Jan 19, 2023 by bugarela
Feedback on the hello world tutorial feedback User feedback
#521 opened Jan 17, 2023 by konnov
Improve precision of error locs feedback User feedback parser Quint parser usability Usability issues
#468 opened Dec 22, 2022 by bugarela
Expose simulator state in the REPL feedback User feedback repl Quint REPL (phase 5c) simulator Quint simulator usability Usability issues
#446 opened Dec 16, 2022 by shonfeder
4 tasks
1
Error from one action is shown when executing another action, in the REPL bug Something isn't working feedback User feedback impact-medium Medium impact simulator Quint simulator usability Usability issues
#428 opened Dec 13, 2022 by lasarojc
4
ProTip! Add no:assignee to see everything that’s not assigned.