Skip to content

A predicate to validate all pointer derefs in an expression AST#6365

Merged
SaswatPadhi merged 2 commits intodiffblue:developfrom
padhi-forks:chain-validate
Sep 30, 2021
Merged

A predicate to validate all pointer derefs in an expression AST#6365
SaswatPadhi merged 2 commits intodiffblue:developfrom
padhi-forks:chain-validate

Commits

Commits on Sep 27, 2021

Commits on Sep 29, 2021