-
Notifications
You must be signed in to change notification settings - Fork 3
Pull requests: strata-org/jverify
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
JavaToLaurelCompiler: inline static final compile-time constants
#442
opened Jun 9, 2026 by
tautschnig
Collaborator
•
Draft
Add foundational support for class/record/sealed types
#440
opened Jun 9, 2026 by
tautschnig
Collaborator
Loading…
JavaToLaurelCompiler: fall back to a 1:1 position for unknown line maps
#439
opened Jun 9, 2026 by
tautschnig
Collaborator
Loading…
JavaToLaurelCompiler: collapse reference comparison against null to a constant
#438
opened Jun 9, 2026 by
tautschnig
Collaborator
Loading…
Support 0-argument precondition/postcondition lambdas (e.g. for void methods)
#435
opened Jun 9, 2026 by
tautschnig
Collaborator
Loading…
JVerify front-end: handle loop bodies without a contract block
#433
opened Jun 9, 2026 by
tautschnig
Collaborator
Loading…
Avoid 'result' name clash when a user parameter is named result
#431
opened Jun 9, 2026 by
tautschnig
Collaborator
Loading…
JVerify front-end: set synthetic constructor type to fix javac Lower NPE
#430
opened Jun 9, 2026 by
tautschnig
Collaborator
Loading…
Migrate from Java 23 / Gradle 8.14 to Java 25 / Gradle 9.4.0
#429
opened Jun 9, 2026 by
tautschnig
Collaborator
•
Draft
Support @Nat and @Unbounded annotations in the Laurel compiler (#402)
#426
opened Jun 4, 2026 by
olivier-aws
Contributor
Loading…
feat: add increment/decrement operator support (++x, --x, x++, x--)
#423
opened Jun 3, 2026 by
olivier-aws
Contributor
•
Draft
Support ++, --, compound assignment, and unary + operators
#413
opened May 11, 2026 by
keyboardDrummer-bot
Collaborator
•
Draft
Switch Laurel AST to getIonSerializer% format
#405
opened May 1, 2026 by
keyboardDrummer-bot
Collaborator
•
Draft
Fix link to SimpleNullCheck in user guide
#355
opened Nov 3, 2025 by
olivier-aws
Contributor
Loading…
Add a reference to relevant literature
#97
opened Apr 8, 2025 by
keyboardDrummer
Contributor
•
Draft
ProTip!
Updated in the last three days: updated:>2026-06-09.