Anders Schack-Mulligen 5ca9c090a8 Merge pull request #20132 from aschackmull/ssa/guardvalue ...

SSA: Update data flow integration and BarrierGuard interface to use GuardValue.

2025-07-30 12:23:17 +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

Replace getDefaultOrNullDefaultCase with getDefaultCase

2023-11-30 11:24:03 +00:00

integration-tests

Java: Move extractorInformationSkipKey predicate to library pack

2025-07-29 09:45:18 +02:00

lib

Merge pull request #20132 from aschackmull/ssa/guardvalue

2025-07-30 12:23:17 +02:00

src

Java: Move extractorInformationSkipKey predicate to library pack

2025-07-29 09:45:18 +02:00

test

[TEST] Java: SensitiveCommunication: convert to qlref

2025-07-17 18:59:05 +02:00

test-kotlin1

Java: Accept test changes.

2025-07-17 11:21:26 +02:00

test-kotlin2

Kotlin: Accept test changes in 2.2.0

2025-07-22 17:38:14 +01:00