Search results

Remove LaurelTypes.lean

Status: Open.

#1204 In strata-org/Strata;

· leo-leesco opened on May 21, 2026

Total casts between bitvectors and integers in Strata/Core

Status: Open.

#1202 In strata-org/Strata;

· abdoo8080 opened on May 21, 2026

SMT encoding errors in #1197

Status: Open.

#1201 In strata-org/Strata;

· atomb opened on May 20, 2026

procedureToGotoCtx rename collision: inout params re-bound to a non-existent local symbol, blocking every CBMC translation with inout call sites

Status: Open.

#1198 In strata-org/Strata;

· PROgram52bc opened on May 20, 2026

Decompose symbolic evaluation into independent phases (constant propagation + tree-of-if * restructuring)

Status: Open.

#1194 In strata-org/Strata;

· MikaelMayer opened on May 20, 2026

Imperative.Cmd.cover translator emits ASSERT(b) instead of ASSERT(¬b), inverting cover-claim outcomes

Status: Open.

#1189 In strata-org/Strata;

· PROgram52bc opened on May 19, 2026

Make --incremental the default, deprecate or remove the batch mode

Status: Open.

#1187 In strata-org/Strata;

· MikaelMayer opened on May 19, 2026

Asymmetric translator handling of nondet init produces a precision mismatch with CBMC

Status: Open.

#1186 In strata-org/Strata;

· PROgram52bc opened on May 19, 2026

Program.eval propagates Env.error across procedures, silently dropping obligations from later procedures

bugSomething isn't workingSomething isn't working

Core

Status: Open.

#1185 In strata-org/Strata;

· PROgram52bc opened on May 19, 2026

CBMC backend: missing multi-return support, and the unimplemented-feature error is silently swallowed

Status: Open.

#1184 In strata-org/Strata;

· PROgram52bc opened on May 19, 2026

Align stopOnFirstError with check-mode-aware failure classification

Status: Open.

#1180 In strata-org/Strata;

· MikaelMayer opened on May 18, 2026

Prevent collisions with Laurel internal names

bugSomething isn't workingSomething isn't working

Status: Open.

#1176 In strata-org/Strata;

· keyboardDrummer opened on May 18, 2026