Mathias Vorreiter Pedersen e1089c8d89 Merge branch 'main' into ir-support-for-assertions

2026-01-21 13:56:30 +00:00

..

Access.qll

C++: Add isThisAccess predicate to ParamAccessForType

2026-01-14 13:35:50 +01:00

ArithmeticOperation.qll

C++: fix implicit this

2021-10-15 14:59:48 +01:00

Assignment.qll

C++: Add a predicate for getting the 0'th child of a 'ConditionDeclExpr' without casting it to a 'VariableAccess' and use it in IR generation.

2024-02-07 11:45:13 +00:00

BitwiseOperation.qll

Packaging: Refactor the cpp libraries

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

BuiltInOperations.qll

C++: Support new builtin operations

2026-01-14 13:35:46 +01:00

Call.qll

C++: Deprecate getArrayOffset/0

2026-01-08 13:22:38 +01:00

Cast.qll

C++: Lift 'getTypeOperand' to the superclass.

2025-11-18 19:52:05 +00:00

ComparisonOperation.qll

C++: Make implicit this receivers explicit

2023-05-09 15:35:54 +02:00

Expr.qll

C++: Add a few helper predicates.

2026-01-12 21:06:07 +00:00

Lambda.qll

C++: address review comments

2025-06-11 11:41:50 +02:00

Literal.qll

C++: Minor textual fixes

2025-04-17 12:33:27 +02:00

LogicalOperation.qll

Packaging: Refactor the cpp libraries

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