Dave Bartolomeo 9183a4d7e7 Merge remote-tracking branch 'upstream/main' into dbartol/side-effect-reorder/work

2022-01-24 15:56:38 -05:00

..

dataflow

Merge pull request #7578 from MathiasVP/store-dest-should-not-be-use

2022-01-18 11:36:15 -05:00

implementation

Merge remote-tracking branch 'upstream/main' into dbartol/side-effect-reorder/work

2022-01-24 15:56:38 -05:00

internal

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

2021-10-13 12:11:42 +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