Search results

Imperative NondetStmt should be merged into Stmt

Status: Open.

#383 In strata-org/Strata;

· MikaelMayer opened on Feb 4, 2026

Type-checking error when there is a function with body

Status: Open.

#374 In strata-org/Strata;

· thanhnguyen-aws opened on Feb 2, 2026

Semantics should be scoped

Status: Open.

#372 In strata-org/Strata;

· MikaelMayer opened on Feb 2, 2026

Slow build times

Status: Open.

#348 In strata-org/Strata;

· keyboardDrummer opened on Jan 26, 2026

Express and enforce well-formedness of (mutual) ADTs

Status: Open.

#345 In strata-org/Strata;

· joscoh opened on Jan 23, 2026

Change <code>DatatypeVerificationTests.lean</code> to use concrete syntax

Status: Open.

#341 In strata-org/Strata;

· joscoh opened on Jan 22, 2026

An attribute for making partial evaluator inline Boogie(Strata Core) functions

Status: Open.

#332 In strata-org/Strata;

· aqjune-aws opened on Jan 16, 2026

Random testing in Lambda/TestGen

Status: Open.

#328 In strata-org/Strata;

· aqjune-aws opened on Jan 15, 2026

Add streaming B3 declaration-level SMT translation with dependency tracking

Status: Open.

#325 In strata-org/Strata;

· MikaelMayer opened on Jan 15, 2026

Enable ingesting sources from stdin instead of from a file

Status: Open.

#299 In strata-org/Strata;

· keyboardDrummer opened on Jan 2, 2026

Let Laurel support conditional assignments in an expression context

enhancementNew feature or requestNew feature or request

Status: Open.

#282 In strata-org/Strata;

· keyboardDrummer opened on Dec 18, 2025

Soundness issue: old as operator.

Status: Open.

#257 In strata-org/Strata;

· MikaelMayer opened on Dec 3, 2025