CONTRACTS: refactor DFCC code for loop contracts#7551

Merged

remi-delmas-3000 merged 5 commits intodiffblue:developfrom

remi-delmas-3000:contracts-codegen-loop-assigns

Feb 22, 2023

Commits on Feb 22, 2023

CONTRACTS: new inlining and loop detection methods
Remi Delmas
committed
CONTRACTS: rearchitecture code for loop contracts
Remi Delmas
committed
CONTRACTS: new context tracking flags in write set
Remi Delmas
committed
CONTRACTS: new c++ methods to build calls to cprover_contracts library
Remi Delmas
committed
address review comments
Remi Delmas
committed