Anders Schack-Mulligen 6ef5fac239 Merge pull request #10814 from aschackmull/dataflow/synth-global ...

Dataflow: Add support for synthetic global fields in MaD.

2022-10-17 08:34:26 +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 #10814 from aschackmull/dataflow/synth-global

2022-10-17 08:34:26 +02:00

src

Java: Fix compilation errors.

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

test

Merge pull request #10814 from aschackmull/dataflow/synth-global

2022-10-17 08:34:26 +02:00