Michael Nebel 03ecd24469 Lower the precision of a range of harcoded password queries to remove them from query suites.

2025-05-19 09:26:45 +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

Adjust integration test expectations

2025-05-13 14:42:19 +01:00

lib

Fixing bug in JCA cipher modeling. intermediate operations should not be key operations.

2025-05-16 11:23:42 -04:00

src

Lower the precision of a range of harcoded password queries to remove them from query suites.

2025-05-19 09:26:45 +02:00

test

Java: Update model generator implementation and test expected output.

2025-05-13 13:44:42 +01:00

test-kotlin1

Update test expectations for JDK24 upgrade

2025-02-28 11:23:06 +00:00

test-kotlin2

Update test expectation

2025-05-13 14:42:18 +01:00