Misc fixes - Githubissues

Pi-Squared-Inc / solidity-demo-semantics

Demonstration Solidity Semantics in K

2 stars 2 forks source link

Misc fixes #25

Closed dwightguth closed 2 months ago

dwightguth commented 2 months ago

Apply several minor fixes to complete the Uniswap example:

fix a few minor bugs in the semantics
add the assert builtin function
add retesteth tests for comparison with geth and KEVM
refactor configuration slightly