Mathias Vorreiter Pedersen 54957d6ea4 Merge branch 'main' into enable-sound-ir

2024-04-16 10:46:59 +01:00

..

aliased_ssa

C++: Sync identical files.

2024-03-19 16:24:11 +00:00

internal

delete outdated deprecations

2024-01-22 09:11:35 +01:00

raw

Merge branch 'main' into destructors-for-unconditional-unnamed

2024-04-10 17:34:08 +01:00

unaliased_ssa

C++: Sync identical files.

2024-03-19 16:24:11 +00:00

EdgeKind.qll

C++: Generalize more predicates from booleans to abstract values.

2024-03-18 16:07:57 +00:00

IRConfiguration.qll

C++: Enable sound IR.

2024-04-08 10:10:31 +01:00

IRType.qll

C#, C++: Make implicit this receivers explicit

2023-05-09 15:33:51 +02:00

MemoryAccessKind.qll

Packaging: Refactor the cpp libraries

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

Opcode.qll

CPP: Handle cases where the deallocator function is determined dynamically.

2023-08-29 11:17:44 +01:00

SSA.md

Packaging: Refactor the cpp libraries

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

TempVariableTag.qll

Packaging: Refactor the cpp libraries

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

UseSoundEscapeAnalysis.qll

Packaging: Refactor the cpp libraries

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