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
16 Open 3 Closed
16 Open 3 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

Improve error reporting on let-ins missing a body like val foo = 1 error messages Collects issues steming from poor error messages UX impacts or improves user experience
#1536 opened Oct 22, 2024 by bugarela
1
quint verify fails when --invariant is not Boolean error messages Collects issues steming from poor error messages
#1460 opened Jul 10, 2024 by konnov
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
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
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
2
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
#1361 opened Feb 7, 2024 by bugarela Overhaul Error Messages
Bad error message on record field typo error messages Collects issues steming from poor error messages typechecker Type checker for Quint UX impacts or improves user experience
#1354 opened Jan 24, 2024 by bugarela
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
Improve type checking error for sum-type constructors and eliminators error messages Collects issues steming from poor error messages
#1231 opened Oct 27, 2023 by shonfeder Overhaul Error Messages
@shonfeder
2
Redundant error messages on wrong number of arguments error messages Collects issues steming from poor error messages usability Usability issues
#1229 opened Oct 22, 2023 by bugarela Overhaul Error Messages
@bugarela
Refactor and generalize parse error reporting architecture error messages Collects issues steming from poor error messages
#869 opened May 7, 2023 by shonfeder Overhaul Error Messages
@shonfeder
Error messages for mismatching records are not friendly error messages Collects issues steming from poor error messages usability Usability issues
#835 opened Apr 19, 2023 by bugarela Overhaul Error Messages
@bugarela
Improve error messages for unexpected effects effect system Quint effects checker error messages Collects issues steming from poor error messages
#643 opened Feb 20, 2023 by bugarela Overhaul Error Messages
@bugarela
Improve error messages for unbalanced updates effect system Quint effects checker error messages Collects issues steming from poor error messages
#642 opened Feb 20, 2023 by bugarela Overhaul Error Messages
@bugarela
Add short explanations to error messages for effect errors doc Improvements or additions to documentation effect system Quint effects checker error messages Collects issues steming from poor error messages usability Usability issues
#502 opened Jan 12, 2023 by shonfeder Overhaul Error Messages
@bugarela
Improve error messages by antlr effort-medium Can be completed within about 3 days error messages Collects issues steming from poor error messages impact-high High impact parser Quint parser usability Usability issues
#17 opened Nov 14, 2021 by konnov Overhaul Error Messages
@konnov
3
ProTip! Mix and match filters to narrow down what you’re looking for.