Michael Nebel dabeddb62d Add change-notes.

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

Update integration tests expected output.

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

lib

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

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

src

Add change-notes.

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