Search results

Soundness: ensure datatypes are inhabited

Status: Open.

#306 In strata-org/Strata;

· joscoh opened on Jan 7, 2026

Enable ingesting sources from stdin instead of from a file

Status: Open.

#299 In strata-org/Strata;

· keyboardDrummer opened on Jan 2, 2026

Possible bug in Python Prelude: inconsistent use of days and hours

Status: Open.

#297 In strata-org/Strata;

· joscoh opened on Dec 31, 2025

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: fresh RHS identifiers in procedure inlining

Status: Open.

#268 In strata-org/Strata;

· MikaelMayer opened on Dec 10, 2025

Soundness issue: old as operator.

Status: Open.

#257 In strata-org/Strata;

· MikaelMayer opened on Dec 3, 2025

Enable running SMT based verification through Laurel

Status: Open.

#245 In strata-org/Strata;

· keyboardDrummer opened on Nov 28, 2025

Define a JVM project (Java or Kotlin) that can generate Java types based on a schema from Strata

Status: Open.

#244 In strata-org/Strata;

· keyboardDrummer opened on Nov 28, 2025

Enable Java programs to run SMT based verification through Laurel

Status: Open.

#243 In strata-org/Strata;

· keyboardDrummer opened on Nov 28, 2025

Connect the Laurel abstract syntax tree with a parser, supporting just AssertFalse.lr.st

Status: Open.

Feature

#242 In strata-org/Strata;

· keyboardDrummer opened on Nov 28, 2025

minor doc suggestion

Status: Open.

#239 In strata-org/Strata;

· dnaumann opened on Nov 26, 2025

Getting multiple candidates of syntax trees when the parser is ambiguous (DDM)

Status: Open.

#161 In strata-org/Strata;

· aqjune-aws opened on Oct 9, 2025