apalache-mc apalache issues

apalache-mc / apalache

APALACHE: symbolic model checker for TLA+ and Quint

https://apalache-mc.org/

Apache License 2.0

427 stars 40 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Update README.md

#2983 konnov closed 1 day ago
0
Update sbt-scoverage to 2.2.0

#2982 scala-steward closed 1 day ago
0
Update ujson, upickle to 4.0.1

#2981 scala-steward closed 2 days ago
0
Bat file to run Apalache on Windows

#2980 bugarela closed 2 days ago
4
Update upickle to 4.0.0 and remove unecessary customizations

#2979 bugarela closed 3 days ago
1
Support for mutually-recursive operators in the type checker

#2978 konnov opened 5 days ago
0
[release] 0.45.4

#2977 coffeeinprogress closed 5 days ago
0
Update zio, zio-test, zio-test-sbt to 2.1.9

#2976 scala-steward opened 1 week ago
0
ExprOptimizer: Rewrite `S \in SUBSET T` when it occurs in subexpressions

#2975 lemmy closed 1 week ago
2
update the landing page

#2974 konnov closed 1 week ago
0
Apalache seems to cache `Gen` expressions

#2973 Kukovec opened 1 week ago
0
Unexpected equality test over types CellTFrom(Set(Int)) and InfSet[CellTFrom(Int)]

#2972 lemmy opened 1 week ago
0
Bogus safety violation checking if a set is a subset of Nat.

#2971 lemmy closed 5 days ago
2
Update zio, zio-test, zio-test-sbt to 2.1.8

#2970 scala-steward closed 1 week ago
1
improve the error message about expanding powersets

#2969 konnov closed 1 week ago
0
`VCGenerator` should annotate decomposed invariants

#2968 konnov opened 1 week ago
0
Allow for digits in type aliases

#2967 konnov opened 2 weeks ago
0
Fix broken links globally

#2966 konnov closed 2 weeks ago
0
Fix two links

#2965 konnov closed 2 weeks ago
0
Do not produce distinct on singleton

#2964 konnov opened 2 weeks ago
0
Update sbt-scoverage to 2.1.1

#2963 scala-steward closed 5 days ago
0
Flush SMT logs and SMT profiling logs before (check-sat)

#2962 thpani closed 2 weeks ago
0
Fix link in README.md

#2961 thpani closed 2 weeks ago
0
Bogus safety violation checking if a set is a subset of Nat.

#2960 lemmy opened 2 weeks ago
6
The "Apalache user manual" link in the README.md file is broken

#2959 saltiniroberto closed 2 weeks ago
0
Fix bogus comment in SetMembershipSimplifier

#2958 lemmy closed 2 weeks ago
0
Update sbt-scoverage to 2.1.0

#2957 scala-steward closed 2 weeks ago
0
[release] 0.45.3

#2956 coffeeinprogress closed 2 weeks ago
0
[release] 0.45.2

#2955 coffeeinprogress closed 2 weeks ago
0
Update README.md

#2954 gleachkr closed 2 weeks ago
0
[release] 0.45.1

#2953 coffeeinprogress closed 2 weeks ago
0
[release] 0.46.0

#2952 coffeeinprogress closed 2 weeks ago
0
Fix the release pipeline

#2951 konnov closed 2 weeks ago
2
[release] 0.45.0

#2950 coffeeinprogress closed 3 weeks ago
0
Update logback-classic, logback-core to 1.5.7

#2949 scala-steward closed 3 weeks ago
0
Bogus safety violation checking if a set is a subset of Nat

#2948 lemmy opened 3 weeks ago
8
enable docker tests

#2947 konnov closed 3 weeks ago
0
Rewrite for set membership of the powerset of a record where the record has infinite co-domains.

#2946 lemmy closed 3 weeks ago
8
Update z3-turnkey to 4.13.0

#2945 scala-steward closed 3 weeks ago
0
Update scalacheck to 1.18.0

#2944 scala-steward closed 3 weeks ago
0
Disable code coverage in CI

#2943 konnov closed 2 weeks ago
1
bump scala to 2.13.14

#2942 konnov closed 2 weeks ago
0
Fixing the docker container workflow

#2941 konnov closed 3 weeks ago
0
[release] 0.44.17

#2940 coffeeinprogress closed 3 weeks ago
0
Release/0.44.15

#2939 coffeeinprogress closed 3 weeks ago
0
remove previously added jobs

#2938 konnov closed 3 weeks ago
0
a first try to fix the release workflow

#2937 konnov closed 3 weeks ago
0
add `--timeout-smt` to `check` and `simulate`

#2936 konnov closed 3 weeks ago
4
Replaces scope-safe builder usage in Apalache internals with scop-unsafe builder usage

#2935 Kukovec closed 2 weeks ago
2
Clean up safe/unsafe builder usage

#2934 Kukovec opened 3 weeks ago
0