Guards: Improve support for wrapped guards - #20121

Merged

aschackmull merged 11 commits into

github:mainfrom

aschackmull:guards/wrapperguard

Aug 7, 2025

Commits on Aug 7, 2025

Guards: Remove CustomGuard nesting in Guards instantiation.
aschackmull
committed
3aaf48d
Java: Simplify Guards instantiation a bit.
aschackmull
committed
1bdaa24
Guards: Rename module.
aschackmull
committed
6e52df1
Guards: Generalise wrapper guards.
aschackmull
committed
0c31a80
Guards: Rename predicate.
aschackmull
committed
b156bd5
Guards: Add support for wrappers that may throw exceptions.
aschackmull
committed
f90b6ab
Guards: Add support for extending BarrierGuards with wrapped invocations.
aschackmull
committed
ec513ea
Guards: Slight join-order improvement.
aschackmull
committed
a40ae3a
Java: Accept qltest change.
aschackmull
committed
d9cfe14
Java: Add change note.
aschackmull
committed
b51c0e7
Guards: Rename predicate.
aschackmull
committed
2909def