Diffusion afp-devel 7bdd4a5c2e4b

Improved setup of the symbolic evaluator.
7bdd4a5c2e4b
Actions

Tags

None

Subscribers

None

Description

Improved setup of the symbolic evaluator.

Details

Provenance

Achim D. Brucker <adbrucker@0x5f.org>

Authored on

Parents

rAFP12330df94e42: merged

Branches

Unknown

Tags

Unknown

Event Timeline

Achim D. Brucker <adbrucker@0x5f.org> committed rAFP7bdd4a5c2e4b: Improved setup of the symbolic evaluator..Aug 5 2023, 3:18 PM

Changes (10)

Path

Size

thys/

Solidity/

Environment.thy

Expressions.thy

Solidity_Evaluator.thy

rAFP7bdd4a5c2e4b

thys/Solidity/Accounts.thy

Loading...

thys/Solidity/Contracts.thy

Loading...

thys/Solidity/Environment.thy

Loading...

thys/Solidity/Expressions.thy

Loading...

thys/Solidity/Reentrancy.thy

Loading...

thys/Solidity/Solidity_Evaluator.thy

Loading...

thys/Solidity/StateMonad.thy

Loading...

thys/Solidity/Statements.thy

Loading...

thys/Solidity/Storage.thy

Loading...

thys/Solidity/Valuetypes.thy

Loading...