Search results

Verification status is Verified-by-default, not by positive confirmation (silent false-positive risk)

bugSomething isn't workingSomething isn't working

soundness

Status: Open.

#455 In strata-org/jverify;

· fabiomadge opened on Jun 17, 2026

@Nat/@Unbounded return-type violation reported at 1:1 instead of the return statement

Status: Open.

#450 In strata-org/jverify;

· olivier-aws opened on Jun 15, 2026

Enable Math.abs / Math.min / Math.max in verified code via built-in contracts

java-support

Status: Open.

#422 In strata-org/jverify;

· fabiomadge opened on Jun 3, 2026

Non-static methods skipped by translator are silently counted as Verified

Status: Open.

#420 In strata-org/jverify;

· fabiomadge opened on May 26, 2026

Laurel compiler: char primitive type support

Status: Open.

#414 In strata-org/jverify;

· fabiomadge opened on May 19, 2026

Laurel compiler: enum type support

java-support

Status: Open.

#412 In strata-org/jverify;

· fabiomadge opened on May 11, 2026

Test engine: updateTestAnnotation regexes reference non-existent field names

bugSomething isn't workingSomething isn't working

dev speed

Status: Open.

#411 In strata-org/jverify;

· fabiomadge opened on May 11, 2026

Laurel compiler: pure/impure type distinction and @Impure enforcement

java-support

verification-support

Status: Open.

#410 In strata-org/jverify;

· fabiomadge opened on May 11, 2026

Frontend diagnostics for unsupported Java constructs

user-experience

Status: Open.

#409 In strata-org/jverify;

· fabiomadge opened on May 11, 2026

Laurel compiler: qualified naming for cross-file procedure references

java-support

Status: Open.

#408 In strata-org/jverify;

· fabiomadge opened on May 11, 2026

Laurel compiler: @Nullable type support

java-support

verification-support

Status: Open.

#406 In strata-org/jverify;

· fabiomadge opened on May 11, 2026

Try out the new Strata Ion framework

Status: Open.

#404 In strata-org/jverify;

· keyboardDrummer opened on May 1, 2026