Leonardo
d393624384
Merge pull request #10585 from ethereum/fix-quoting-and-whitespace-in-shell-scripts
...
Fix quoting in shell scripts
2021-02-03 11:27:40 +01:00
chriseth
358324ed3e
Merge pull request #10679 from ethereum/backwards-compatibility-for-bytecode-comparison
...
Backwards compatibility for bytecode comparison
2021-02-02 16:59:03 +01:00
Kamil Śliwak
7bebcb7871
prepare_report.js: Print ERROR in case of an exception during compilation instead of failing
...
- Our v0.4.11 release raises an exception on some LLL snippets containing returnlll (extracted from its end-to-end tests).
- The report comparison will fail anyway because emscripten prints an abort code to stdout in that case but at least we'll be able to continue if we're comparing multiple versions.
2021-02-02 16:16:14 +01:00
Kamil Śliwak
17fe96c4d0
prepare_report.py: Don't use --metadata option with compiler versions that do not support it
...
- Before 0.4.3 the option was unavailable but ignored.
- Between 0.4.3 and 0.4.6 an attempt to use that option causes an error.
2021-02-02 16:16:14 +01:00
Kamil Śliwak
49aede680b
prepare_report.py: Add --force-no-optimize-yul flag to work around a bug in solc 0.6.0/0.6.1
2021-02-02 16:16:14 +01:00
Kamil Śliwak
7e48aeb848
prepare_report.py: Make parsing more lax to handle output from older compiler versions
2021-02-02 16:16:14 +01:00
Kamil Śliwak
b06de9a2d5
prepare_report: Add command-line options for switching between SMT pragma stripping and only disabling the SMT checker
2021-02-02 16:16:14 +01:00
Leonardo
dde6353c5d
Merge pull request #10704 from blishko/smt-tx-constraints-constructor
...
[SMTChecker] Added type constraints on transaction variables also for the contract deployment phase.
2021-02-01 18:22:19 +01:00
Kamil Śliwak
c19464f908
Remove scripts that now have no warnings from shellcheck ignore list
2021-02-01 17:26:11 +01:00
Kamil Śliwak
27754d3e3d
Quote stuff properly
2021-02-01 17:14:38 +01:00
Kamil Śliwak
566d49a1d1
Correct whitespace inside conditions
2021-02-01 17:03:05 +01:00
Kamil Śliwak
6d44055556
Fix inconsistent indentation
2021-02-01 17:03:05 +01:00
Martin Blicha
a49950cdf3
[SMTChecker] Added transaction constraints also for contract deployment
2021-02-01 16:46:34 +01:00
chriseth
c7d1e1911e
Merge pull request #10369 from ethereum/ewasm-polyfill-address-balance
...
[ewasm] Polyfill: balance, address.
2021-02-01 16:19:23 +01:00
Leonardo
70882cc494
Merge pull request #10850 from ethereum/smt_fix_super
...
[SMTChecker] Fix buggy virtual and super
2021-01-28 19:54:30 +01:00
Leonardo Alt
545305a31f
[SMTChecker] Fix super and virtual
2021-01-28 18:51:29 +01:00
Kamil Śliwak
d753c1a047
Merge pull request #10862 from ethereum/fix-wrong-script-path-in-check-style-sh
...
Fix check_style.sh refactor
2021-01-28 13:58:20 +01:00
Kamil Śliwak
cd4b667545
post_style_errors_on_github.sh: Fix condition that sets $CIRCLE_PR_NUMBER
2021-01-28 12:41:26 +01:00
Kamil Śliwak
66d27f1ac6
Fix wrong script path in check_style.sh
...
- The script is actually in a subdirectory.
2021-01-28 12:37:33 +01:00
chriseth
46bb81d7ae
Merge pull request #10676 from ethereum/cli-bytecode-comparison
...
Bytecode comparison via CLI interface
2021-01-28 11:58:30 +01:00
Bhargava Shastry
b5525668de
Merge pull request #10855 from ethereum/clang-tidy-fixes-solgen
...
Solidity fuzzer: Clang tidy suggested fixes in Solidity generator
2021-01-28 10:28:50 +01:00
Leonardo
73b9a03f21
Merge pull request #10851 from blishko/smt-address-constraints
...
[SMTChecker] Add missing type constraints for Address
2021-01-28 10:06:32 +01:00
Martin Blicha
deb90d84a6
[SMTChecker] added missing type constraints for Address
2021-01-27 20:39:24 +01:00
chriseth
49dbcba3a0
Merge pull request #10858 from ethereum/setVer
...
Set version to 0.8.2.
2021-01-27 17:10:53 +01:00
chriseth
d7c1028bf7
Set version to 0.8.2.
2021-01-27 16:15:26 +01:00
Bhargava Shastry
8e691293e4
ossfuzz: Clang tidy suggested fixes in Solidity generator
2021-01-27 14:55:49 +01:00
chriseth
df193b15c2
Merge pull request #10852 from ethereum/setReleaseDate
...
Set release date for 0.8.1.
2021-01-27 13:12:43 +01:00
chriseth
490dc09fd4
Set release date for 0.8.1.
2021-01-27 12:12:12 +01:00
chriseth
34fa756fcf
Merge pull request #10853 from ethereum/fix-comment-breaking-build-emscripten-sh
...
Fix badly placed comment in build_emscripten.sh
2021-01-27 11:51:17 +01:00
Kamil Śliwak
b1f2d2994c
Fix badly placed comment in build_emscripten.sh
2021-01-27 11:46:46 +01:00
Kamil Śliwak
53f9a11440
prepare_report: Handle internal compiler errors in Standard JSON as errors, not missing bytecode
2021-01-26 23:30:38 +01:00
Kamil Śliwak
f7007ea324
Add CLI version of bytecode compare to existing CI jobs
2021-01-26 23:30:38 +01:00
Kamil Śliwak
7f19339934
prepare_report.py: Add support for switching between CLI and Standard JSON compiler interfaces
2021-01-26 23:30:38 +01:00
Leonardo
38d1ec3efe
Merge pull request #10835 from blishko/smt-assembly
...
[SMTChecker] Basic support for inline assembly that over-approximates its effects.
2021-01-26 22:35:25 +01:00
Bhargava Shastry
6eebd6538c
Merge pull request #10834 from ethereum/solidity-generator-test-source-pragma
...
Add visitors for automatic test case generation.
2021-01-26 18:16:46 +01:00
Martin Blicha
484e67815a
[SMTChecker] Basic support for inline assembly using over-approximating analysis
2021-01-26 16:20:50 +01:00
Bhargava Shastry
be733d5f61
Reorganized code for better readability.
2021-01-26 16:16:03 +01:00
Bhargava Shastry
f5e0faaa37
Add documentation and/or comments.
...
Co-authored-by: Leonardo <leo@ethereum.org>
2021-01-26 15:48:42 +01:00
Bhargava Shastry
d7e3d3f75f
Add visitors for automatic test case generation.
2021-01-26 15:48:42 +01:00
chriseth
2f2d2224b1
Merge pull request #10849 from ethereum/fixMergeConflict
...
Fix merge conflict.
2021-01-26 15:14:08 +01:00
chriseth
e9dc9c5baf
Fix merge conflict.
2021-01-26 13:53:22 +01:00
Leonardo
c35fdda2ec
Merge pull request #10844 from ethereum/smt_z3_docker_4_18_10
...
Bump docker images for z3 4.8.10
2021-01-26 13:05:50 +01:00
chriseth
4697beeab2
Merge pull request #10769 from ethereum/allocationCleanup
...
Cleanup allocation.
2021-01-26 11:58:11 +01:00
Leonardo
6488dd5b96
Merge pull request #10843 from ethereum/updatez3ppa
...
Update z3 to 4.8.10.
2021-01-26 11:40:30 +01:00
Leonardo Alt
fbfcb4e71d
Bump docker for z3 4.8.10
2021-01-26 11:37:11 +01:00
Leonardo
22ad64a0fd
Merge pull request #10845 from ethereum/smt_z3_4-8-10
...
Update smtCheckerTests for z3 4.8.10
2021-01-26 11:37:03 +01:00
chriseth
b01110ee16
Merge pull request #10803 from ethereum/shortcut-code-length
...
Implemented a shortcut for ``address.code.length`` that generates ``…
2021-01-26 11:20:22 +01:00
hrkrshnn
133bc72970
Tests and changelog for <address>.code.length shortcut
2021-01-26 11:08:39 +01:00
hrkrshnn
526ceec152
Implement IR shortcut for <address>.code.length
2021-01-26 11:07:04 +01:00
hrkrshnn
d6d880dc53
Old codegen: implemented shortcut for <address>.code.length
2021-01-26 11:07:04 +01:00