Mathias Vorreiter Pedersen 75c1e56bbd Revert "Merge pull request #8515 from rdmarsh2/rdmarsh2/ir-global-vars" ...

This reverts commit 800e4ea7df, reversing
changes made to 7ce040f331.

2022-04-27 16:04:28 +01:00

..

CSharpType.qll

delete all dead code

2022-03-14 13:03:31 +01:00

IntegerConstant.qll

C#: Move IR code into 'experimental' folder

2020-06-10 09:37:30 +02:00

IntegerInterval.qll

C#: Replace 'if p() then q() else none()' with a conjunction.

2021-10-13 12:11:50 +01:00

IntegerPartial.qll

C#: Move IR code into 'experimental' folder

2020-06-10 09:37:30 +02:00

IRCSharpLanguage.qll

Revert "Merge pull request #8515 from rdmarsh2/rdmarsh2/ir-global-vars"

2022-04-27 16:04:28 +01:00

IRGuards.qll

patch upper-case acronyms to be PascalCase

2022-03-11 11:10:33 +01:00

IRUtilities.qll

C#: Move IR code into 'experimental' folder

2020-06-10 09:37:30 +02:00

Overlap.qll

C++/C#: Add combineOverlap() predicate

2021-05-06 08:14:40 -07:00

TempVariableTag.qll

C#: Move IR code into 'experimental' folder

2020-06-10 09:37:30 +02:00