Updating Isabelle/Solidity:
- Changing expressions do not have side effects anymore.
- Adding support for instantiation of contracts.
- Adding weakest precondition calculus for the verification of statements.
Description
Description
Details
Details
- Provenance
dmarmsoler Authored on - Parents
- rAFP8f8887d17963: remove some redundant constraint-types in simplex algorithm
- Branches
- Unknown
- Tags