Ian Lynagh 501a9b3c6b Make *.qll non-executable

2022-08-24 16:36:15 +01:00

..

consistency-queries

rename all occurrences of XML to Xml

2022-08-22 14:08:31 +02: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: Add an integration test for TRAP compression

2022-08-19 13:34:43 +01:00

lib

Make *.qll non-executable

2022-08-24 16:36:15 +01:00

src

C#/Java/Ruby/Swift: Address review comments.

2022-08-24 09:58:54 +02:00

test

Java: One implementation of the interface has no flow (which seems unsound and contradicting our assumptions on interface 'contracts') - this now yields a negative summary.

2022-08-24 09:58:54 +02:00