Mathias Vorreiter Pedersen 8383bc1629 C++: Add getters for the other children of 'co_return' and 'co_yield'.

2024-04-22 21:38:13 +01:00

..

Access.qll

C++: Tighten up definitions of field accesses

2023-10-18 11:39:09 +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

CPP:Make __is_trivial a builtin operation.

2023-09-14 12:50:36 +01:00

Call.qll

spelling: representing

2022-10-14 15:08:44 -04:00

Cast.qll

spelling: alignof

2022-10-14 15:08:43 -04:00

ComparisonOperation.qll

C++: Make implicit this receivers explicit

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

Expr.qll

C++: Add getters for the other children of 'co_return' and 'co_yield'.

2024-04-22 21:38:13 +01:00

Lambda.qll

C++: Deprecate single-parameter 'getFieldExpr' and 'getElementExpr'.

2023-04-04 15:14:27 +01:00

Literal.qll

C++: Oops. Forgot to replace one use of a deprecated predicate.

2023-04-04 15:30:02 +01:00

LogicalOperation.qll

Packaging: Refactor the cpp libraries

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