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.

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

291 Open 924 Closed
291 Open 924 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

TLA+ pretty printer produces [] on empty tuples, which is invalid syntax bug
#2875 opened Mar 25, 2024 by bugarela
Assignments in quint init operators need to be unprimed feature A new feature or functionality
#2863 opened Mar 14, 2024 by shonfeder
1
@shonfeder
2
Name clash leads to operator being incorrectly marked as recursive bug
#2826 opened Feb 4, 2024 by fan-tom
1 of 3 tasks
3
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
@shonfeder
8
parse command adds superfluous EXTENDS statement
#2796 opened Dec 13, 2023 by lemmy
2
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
@shonfeder
A set filter over PowSet[FinSet[Int]] is not implemented bug
#2762 opened Oct 19, 2023 by thpani X16: Advanced structures: Unbounded sets, choose, powersets, function sets
Document Apalache config format + options doc Documentation usability UX improvements
#2756 opened Oct 11, 2023 by thpani
@shonfeder
Temporal translation broken with nested temporal subformulas and quantifiers bug
#2746 opened Sep 25, 2023 by thpani
3 tasks
6
Rework Oracles to be compatible with the new StratifiedRule interfaces refactoring
#2708 opened Aug 25, 2023 by Kukovec Introduce stratified rewriting rules
@Kukovec
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
Establish a testing methodology for SMT-related code refactoring testing
#2674 opened Jul 27, 2023 by Kukovec
@konnov @shonfeder @Kukovec
Extend the documentation of DelayedConstraintGenerator once the caller of addAllConstraints is chosen. doc Documentation
#2668 opened Jul 24, 2023 by Kukovec Introduce stratified rewriting rules
@Kukovec
Rewrite cache: DefaultValueCache refactoring
#2666 opened Jul 24, 2023 by Kukovec Introduce stratified rewriting rules
@Kukovec
Revisit StratifiedRule tests, once all rules are implemented testing
#2652 opened Jul 18, 2023 by Kukovec Introduce stratified rewriting rules
@Kukovec
Decide the (short/mid-term) fate of Multicore design Architecture and system design refactoring
#2645 opened Jul 11, 2023 by Kukovec
@konnov @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
#2611 opened Jun 20, 2023 by thpani X10: Bugfixing, maintenance, small usability improvements
1
3
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
Refactor and improve tests for the builder library refactoring tech-debt Technical debt
#2580 opened May 29, 2023 by shonfeder
1
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
Remove isApplicable from the StratifiedRules refactoring
#2558 opened May 11, 2023 by Kukovec X14: Optimized checker
@Kukovec
Support LAMBDA in the Apalache IR refactoring tech-debt Technical debt
#2532 opened Apr 13, 2023 by shonfeder
ProTip! What’s not been updated in a month: updated:<2024-04-18.