Search results

Type soundness bug with polymorphic procedures

bugSomething isn't workingSomething isn't working

Core

Status: Open.

#1345 In strata-org/Strata;

· joscoh opened on Jun 8, 2026

BoogieToStrata: old(g) for g ∉ modifies rejected by Strata typechecker (Cannot find this fvar in the context! old g)

Status: Open.

#1331 In strata-org/Strata;

· PROgram52bc opened on Jun 5, 2026

Laurel type checking: unify operand typing for non-trivial operators (mixed-numeric comparison/equality/arithmetic, related user-defined types)

enhancementNew feature or requestNew feature or request

Laurel

Status: Open.

#1330 In strata-org/Strata;

· leo-leesco opened on Jun 5, 2026

Verifier returns ❓ on every real counterexample that touches an abstracted phase

Status: Open.

#1324 In strata-org/Strata;

· julesmt opened on Jun 4, 2026

Laurel resolution pass should allow instance procedures on different composite types with the same name

Status: Open.

#1321 In strata-org/Strata;

· AD1024 opened on Jun 3, 2026

Better support for concrete syntax for lambdas

Core

Status: Open.

#1319 In strata-org/Strata;

· joscoh opened on Jun 3, 2026

evalCFGStep doubles Env.deferred across symbolic condGoto branches (ships with PR #1196)

bugSomething isn't workingSomething isn't working

Status: Open.

#1316 In strata-org/Strata;

· PROgram52bc opened on Jun 2, 2026

Make LMonoTy.resolveAliases and LMonoTys.resolveAliases pure

Status: Open.

#1304 In strata-org/Strata;

· MikaelMayer opened on May 29, 2026

Unify callSiteTypeSubst and LFunc.computeTypeSubst into a single parameterised helper

enhancementNew feature or requestNew feature or request

Status: Open.

#1298 In strata-org/Strata;

· PROgram52bc opened on May 29, 2026

Boole: seq_of_* literals use untyped seqEmptyOp, should pass element type

Status: Open.

#1297 In strata-org/Strata;

· MikaelMayer opened on May 29, 2026

Refactor ArgF.fromIon to eliminate copy-paste errors in checkArgCount

Status: Open.

#1294 In strata-org/Strata;

· MikaelMayer opened on May 29, 2026

Refactor compilation of type hierarchy and modifies clauses

development-speed

Laurel

Status: Open.

#1274 In strata-org/Strata;

· keyboardDrummer opened on May 28, 2026