Anders Schack-Mulligen 4be995dc19 Merge pull request #20267 from aschackmull/java/nullness-fix ...

Java: Add more nullness tests and fix a bug causing false negatives.

2025-08-25 09:13:25 +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

Merge pull request #20095 from jcogs33/jcogs33/java/finalizers-on-exit-and-garbage-collection

2025-08-21 08:10:36 -04:00

lib

Java: Teach guards that exceptions in catch-clauses are non-null.

2025-08-22 10:16:42 +02:00

src

Merge pull request #20267 from aschackmull/java/nullness-fix

2025-08-25 09:13:25 +02:00

test

Java: Fix bug in nullness

2025-08-22 10:15:22 +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