Search results

@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

NPE on if (cond) return; — null statement passed unguarded into a Laurel node

Status: Open.

#443 In strata-org/jverify;

· fabiomadge opened on Jun 9, 2026

Inconsistency of source range for failing invariant checks in while and do-while

java-support

questionFurther information is requestedFurther information is requested

user-experience

Status: Open.

#437 In strata-org/jverify;

· kadirayk opened on Jun 9, 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