cerc-io/solidity
11
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,982 Commits 348 Branches 121 Tags
v0.8.4
Commit Graph
5912 Commits
Author SHA1 Message Date
Leonardo 7bbf3a694b Merge pull request #11261 from ethereum/smt_choose_target 
[SMTChecker] Add option to choose contracts to be analyzed
 2021-04-21 13:11:33 +02:00
chriseth c3d73982ea Merge pull request #11268 from ethereum/refactorByteArrayPopSol2Yul 
[Sol->Yul] Refactor ByteArrayPop to use unchecked index access
 2021-04-21 13:05:00 +02:00
chriseth e2120f1f2f Merge pull request #11272 from ethereum/replace-boost-with-rangev3-solgen 
Remove most boost usages in Yul proto converter
 2021-04-21 12:21:57 +02:00
Djordje Mijovic d03744489f Update cmdline tests. 2021-04-21 11:01:22 +02:00
Djordje Mijovic 9fcf16900d Update gas costs in smeantic tests. 2021-04-21 11:01:22 +02:00
Leonardo Alt dd1865873e Choose contracts to be analyzed by the SMTChecker 2021-04-21 10:34:14 +02:00
Bhargava Shastry 69dd1771b7 Remove as many boost usages as possible in protoToYul.cpp 2021-04-20 18:46:19 +02:00
Alex Beregszaszi 4177270562 Trivial isoltest updates: comments always on the same line 2021-04-20 17:38:29 +02:00
Alex Beregszaszi 1be07c2b36 Trivial isoltest updates: missing // ---- at the end 2021-04-20 17:38:29 +02:00
Alex Beregszaszi 84c05d35f3 Trivial isoltest updates: normalized whitespace 2021-04-20 17:38:29 +02:00
Alex Beregszaszi 45c6bbe02b Trivial isoltest updates: directives sorted alphabetically 2021-04-20 17:21:56 +02:00
chriseth cf7f814a4e Merge pull request #10921 from ethereum/issue-10881 
Natspec: Don't copy from base function if return parameters differ
 2021-04-20 15:33:48 +02:00
Leonardo Alt a39a6e26da update tests 2021-04-19 19:23:18 +02:00
Leonardo Alt 80892c8a21 Fix nondeterminism 2021-04-19 19:23:18 +02:00
Leonardo Alt 36def3ef6e tests for free constants 2021-04-19 19:23:18 +02:00
Leonardo Alt fd8b4afb76 new free function tests 2021-04-19 19:23:18 +02:00
Leonardo Alt 095d337140 Basic support to free constants 2021-04-19 19:23:18 +02:00
Leonardo Alt 6ae82fcec2 Add tests for the library bug 2021-04-19 19:23:18 +02:00
Leonardo Alt 4e34359063 Basic support to free functions 2021-04-19 19:23:18 +02:00
chriseth 6a0a51110d Merge pull request #11256 from ethereum/smt_target_array 
Change settings.modelChecker.targets to take an array instead of string
 2021-04-19 18:47:06 +02:00
Leonardo Alt e3abde43f5 Change settings.modelChecker.targets to take an array instead of string 2021-04-19 17:53:03 +02:00
Kamil Śliwak 0d4871ad10 Prevent adding '-' CLI flag to allowed paths as if it was an actual file 
- This resulted in a bug where using stdin was effectively disabling allowed path checks.
 2021-04-19 16:58:48 +02:00
Kamil Śliwak 2abd3073d4 Merge pull request #11235 from ethereum/cmdline-tests-for-stdin 
Allow using stdin in cmdlineTests
 2021-04-19 16:21:43 +02:00
chriseth 1feca5dddb Merge pull request #11259 from ethereum/exportErrorsInAst 
Export used errors in the AST.
 2021-04-19 15:53:32 +02:00
Mathias Baumann 1737bd7ded Natspec: Don't copy from base function if return parameters differ 2021-04-19 15:20:30 +02:00
chriseth 8eb0d5edf6 Export used errors in the AST. 2021-04-19 14:15:50 +02:00
Bhargava Shastry 14d2170b46 Merge pull request #11238 from ethereum/yul-interpreter-storage-state 
Permit Yul interpreter vs Evmone storage comparison.
 2021-04-19 12:22:59 +02:00
Kamil Śliwak 7b467a49d7 Disable assertion that gives non-deterministic results in in slice tests for SMTChecker 2021-04-15 17:14:21 +02:00
Bhargava Shastry 6941143613 Merge pull request #11216 from ethereum/fix-abiv2-fuzzer-bug 
Fix use of const ref in Abiv2 and other proto fuzzers.
 2021-04-14 15:03:57 +02:00
Bhargava Shastry 15bf6af77a Remove output parameters from function call since they are generated on the fly in the converter. 2021-04-14 13:53:37 +02:00
Bhargava Shastry 7c806217fb Changes to yul proto mutator. 2021-04-14 13:53:37 +02:00
Bhargava Shastry cf08c9b255 Correct use of emplace_back 2021-04-14 13:53:37 +02:00
Bhargava Shastry 1709b2924b Changes to how function calls are generated. 2021-04-14 13:53:37 +02:00
Christian Parpart 81c7b30a6a Merge pull request #11234 from ethereum/fix-file-reader-compiler-stack-source-unit-name-mismatch 
Use identical source unit names in FileReader and CompilerStack
 2021-04-14 13:46:14 +02:00
chriseth 11b227e33e Merge pull request #11205 from ethereum/fix-docstring-bug 
Fix docstring bug
 2021-04-14 13:18:33 +02:00
Djordje Mijovic ea5cda08c8 Adding tests for bytes.concat with fixed bytes arguments. 2021-04-14 11:21:24 +02:00
Bhargava Shastry b1392ac988 Fix use of const ref in Abiv2 and other proto fuzzers. 2021-04-13 19:38:43 +02:00
Kamil Śliwak 59ef75cf5a cmdlineTests: Allow providing content of the standard input when not testing via Standard JSON 2021-04-13 13:37:12 +02:00
Kamil Śliwak 4e4f46cde5 cmdlineTests: Allow tests with no input file 2021-04-13 13:37:12 +02:00
Kamil Śliwak cc65b426d0 Merge pull request #11237 from ethereum/fix-wrong-exit-code-update-in-cmdline-tests 
Fix exit code update in cmdlineTests
 2021-04-13 13:34:57 +02:00
Kamil Śliwak 6a41b417a3 FileReader: Store files loaded by the callback under their source unit name 2021-04-13 13:25:59 +02:00
Kamil Śliwak b9b483a0c3 cmdlineTests.sh: Make regex for stripping version from test output match even if there's no whitespace after colon 2021-04-13 13:25:32 +02:00
chriseth 0289994da5 Merge pull request #11221 from ethereum/fixCalldataDecodingOverflowBug 
Fix calldata decoding overflow bug
 2021-04-12 18:11:29 +02:00
chriseth 4912bfe639 Merge pull request #11229 from ethereum/antlrPath 
Fix import paths in grammar and grammar testing details.
 2021-04-12 16:30:41 +02:00
Daniel Kirchner 6fdfd8b62b Fix import path grammar and grammar testing details. 2021-04-12 14:54:36 +02:00
chriseth 2ed17e4b43 Update tests. 2021-04-12 13:43:56 +02:00
chriseth 72d0a56a72 Fix array decoding offset overflow. 2021-04-12 13:43:51 +02:00
chriseth 32b8332867 Refactor array decoding. 2021-04-12 13:43:51 +02:00
Bhargava Shastry 033ee0e2bc Permit Yul interpreter vs Evmone storage comparison. 2021-04-12 10:39:23 +02:00
hrkrshnn 382c488edd Fix missing error when events are used without an emit statement. 
Whenever there was a proper invocation of events, the compiler assumed that all the subsequent
invocations were proper.
 2021-04-12 10:23:05 +02:00