Skip to content

Issues: informalsystems/apalache

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
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

Issues list

Assignments in quint init operators need to be unprimed feature A new feature or functionality
#2863 opened Mar 14, 2024 by shonfeder
Allow specifying types in separate files feature A new feature or functionality usability UX improvements
#2820 opened Jan 24, 2024 by nano-o
Include constant value assignments in ITF feature A new feature or functionality help wanted
#2819 opened Jan 23, 2024 by shonfeder
Operator overriding in annotations feature A new feature or functionality
#2818 opened Jan 23, 2024 by konnov
Typechecking crashes with IllegalArgumentException: Unsupported expression on unbounded quantification (e.g., \A x: P). bug help wanted impact-medium Incremental improvement | unblocks non-critical work | saves some time usability UX improvements
#2816 opened Jan 22, 2024 by nano-o
3 tasks
Raise error when an unexpanded type constant is found in quint IR output feature A new feature or functionality
#2788 opened Nov 30, 2023 by shonfeder
Document Apalache config format + options doc Documentation usability UX improvements
#2756 opened Oct 11, 2023 by thpani
Introduce an operator for bounded sequences feature A new feature or functionality Fsequences Feature: Implementing missing operators on Sequences
#2699 opened Aug 17, 2023 by konnov
Decide the (short/mid-term) fate of Multicore design Architecture and system design refactoring
#2645 opened Jul 11, 2023 by Kukovec
cache action fails to unpack files in macOS CI bug DevOps As practice, not role. Subsumes CI/CD, project organization, operationalization etc. tech-debt Technical debt
Add support for CHOOSE x \in i..j: P for large |j-i| customer-request This is issue is required by a customer feature A new feature or functionality help wanted
#2582 opened May 31, 2023 by konnov
Integration tests broken with mdx >2.1.0 bug DevOps As practice, not role. Subsumes CI/CD, project organization, operationalization etc. tech-debt Technical debt
#2566 opened May 24, 2023 by thpani
Support LAMBDA in the Apalache IR refactoring tech-debt Technical debt
#2532 opened Apr 13, 2023 by shonfeder
ProTip! Find all open issues with in progress development work with linked:pr.