Search results

Refactor <code>ItfCounterexampleWriter</code>

refactoring

Status: Open.

#3211 In apalache-mc/apalache;

· konnov opened on Nov 6, 2025

Missing rewriter

bug

effort-mediumCan be completed within about 3 daysCan be completed within about 3 days

triagedThe issue has been triagedThe issue has been triaged

Status: Open.

#3200 In apalache-mc/apalache;

· muenchnerkindl opened on Oct 26, 2025

Can't fix in cosmos.nix because of tla2tools not found in nix sandbox

bug

Status: Open.

#3191 In apalache-mc/apalache;

· quinn-dougherty opened on Oct 17, 2025

Fresh variable incorrectly chosen when using CHOOSE to select unique elements out of a set

bug

deferredNo plans to support in the near futureNo plans to support in the near future

Status: Open.

#3165 In apalache-mc/apalache;

· edwardcwang opened on Sep 12, 2025

Set filter over SUBSET with uninterpreted types not supported

bug

deferredNo plans to support in the near futureNo plans to support in the near future

Status: Open.

#3149 In apalache-mc/apalache;

· edwardcwang opened on Aug 26, 2025

Nonsensical "used before it is assigned" error with grouped-variable UNCHANGED spec

bug

FpreproFeature: TLA+ preprocessorFeature: TLA+ preprocessor

triagedThe issue has been triagedThe issue has been triaged

Status: Open.

#3143 In apalache-mc/apalache;

· edwardcwang opened on Aug 24, 2025

LET block with temporal checking leads to undeclared operator skolem error crash

bug

Status: Open.

#3119 In apalache-mc/apalache;

· edwardcwang opened on Jul 21, 2025

OptionCase without caseNone type annotation causes a confusing "Unexpected type" RewriterException

bug

Status: Open.

#3116 In apalache-mc/apalache;

· edwardcwang opened on Jul 19, 2025

Generate SMT from TLA+

Status: Open.

#3109 In apalache-mc/apalache;

· Abhinandan-Pal opened on Jun 17, 2025

Transpiling to TLC bug with IF ELSE expressions

bug

Status: Open.

#3090 In apalache-mc/apalache;

· kakysha opened on Apr 17, 2025

Links from CLI point to missing anchors

docDocumentationDocumentation

Status: Open.

#3040 In apalache-mc/apalache;

· bugarela opened on Nov 27, 2024

First argument of Variant must be a string, found: A()

bug

Status: Open.

#3035 In apalache-mc/apalache;

· lemmy opened on Nov 12, 2024