Commit Graph

4 Commits

Author SHA1 Message Date
Massimo Fioravanti 30ef1af6e6 TupleTree: switch from public fields to accessors 2022-12-09 14:03:23 +01:00
Alessandro Di Federico b0bfa5db4a CollectCFG: nop if root is absent 2022-09-01 14:58:50 +02:00
Alessandro Di Federico 1cf9a06009 EnforceABI: use read-only model 2022-08-08 13:55:36 +02:00
Alessandro Di Federico 6a6cd939db Rework EarlyFunctionAnalysis 2022-08-08 13:55:34 +02:00