Anders Schack-Mulligen c80627a3d3 Dataflow: add plumbing for adding provenance to state-steps.

2024-10-16 14:35:18 +02:00

..

dataflow

Dataflow: add plumbing for adding provenance to state-steps.

2024-10-16 14:35:18 +02:00

implementation

C++: Address review comments

2024-10-07 22:42:18 +02:00

internal

C++: Fix comments.

2024-03-19 16:26:37 +00: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

C++: Rename shouldPrintFunction to shouldPrintDeclaration

2023-07-19 16:55:43 +02:00

ValueNumbering.qll

Packaging: Refactor the cpp libraries

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