Search results

Improve handling of precondition checking

Status: Open.

#697 In strata-org/Strata;

· joscoh opened on Mar 27, 2026

Add check for isRecursive to Decl.func

Core

Status: Open.

#689 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

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

Tracking issue: Box datatype overwrite in PR #489

Status: Open.

#533 In strata-org/Strata;

· thanhnguyen-aws opened on Mar 9, 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