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

Typecheck concreteEval expressions against LFunc output type

Status: Open.

#708 In strata-org/Strata;

· shigoel 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

StrataVerify Panic in Type inference

Status: Open.

#650 In strata-org/Strata;

· yizhou7 opened on Mar 24, 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

Confusing issue with "old"

Status: Open.

#559 In strata-org/Strata;

· MikaelMayer opened on Mar 12, 2026

Performance issue with "old"

Status: Open.

#558 In strata-org/Strata;

· MikaelMayer opened on Mar 12, 2026

Call elimination: requires violation diagnostic should point to call site

Status: Open.

#531 In strata-org/Strata;

· fabiomadge opened on Mar 9, 2026

ion.st files generated by Python lack dialect hash/version tracking

Status: Open.

#497 In strata-org/Strata;

· joehendrix opened on Feb 27, 2026

laurelAnalyze: infinite loop when procedure has modifies clause referencing a global variable

Status: Open.

#490 In strata-org/Strata;

· tautschnig opened on Feb 26, 2026