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
20,211 Commits 348 Branches 121 Tags
bytecode_builtin
Commit Graph
6015 Commits
Author SHA1 Message Date
Martin Blicha 8927015e5a [SMTChecker] Adding unary increment and decrement as under/overflow verification targets for the CHC engine 2020-12-11 17:41:50 +01:00
Leonardo 7972d8eb98 Merge pull request #10578 from ethereum/ast-test 
Properly print sources in ASTJSONTest
 2020-12-11 17:41:31 +01:00
Leonardo adead3072d Merge pull request #10570 from ethereum/abiv2-isabelle-test-values-fix-bugs 
Ensure empty arrays are not visited and fix formatting issues
 2020-12-11 17:38:15 +01:00
Harikrishnan Mulackal 2139f93410 Merge pull request #10556 from ethereum/external-test-readme 
README describing the workflow around external tests and their repositories
 2020-12-11 17:37:38 +01:00
Alex Beregszaszi 4a7f2ddc6d Properly print sources in ASTJSONTest 2020-12-11 15:28:54 +00:00
Alex Beregszaszi ccd1f283aa Merge pull request #9360 from ethereum/rich-function-type 
Improve error message when assigning builtin functions
 2020-12-11 15:25:59 +00:00
Alex Beregszaszi 98d8174d31 Simplify Compiler/CompilerContext by removing extra layers of indirection 2020-12-11 14:43:51 +00:00
Alex Beregszaszi b40b82535c Add comprehensive tests for FixedHash 
Also explicitly disallow FixedHash<0>, given most functions were not working with it, and it is not very useful.
 2020-12-11 12:20:37 +00:00
chriseth baaf7c0db8 Implement address(...).code in the IR 2020-12-11 03:00:30 +00:00
Alex Beregszaszi 7b347b9ec2 Introduce address(...).code 2020-12-11 03:00:30 +00:00
Alex Beregszaszi fa37e69c25 Improved error messages when converting to/from builtin functions 2020-12-10 22:38:15 +00:00
Alex Beregszaszi ff7e45f417 Add test cases for assigning builtins/bound functions to function types 2020-12-10 22:18:52 +00:00
Đorđe Mijović 9e4f3bad06 Merge pull request #10569 from ethereum/byteArrayStorageStorage 
Fix copying byte arrays from storage to storage.
 2020-12-10 22:52:50 +01:00
Bhargava Shastry 9bd4a1095e Ensure empty arrays are not visited and fix formatting issues 2020-12-10 22:43:45 +01:00
Alex Beregszaszi bd641a5206 Enable more C++ compiler warnings 2020-12-10 21:03:58 +00:00
chriseth 7764ee8d86 Fix copying byte arrays from storage to storage. 2020-12-10 21:47:37 +01:00
Kamil Śliwak 747e1709ff fixup! README describing the workflow around external tests and their repositories 2020-12-10 19:53:49 +01:00
Kamil Śliwak 12418c533b fixup! README describing the workflow around external tests and their repositories 2020-12-10 19:53:49 +01:00
Kamil Śliwak 14ea1bc145 README describing the workflow around external tests and their repositories 2020-12-10 19:53:49 +01:00
Leonardo Alt 64f81fe82b Fix SMT tests 2020-12-10 18:54:52 +01:00
chriseth ef3bcbda97 Merge pull request #9549 from ethereum/yul-reserved 
[BREAKING] Disallow using reserved identifiers in Yul
 2020-12-10 18:49:44 +01:00
chriseth f7a7e2928b New test. 2020-12-10 18:35:13 +01:00
Alex Beregszaszi 7cd05bf603 Introduce block.chainid 2020-12-10 17:07:54 +00:00
Alex Beregszaszi c032ad3379 Update tests 2020-12-10 17:18:15 +01:00
chriseth d0551b67d7 Merge remote-tracking branch 'origin/develop' into breaking 2020-12-10 17:07:56 +01:00
Bhargava Shastry dc1c0e9d4e Abiv2 fuzzer: Retrieve values to be encoded from the fuzzer 2020-12-10 16:33:14 +01:00
Bhargava Shastry fe79a27a0a Merge pull request #10561 from ethereum/abiv2-isabelle-values 
Abiv2 fuzzer: Make integer value generation consistent with range for…
 2020-12-10 14:15:07 +01:00
chriseth e15136c210 Merge pull request #10558 from ethereum/magictype-tests 
Adds more tests for state access (block/tx/msg)
 2020-12-10 14:05:37 +01:00
Bhargava Shastry 3c8caabf2e Remove unused code 2020-12-10 12:56:04 +01:00
Bhargava Shastry 693548b787 Abiv2 fuzzer: Make integer value generation consistent with range for that integer type 2020-12-10 12:34:14 +01:00
chriseth 4861c9b8d1 Merge pull request #10554 from ethereum/emptyBytesPushSol2Yul 
[Sol->Yul] Implementing empty byte array push.
 2020-12-10 12:19:07 +01:00
chriseth 482bda6887 Merge remote-tracking branch 'origin/develop' into breaking 2020-12-10 12:15:52 +01:00
Mathias Baumann 37cc795034 Fix segfault for empty @return tags in modifiers 2020-12-10 11:54:40 +01:00
Leonardo 7e930f7bb3 Merge pull request #10543 from ethereum/abiv2-isabelle-encode-test 
Isabelle abiv2 fuzzer: Add type string
 2020-12-09 23:33:41 +01:00
Alex Beregszaszi f9d6abf69b Add more tests for state access (block, msg, tx, etc.) 
Move some of them out of SolidityEndToEndTests. Additionally this ensures the deterministic values of the testing infrastructure.
 2020-12-09 20:46:01 +00:00
Leonardo 9e07981920 Merge pull request #10477 from ethereum/smt_isoltest_cex 
[SMTChecker] Move CHC counterexamples to primary location
 2020-12-09 20:37:24 +01:00
Leonardo Alt 3c142e0e94 Move CHC counterexamples to primary location 2020-12-09 19:55:18 +01:00
Djordje Mijovic ab74194ca3 [Sol->Yul] Implementing empty byte array push. 2020-12-09 19:31:35 +01:00
Bhargava Shastry 2e3cba996a Isabelle abiv2 fuzzer: Add type string 2020-12-09 18:10:10 +01:00
Kamil Śliwak da2c2f4d40 Switch the external tests back to the usual branches from solidity-external-tests (080 version) 2020-12-09 18:08:12 +01:00
chriseth 3f748bbb94 Merge pull request #10336 from ethereum/enablecoderv2bydefault 
[BREAKING] Enable ABI coder v2 by default.
 2020-12-09 18:05:07 +01:00
chriseth 1c99537b5a Merge pull request #10550 from ethereum/chainIdView 
[BREAKING] Mark chainid as view.
 2020-12-09 17:41:27 +01:00
chriseth 870fd24723 Merge pull request #9888 from ethereum/account-hash 
Support address().codehash
 2020-12-09 17:40:56 +01:00
Kamil Śliwak 165cab9e9d Switch the external tests back to the usual branches from solidity-external-tests 2020-12-09 17:33:13 +01:00
Daniel Kirchner 588535566f Mark chainid as view. 2020-12-09 16:55:51 +01:00
Alex Beregszaszi ad6739d0f6 Support address().codehash 2020-12-09 14:58:27 +00:00
Daniel Kirchner e691b7402a Move standard-json "modelCheckerSettings" key to "settings.modelChecker". 2020-12-09 15:53:32 +01:00
chriseth 251f2a4d93 Fix bug in constant evaluator. 2020-12-09 15:50:53 +01:00
chriseth dff7dcdc27 Update source location tests. 2020-12-09 15:25:15 +01:00
chriseth 3f5925e1c3 Update gas cost tests. 2020-12-09 15:25:15 +01:00