Search results

VCOutcome should use "unknown" instead of "sat" until we have proper counter-example validation

Status: Open.

#721 In strata-org/Strata;

· MikaelMayer opened on Mar 31, 2026

Overapproximation and interpretation of VCOutcome

Status: Open.

#713 In strata-org/Strata;

· aqjune-aws opened on Mar 30, 2026

stdout is cluttered even without --verbose

Status: Open.

#710 In strata-org/Strata;

· MikaelMayer opened on Mar 30, 2026

Typecheck concreteEval expressions against LFunc output type

Status: Open.

#708 In strata-org/Strata;

· shigoel opened on Mar 30, 2026

Inlining assertions should keep metadata

Status: Open.

#706 In strata-org/Strata;

· MikaelMayer opened on Mar 30, 2026

Defining invariant that CachedAnalysis must hold, update PrecondElim

Status: Open.

#702 In strata-org/Strata;

· aqjune-aws opened on Mar 29, 2026

Improve handling of precondition checking

Status: Open.

#697 In strata-org/Strata;

· joscoh opened on Mar 27, 2026

Soundness Bug in Function Substitution

bugSomething isn't workingSomething isn't working

Core

Status: Open.

#653 In strata-org/Strata;

· joscoh opened on Mar 24, 2026

StrataVerify Panic in Type inference

Status: Open.

#650 In strata-org/Strata;

· yizhou7 opened on Mar 24, 2026

Better isolation of non-determinism in Core

Status: Open.

#612 In strata-org/Strata;

· MikaelMayer opened on Mar 19, 2026

Soundness bug in a program-level type inference

Status: Open.

Bug

#586 In strata-org/Strata;

· aqjune-aws opened on Mar 16, 2026

Variable shadowing in Laurel -> Strata Core translation

Status: Open.

#567 In strata-org/Strata;

· aqjune-aws opened on Mar 12, 2026