chriseth
2fb27884ff
Merge pull request #10860 from ethereum/clarifyStorageLayout
...
Clarify storage layout.
2021-02-04 16:26:48 +01:00
chriseth
61b5e8e8fe
Clarify storage layout.
2021-02-04 16:26:30 +01:00
chriseth
d4ce896582
Merge pull request #10886 from ethereum/issue-10874
...
OverrideSpecifier: Check for null before dereferencing
2021-02-04 14:12:07 +01:00
Mathias Baumann
3a8a74cbc7
OverrideSpecifier: Check for null before dereferencing
2021-02-04 13:17:28 +01:00
Daniel Kirchner
8a414d3fab
Merge pull request #10838 from ethereum/solc-bin-bytecode-comparison-pr-check-scripts
...
Bytecode comparison PR scripts for solc-bin
2021-02-04 11:40:56 +01:00
Daniel Kirchner
5faefdea65
Merge pull request #10893 from ethereum/string2BytesSol2Yul
...
[Sol->Yul] Fixing string calldata to bytes calldata conversion.
2021-02-04 10:33:40 +01:00
Djordje Mijovic
530435439d
[Sol->Yul] Fixing string calldata to bytes calldata conversion.
2021-02-04 09:30:19 +01:00
Kamil Śliwak
887f27fbbf
Merge pull request #10897 from DragonDev1906/patch-1
...
Fix formatting in "Implicit Conversions"
2021-02-04 02:41:47 +01:00
DragonDev1906
17b0289696
Fix formatting in "Implicit Conversions"
2021-02-03 23:00:04 +01:00
Kamil Śliwak
800c338534
Scripts for generating and comparing bytecode reports for solc-bin binaries
2021-02-03 19:15:52 +01:00
Bhargava Shastry
1a949e5323
Merge pull request #10856 from ethereum/add-import-stmt-generator
...
Solidity fuzzer: Add import stmt generator
2021-02-03 18:56:11 +01:00
Leonardo
7405dc5b7f
Merge pull request #10836 from ethereum/smt_fix_cex_inheritance
...
Fix inheritance bug in CHC cex
2021-02-03 18:49:25 +01:00
Leonardo
43ce5d3f79
Merge pull request #10884 from blishko/smt-refactor
...
[SMTChecker] Small refactoring
2021-02-03 17:26:53 +01:00
Bhargava Shastry
0a59bd825b
Solidity fuzzer: Add simple import statements.
...
Co-authored-by: Leonardo <leo@ethereum.org>
2021-02-03 17:03:57 +01:00
Martin Blicha
4bcdac71df
[SMTChecker] updates to the tests
2021-02-03 15:53:58 +01:00
Martin Blicha
d99256aae7
[SMTChecker] refactoring of resetting storage variables
2021-02-03 15:53:58 +01:00
Martin Blicha
f1013427a7
[SMTChecker] refactoring the accessing the encoding state
2021-02-03 15:53:58 +01:00
chriseth
8a4e6acdac
Merge pull request #10680 from ethereum/more-features-in-prepare-report
...
More features in prepare_report.py
2021-02-03 11:51:51 +01:00
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
Leonardo Alt
665ce27c18
Fix inheritance bug in CHC cex
2021-02-02 18:06:32 +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
67fe5fb145
prepare_report.py: Print some statistics about contracts and errors
2021-02-02 16:16:28 +01:00
Kamil Śliwak
4576b1ec89
prepare_report.py: --exit-on-error option
2021-02-02 16:16:28 +01:00
Kamil Śliwak
acaab18a0a
prepare_report.py: More information on stdout, with verbosity control
2021-02-02 16:16:28 +01:00
Kamil Śliwak
96fd9051ed
prepare_report.py: Add --report-file option
2021-02-02 16:16:28 +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
Kamil Śliwak
cba6e6814b
scripts/soltest.sh: Disable the warning about missing quotes around $DEBUGGER
...
- There are ways to fix the warning properly but they're all less readable than this in my opinion.
2021-02-02 15:45:24 +01:00
Kamil Śliwak
4a7d494d3c
Use Bash arrays for variables containing multiple space-separated values
2021-02-02 15:45:24 +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