Search results

BoogieToStrata: Sanitization maps distinct Boogie names to the same Strata identifier

Status: Open.

#1152 In strata-org/Strata;

· PROgram52bc opened on May 8, 2026

BoogieToStrata: Blockers preventing SMACK-generated Boogie verification

Status: Open.

#1148 In strata-org/Strata;

· PROgram52bc opened on May 8, 2026

SMT translation fails when datatype is present.

Status: Open.

#1146 In strata-org/Strata;

· Dragon-Hatcher opened on May 8, 2026

Boole: datatype tester incorrectly resolves as free variable

Status: Open.

#1142 In strata-org/Strata;

· ChengZ3 opened on May 7, 2026

SourceRange.none and FileRange.unknown hide where statements are created

Status: Open.

#1139 In strata-org/Strata;

· MikaelMayer opened on May 7, 2026

Please add tests for --skip-verification (or use in CI in some way)

Status: Open.

#1129 In strata-org/Strata;

· tautschnig opened on May 6, 2026

Add type checking to Laurel

Status: Open.

#1120 In strata-org/Strata;

· keyboardDrummer opened on May 5, 2026

[fuzz] Pre-existing Python front-end bug (seed 1777979839)

fuzz-bug

Status: Open.

#1111 In strata-org/Strata;

· github-actions opened on May 5, 2026

translateTerm refactoring and proof coverage

Status: Open.

#1108 In strata-org/Strata;

· tautschnig opened on May 5, 2026

[fuzz] Pre-existing Python front-end bug (seed 1777894483)

fuzz-bug

Status: Open.

#1102 In strata-org/Strata;

· github-actions opened on May 4, 2026

Python Class objects does not have unique Heap reference

Status: Open.

#1098 In strata-org/Strata;

· thanhnguyen-aws opened on May 1, 2026

pyInterpret fails on any Python program that uses classes

Status: Open.

#1069 In strata-org/Strata;

· robin-aws opened on Apr 28, 2026