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
18,771 Commits 348 Branches 121 Tags
12f31c49eef52491ddb3a23c95d20760f5578b8d
Commit Graph
18771 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
chriseth 12f31c49ee Merge pull request #10584 from ethereum/fix-minor-bugs-in-shell-scripts 
Fix minor bugs in shell scripts
 2020-12-14 10:01:48 +01:00
Kamil Śliwak 4a16b13a57 get_version.sh: Quote the ? wildcard that could otherwise break the regex in the presence of a single-letter file name 2020-12-12 07:49:54 +01:00
Kamil Śliwak 893a5b6e60 Remove unused variables 2020-12-12 06:30:57 +01:00
Kamil Śliwak f712662a66 ASTImportTest.sh: Fix the script ignoring all but the first file from a multi-source test when testing input equivalence 2020-12-12 06:30:57 +01:00
Kamil Śliwak 81668eb26a soltest_all: Fix an error being printed to a file called 2 rather than to stderr 2020-12-12 06:30:57 +01:00
Kamil Śliwak ac12274acd cmdlineTests.sh: Fix the script failing to detect that --ast option does not exist 2020-12-12 06:30:57 +01:00
Kamil Śliwak 1f2ffa99c2 cmdlineTests.sh: Fix test_solc_assembly_output including garbage in the tested output 2020-12-12 06:30:57 +01:00
Leonardo db9aa36d6c Merge pull request #10567 from blishko/unary-operators-fix 
[SMTChecker] Fix CHC analysis of increment/decrement
 2020-12-11 18:52:12 +01:00
Leonardo da9cede0fe Merge pull request #10348 from ethereum/simplify-compiler 
Simplify abstraction of Compiler/CompilerContext/CompilerStack
 2020-12-11 17:42:36 +01:00
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 bcaefb57b8 Add evmAssembly and evmRuntimeAssembly pointer in CompilerStack 
This is a preparation for allowing those outputs to be served from the IR too
 2020-12-11 14:53:29 +00:00
Alex Beregszaszi 98d8174d31 Simplify Compiler/CompilerContext by removing extra layers of indirection 2020-12-11 14:43:51 +00:00
Daniel Kirchner dc5f7a7405 Merge pull request #10448 from ethereum/fixedhash 
Add comprehensive tests for FixedHash
 2020-12-11 15:31:20 +01: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
Alex Beregszaszi 03e805ab5a Reformat FixedHash.h for readability 2020-12-10 22:49:40 +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
Alex Beregszaszi 5a541e72be Merge pull request #10537 from ethereum/extra-warnings 
Enable more C++ compiler warnings
 2020-12-10 21:44:54 +00: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
Daniel Kirchner 90c693be09 Merge pull request #10568 from ethereum/oldClangFixes 
Deal with old clang compilers.
 2020-12-10 20:03:51 +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
Bhargava Shastry 6ef9ef1e15 Merge pull request #10564 from ethereum/abiv2-isabelle-test-values 
Abiv2 fuzzer: Retrieve values to be encoded from the fuzzer
 2020-12-10 17:56:43 +01:00
Daniel Kirchner 4cb9a42d9a Verify minimal clang version in cmake. 2020-12-10 17:40:29 +01:00
Daniel Kirchner c400c61fc3 Fix incorrect behaviour on clang 6. 2020-12-10 17:20:30 +01:00
chriseth d84415cb3b Merge pull request #10483 from ethereum/dlopenZ3 
Experimental mechanism for loading Z3 dynamically at runtime.
 2020-12-10 17:06:07 +01:00
Daniel Kirchner 7308abc084 Allow loading Z3 dynamically at runtime. 2020-12-10 16:47:47 +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 66b15f24ad Merge pull request #10518 from ethereum/deduplicate-external-test-job-definitions 
[CI] Deduplicate external test job definitions
 2020-12-10 11:58:52 +01:00
chriseth 89b7c5f65a Merge pull request #10455 from ethereum/issue-10433 
Fix segfault for empty @return tags in modifiers
 2020-12-10 11:54:55 +01:00
Mathias Baumann 37cc795034 Fix segfault for empty @return tags in modifiers 2020-12-10 11:54:40 +01:00
Bhargava Shastry c72adbf3ec Merge pull request #10562 from ethereum/eoanCi 
Switch CI runs from EOL'ed eoan to focal.
 2020-12-10 11:44:41 +01:00
Daniel Kirchner 2e31a6bdbf Switch CI runs from EOL'ed eoan to focal. 2020-12-10 11:09:55 +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