3 ms·
I've always wondered this - Does the compiler actually use all that contract information, or is it just the prover?
by OnlyOneCannolo 6y ago
I've always wondered this - Does the compiler actually use all that contract information, or is it just the prover?
- shakna 6y agoAs of Ada 2012, the redesign means that the compiler can make use of the contract information, and was one of the main reasons for a lot of the changes.
- OnlyOneCannolo 6y agoThat makes sense. Otherwise why bother conflating the programing language with the verification language.