Skip to content

Issues: apalache-mc/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

Clear current search query, filters, and sorts
271 Open 962 Closed
271 Open 962 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

Problem with cherry picking function sets bug
#1748 opened May 13, 2022 by rodrigo7491 X16: Advanced structures: Unbounded sets, choose, powersets, function sets
1 👀 1
[FEATURE] Refactor arithmetic operators with interleave/deinterleave refactoring
#317 opened Nov 2, 2020 by konnov December iteration
@thpani
1
Remove references to SolverContext Fparallel Feature: Integrating the parallel checker refactoring
#105 opened Mar 4, 2020 by konnov X14: Optimized checker
@konnov
Add source code refs to TLC/TLA counterexample output usability UX improvements
#106 opened Mar 4, 2020 by andrey-kuprianov July iteration
@konnov
3
[OPTIMIZATION] Individual sorts for frames FSMT Feature: Improvements in the SMT encoding optimization
#115 opened Mar 14, 2020 by konnov
Update the manual on TLC counterexamples doc Documentation product-owner-triage This should be triaged by the product owner usability UX improvements
#124 opened Apr 10, 2020 by konnov
Prepare a manual on Apalache IR dev-rels doc Documentation
#125 opened Apr 12, 2020 by konnov
@konnov
3
[BUG] Unroller produces stack overflow due to a bug in SANY tech-debt Technical debt
#130 opened Apr 20, 2020 by konnov backlog2021
@konnov
8
Optimize Z3SolverContext.toExpr and ConstSimplifierForSmt.simplifyDeep FSMT Feature: Improvements in the SMT encoding optimization
#138 opened Apr 28, 2020 by konnov
2
[BUG] RewriterException: Expected a constant integer range in .., found 1..N) product-owner-triage This should be triaged by the product owner usability UX improvements
#150 opened Jun 23, 2020 by lemmy X5: Error Message Overhaul
@shonfeder
9
[FEATURE] Clearly document motivate and use of OVERRIDE_ syntax or remove the functionality new New issue to be triaged. product-owner-triage This should be triaged by the product owner usability UX improvements
#163 opened Jul 10, 2020 by shonfeder
1
Reduce CI times to under 10 minutes DevOps As practice, not role. Subsumes CI/CD, project organization, operationalization etc. Finfra-backlog Feature: Infrastructure improvements backlog new New issue to be triaged.
#172 opened Jul 13, 2020 by shonfeder
3
[FEATURE] Add flags to control verbosity of output DevOps As practice, not role. Subsumes CI/CD, project organization, operationalization etc. product-owner-triage This should be triaged by the product owner testing usability UX improvements
#278 opened Oct 14, 2020 by shonfeder Revamp integration tests
@shonfeder
11
Pass TransformationTracker instead of changeListener to the passes Fparallel Feature: Integrating the parallel checker refactoring
#57 opened Sep 2, 2019 by konnov
@Kukovec
1
[BUG] Fix integer division in the model checker bug FSMT Feature: Improvements in the SMT encoding
#331 opened Nov 17, 2020 by konnov
6
[FEATURE] Change TlaOperDecl to use isRecursive as a case-class parameter refactoring
#345 opened Dec 2, 2020 by Kukovec
@konnov @Kukovec
3
Feature FTLAdoc: finishing the language manual doc Documentation product-owner-triage This should be triaged by the product owner
#361 opened Dec 6, 2020 by konnov
1 of 6 tasks
[FEATURE] Write the language manual on operators and recursive functions doc Documentation product-owner-triage This should be triaged by the product owner
#386 opened Jan 4, 2021 by konnov
2 of 8 tasks
[FEATURE] Write a language manual on modules and instances doc Documentation product-owner-triage This should be triaged by the product owner
#387 opened Jan 4, 2021 by konnov
[FEATURE] clarify licenses of the dependencies in a release Finfra-high Feature: Infrastructure improvements high prio new New issue to be triaged. product-owner-triage This should be triaged by the product owner
#404 opened Jan 7, 2021 by konnov
Pull in updated version of SANY to support Unicode specs feature A new feature or functionality
#2995 opened Sep 19, 2024 by ahelwer
@konnov
[FEATURE] Write the manual on temporal operators doc Documentation product-owner-triage This should be triaged by the product owner
#421 opened Jan 11, 2021 by konnov X12: Temporal properties
[FEATURE] Add the chapter on state machines doc Documentation product-owner-triage This should be triaged by the product owner
#422 opened Jan 11, 2021 by konnov
[FEATURE] Finish the idioms manual doc Documentation product-owner-triage This should be triaged by the product owner
#423 opened Jan 11, 2021 by konnov
4 of 15 tasks
[FEATURE] a CI solution for parsing tlaplus/Examples DevOps As practice, not role. Subsumes CI/CD, project organization, operationalization etc. Finfra-high Feature: Infrastructure improvements high prio new New issue to be triaged.
#287 opened Oct 16, 2020 by konnov
5
ProTip! Mix and match filters to narrow down what you’re looking for.