Implements compilation of the delete operator#461

Merged

saelo merged 5 commits intogoogleprojectzero:mainfrom

TobiasWienand:feature/delete-operator

Nov 18, 2024

Commits on Nov 13, 2024

Implements compilation of the delete operator
TobiasWienand
committed

Commits on Nov 14, 2024

Merge branch 'googleprojectzero:main' into feature/delete-operator
TobiasWienand
authored
Fixes style issues in delete operator compilation
TobiasWienand
committed

Commits on Nov 15, 2024

bug fix for delete operator
TobiasWienand
committed

Commits on Nov 16, 2024

Implements additional test for delete
TobiasWienand
committed