Anders Schack-Mulligen f2181ece4f Java: Get rid of untracked SSA definitions.

2025-11-12 09:06:11 +01:00

..

automodel/src

…

consistency-queries

Java: Enable SSA consistency queries.

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

examples

…

integration-tests

Kotlin: Add a test for recursive interfaces

2025-10-31 13:42:44 +00:00

lib

Java: Get rid of untracked SSA definitions.

2025-11-12 09:06:11 +01:00

src

Merge pull request #20671 from github/napalys/adjust_query_severity

2025-11-11 12:37:31 +01:00

test

Pretty print models in test

2025-10-29 12:03:32 +00:00

test-kotlin1

Java: accept new test results after extractor update

2025-09-02 20:19:38 +02:00

test-kotlin2

Kotlin: Add a test for nested types

2025-10-31 13:42:44 +00:00