Fix calldata #812

Merged
zxq9 merged 2 commits from calldata-fix into master 2021-06-24 16:19:05 +09:00
Showing only changes of commit c09313a92c - Show all commits

2
.gitignore vendored
View File

@ -21,4 +21,4 @@ rebar3.crashdump
aesophia aesophia
.qcci .qcci
current_counterexample.eqc current_counterexample.eqc
test/contracts/test.aes test/contracts/test.aes