-
Notifications
You must be signed in to change notification settings - Fork 146
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
tests/proofs: update proofs submodule
- Loading branch information
Dwight Guth
committed
Oct 31, 2018
1 parent
61fc3b9
commit 7bbfeca
Showing
1 changed file
with
1 addition
and
1 deletion.
There are no files selected for viewing
Submodule proofs
updated
22 files
| +1 −1 | .build/evm-semantics | |
| +8 −2 | Makefile | |
| +9 −8 | README.md | |
| +3 −0 | bihu/collectToken-spec.k | |
| +1 −0 | bihu/spec-tmpl.k | |
| +2 −0 | casper/casper-spec.ini | |
| +1 −0 | casper/spec-tmpl.k | |
| +21 −0 | erc20/README.md | |
| +1 −0 | erc20/spec-tmpl.k | |
| +0 −15 | gnosis/abstract-semantics.k | |
| +26 −6 | gnosis/gnosis-spec.ini | |
| +22 −30 | gnosis/issues.md | |
| +32 −0 | gnosis/old-issues.md | |
| +3 −0 | gnosis/spec-tmpl.k | |
| +1 −1 | gnosis/test/ApiTest.hex | |
| +62 −1 | gnosis/test/ApiTest.sol | |
| +101 −8 | gnosis/test/api-test.ini | |
| +14 −4 | gnosis/verification.k | |
| +2 −0 | resources/balanceOf-spec.k | |
| +1 −0 | resources/edsl-spec.md | |
| +173 −0 | resources/kprove-tutorial.md | |
| +69 −2 | resources/lemmas.md |