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

271 Open 966 Closed
271 Open 966 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

First argument of Variant must be a string, found: A() bug
#3035 opened Nov 12, 2024 by lemmy
Labels should not prevent the VC generator from decomposing an invariant feature A new feature or functionality
#3019 opened Oct 13, 2024 by konnov
@konnov
Refactor option configurations refactoring usability UX improvements
#2999 opened Sep 24, 2024 by konnov
@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
26
Figure out what to do about random_seed feature A new feature or functionality FSMT Feature: Improvements in the SMT encoding
#2989 opened Sep 18, 2024 by konnov
check: surprising temporal NoError result bug
#2985 opened Sep 9, 2024 by lucab
3 tasks
7
Support for mutually-recursive operators in the type checker feature A new feature or functionality FTC-Snowcat Feature: Fully-functional type checker Snowcat
#2978 opened Sep 2, 2024 by konnov
@konnov
Apalache seems to cache Gen expressions bug
#2973 opened Aug 28, 2024 by Kukovec
@konnov
Unexpected equality test over types CellTFrom(Set(Int)) and InfSet[CellTFrom(Int)] bug
#2972 opened Aug 28, 2024 by lemmy
VCGenerator should annotate decomposed invariants feature A new feature or functionality usability UX improvements
#2968 opened Aug 25, 2024 by konnov
@konnov
3
Allow for digits in type aliases feature A new feature or functionality
#2967 opened Aug 23, 2024 by konnov
@konnov
Clean up safe/unsafe builder usage feature A new feature or functionality
#2934 opened Aug 14, 2024 by Kukovec
@Kukovec
Add support for Quint's allListsUpTo feature A new feature or functionality
#2906 opened May 22, 2024 by bugarela
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
ProTip! Exclude everything labeled bug with -label:bug.