cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
19,746 Commits 348 Branches 121 Tags 100 MiB
f9182e9f88
Commit Graph

19746 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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