Mathias Vorreiter Pedersen 6e8a2a6375 DataFlow: Add a language-specific predicate for modifying 'branch' and 'join'.

2023-03-06 13:44:19 +00:00

..

dataflow

DataFlow: Add a language-specific predicate for modifying 'branch' and 'join'.

2023-03-06 13:44:19 +00:00

implementation

C++/C#: Sync identical files.

2023-01-30 17:32:53 +00:00

internal

C++: Remove omittable exists variables

2023-01-10 13:36:01 +01:00

IR.qll

Packaging: Refactor the cpp libraries

2021-08-17 11:22:36 -07:00

IRConfiguration.qll

Packaging: Refactor the cpp libraries

2021-08-17 11:22:36 -07:00

IRConsistency.ql

Packaging: Refactor the cpp libraries

2021-08-17 11:22:36 -07:00

PrintIR.ql

Packaging: Refactor the cpp libraries

2021-08-17 11:22:36 -07:00

PrintIR.qll

Packaging: Refactor the cpp libraries

2021-08-17 11:22:36 -07:00

ValueNumbering.qll

Packaging: Refactor the cpp libraries

2021-08-17 11:22:36 -07:00