CONTRACTS: Front-end: frees clause improvements#7087

Closed

remi-delmas-3000 wants to merge 2 commits intodiffblue:developfrom

remi-delmas-3000:frees-clause-improvements

Commits on Aug 26, 2022

CONTRACTS: Front-end extensions for assigns clauses and frees clauses.
Remi Delmas
committed
CONTRACTS: Front-end: frees clause improvements
Remi Delmas
committed