Search results

Try out the new Strata Ion framework

Status: Open.

#404 In strata-org/jverify;

· keyboardDrummer opened on May 1, 2026

Laurel compiler: @Nat and @Unbounded annotation support

Status: Open.

#402 In strata-org/jverify;

· keyboardDrummer-bot opened on Apr 23, 2026

Strata: Fix error message and source location accuracy (subset constraints, source ranges)

Status: Open.

#403 In strata-org/jverify;

· keyboardDrummer-bot opened on Apr 23, 2026

Laurel compiler: Switch expression support

Status: Open.

#401 In strata-org/jverify;

· keyboardDrummer-bot opened on Apr 23, 2026

Laurel compiler: Array type support

Status: Open.

#400 In strata-org/jverify;

· keyboardDrummer-bot opened on Apr 23, 2026

Laurel compiler: Graceful skip of unsupported methods (catch JavaViolationException)

Status: Open.

#398 In strata-org/jverify;

· keyboardDrummer-bot opened on Apr 23, 2026

Test engine: Skip verifyPrintedDafny for Strata backend

Status: Open.

#399 In strata-org/jverify;

· keyboardDrummer-bot opened on Apr 23, 2026

Laurel compiler: Bitwise, shift, ++, and compound assignment operators

Status: Open.

#396 In strata-org/jverify;

· keyboardDrummer-bot opened on Apr 23, 2026

Laurel compiler: float/double type support

Status: Open.

#397 In strata-org/jverify;

· keyboardDrummer-bot opened on Apr 23, 2026

Laurel compiler: @Verify, @Contract, @Pure annotation support

Status: Open.

#394 In strata-org/jverify;

· keyboardDrummer-bot opened on Apr 23, 2026

Laurel compiler: Generics / type variable support

Status: Open.

#395 In strata-org/jverify;

· keyboardDrummer-bot opened on Apr 23, 2026

Laurel compiler: Instance method support

Status: Open.

#392 In strata-org/jverify;

· keyboardDrummer-bot opened on Apr 23, 2026