Anders Schack-Mulligen 5ce4483a8e Merge pull request #10795 from aschackmull/java/synth-callable ...

Java: Add support for synthetic callables with flow summaries and model Stream.collect

2022-10-14 10:58:14 +02:00

..

consistency-queries

Avoid using count(...) = 0

2022-10-06 12:57:56 +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: extract protected modifier from java class files

2022-10-10 18:02:21 +02:00

lib

Merge pull request #10795 from aschackmull/java/synth-callable

2022-10-14 10:58:14 +02:00

src

Java: Fix compilation errors.

2022-10-13 11:19:57 +02:00

test

Java: Add test for Stream.collect.

2022-10-13 11:17:44 +02:00