Anders Schack-Mulligen b67394a450 Merge pull request #20183 from aschackmull/java/barrierguard-wrappers ...

Java: Enable BarrierGuard wrappers

2025-08-14 16:06:21 +02:00

..

automodel/src

Merge branch 'main' into henrymercer/merge-back-rc-3.16

2024-12-04 13:39:10 +00:00

consistency-queries

Java: Enable SSA consistency queries.

2025-03-06 12:47:38 +01:00

examples

…

integration-tests

Java: use java 17 in no-wrapper tests

2025-08-08 08:58:56 +02:00

lib

Java: Add some more exception edges to the CFG to facilitate guard wrappers.

2025-08-08 10:40:07 +02:00

src

Merge pull request #20127 from aschackmull/java/joinorder3

2025-08-05 14:15:42 +02:00

test

Java: Accept qltest change.

2025-08-07 14:51:49 +02:00

test-kotlin1

Java: Accept qltest output

2025-08-05 10:32:53 +02:00

test-kotlin2

Java: Accept qltest output

2025-08-05 10:32:53 +02:00