Anders Schack-Mulligen c2b99747d4 Merge pull request #9951 from aschackmull/java/notintersect-perf ...

Java: Improve join-order for `not haveIntersection`.

2022-08-04 11:08:02 +02:00

..

consistency-queries

Fix type-parameter-out-of-scope test

2022-07-28 15:51:59 +01:00

examples

Use EqualityTest for either value or ref comparions, and ReferenceEqualityTest for strictly ref comparison.

2022-05-10 19:51:17 +01:00

integration-tests

Kotlin: don't extract private setters of external classes

2022-07-01 15:44:17 +01:00

lib

Merge pull request #9951 from aschackmull/java/notintersect-perf

2022-08-04 11:08:02 +02:00

src

Merge pull request #9951 from aschackmull/java/notintersect-perf

2022-08-04 11:08:02 +02:00

test

Make reporting locations consistent with PathCreation; add test

2022-08-03 10:42:09 +01:00