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
17,212 Commits 348 Branches 121 Tags
errtype
Commit Graph
4493 Commits
Author SHA1 Message Date
Erik Kundt d06be2c53f Restructures alignment and bytes utils in isoltest. 2019-07-04 19:15:43 +02:00
chriseth 019ec63f63 Merge pull request #7036 from ethereum/unescapeNewlines 
Unescape newlines in json test expectations.
 2019-07-04 18:15:51 +02:00
Erik Kundt de34f7712d Separates types and conversion functions in soltest. 2019-07-04 14:11:07 +02:00
chriseth d3e542d32c Provide secondary source location for error messages in standard json. 2019-07-04 10:54:01 +02:00
chriseth 7e329769a0 Unescape newlines for test expectations. 2019-07-04 08:44:35 +02:00
Leonardo Alt 934e00d235 [SMTChecker] SymbolicVariables use EncodingContext to declare SMT vars 2019-07-03 16:05:56 +02:00
chriseth b837705259 Merge pull request #7018 from ethereum/compile_only_requested 
Compile only requested sources and contracts
 2019-07-03 14:11:42 +02:00
Leonardo Alt b8d4400588 Make it work on Mac OS 2019-07-03 11:26:28 +02:00
chriseth 2b91022b25 Fix view/pure checker for access to base. 2019-07-03 11:19:57 +02:00
Leonardo Alt 358368cd0c Tests for output selection 2019-07-03 09:58:55 +02:00
chriseth a4ef435c07 Automated ABI Json tests. 2019-07-02 18:11:49 +02:00
chriseth 776fec1913 Make json output a bit prettier. 2019-07-02 18:07:05 +02:00
chriseth 60525dbf52 Merge pull request #7026 from ethereum/asmConstants 
Support direct constants in inline assembly.
 2019-07-02 14:21:24 +02:00
chriseth e542e46163 Merge pull request #7022 from ethereum/smt_create_expr 
[SMTChecker] Always create symbolic expression
 2019-07-02 14:07:24 +02:00
chriseth cdd137e3d1 Support constant numbers in inline assembly. 2019-07-02 14:01:05 +02:00
chriseth ca10b59b25 Merge pull request #7020 from ethereum/smt_fix_callstack_message 
[SMTChecker] Fix wrong assertion in callstack message
 2019-07-02 13:47:49 +02:00
Leonardo Alt fb3c85633b Always create symbolic expression 2019-07-01 16:25:33 +02:00
Leonardo Alt 75663dc91e [SMTChecker] Fix require with message 2019-07-01 16:17:06 +02:00
Leonardo Alt 6606a13ed2 [SMTChecker] Remove unsound assertion (too strong) 2019-07-01 16:16:39 +02:00
chriseth 22776cddcd Merge pull request #7025 from ethereum/EndToEndTest-extractions-1 
Extracting some Solidity end-to-end tests.
 2019-07-01 15:54:09 +02:00
Christian Parpart 62f6e4bad3 Extracting some Solidity end-to-end tests. 2019-07-01 15:37:46 +02:00
Leonardo Alt 3cb4ed83c1 [SMTChecker] Split SMTChecker into SMTEncoder and BMC 2019-07-01 15:05:03 +02:00
chriseth 4976b3ec67 More work on eWasm polyfill. 2019-07-01 13:05:20 +02:00
chriseth 2ee272acf3 Merge pull request #7002 from ethereum/wasmSwitch 
Wasm switch
 2019-06-27 20:51:39 +02:00
chriseth 8c65a2383f Merge pull request #7014 from ethereum/constantOptDirtyScratch 
Add test for constant optimization with dirty scratch space.
 2019-06-27 16:17:31 +02:00
chriseth 3be21800ac Merge pull request #6683 from ethereum/updateSwarm 
Update swarm hash.
 2019-06-27 13:18:29 +02:00
chriseth e2bfb1a663 Translation of switch statement for wasm backend. 2019-06-27 13:02:35 +02:00
chriseth 53f37f487f Merge pull request #6994 from ethereum/smt_refactor_targets 
[SMTChecker] Delay all checks
 2019-06-27 12:56:34 +02:00
chriseth 89f0e1e6da Use updated swarm hash. 2019-06-27 12:49:06 +02:00
chriseth aa11ad7d0a Update swarm hash. 2019-06-27 12:48:51 +02:00
chriseth 8d18003808 Merge pull request #6716 from ethereum/wasmTranslation 
[Yul] EVM to Wasm translation
 2019-06-27 12:31:35 +02:00
chriseth 55bf1b547e Add test for constant optimization with dirty scratch space. 2019-06-27 12:15:49 +02:00
Leonardo Alt a28b84fdc3 [SMTChecker] Add a more general VerificationTarget 2019-06-27 10:31:50 +02:00
chriseth f05805c955 Merge pull request #7003 from ethereum/missingTestKnowledge 
Adding forgotten test for load resolver.
 2019-06-26 13:08:55 +02:00
chriseth b4a0a79398 Merge pull request #6993 from ethereum/smt_false_positives 
[SMTChecker] Remove overflow check for assignments
 2019-06-26 13:06:31 +02:00
chriseth c6f7f5b2b0 Enable EWasm output. 2019-06-25 19:07:38 +02:00
chriseth f5f1b2649c Adding forgotten test for load resolver. 2019-06-25 17:25:53 +02:00
chriseth f58bd5551e Test for sign bit chopping. 2019-06-25 13:00:02 +02:00
Leonardo Alt 48d6729164 [SMTChecker] Remove overflow check for assignments 2019-06-24 17:58:56 +02:00
Mathias Baumann 5f072d30df Enable yul for more end to end tests 2019-06-24 16:06:22 +02:00
chriseth a3e816e198 Merge pull request #6807 from ethereum/storageKnowledge 
Knowledge about storage and memory.
 2019-06-24 14:09:21 +02:00
chriseth 9c129a4087 Merge pull request #6984 from ethereum/yul-reindent 
yul: adds reindent() function to reindent yul source code and makes us of it in IRGenerator
 2019-06-24 12:54:40 +02:00
Christian Parpart 0fd1db533e yul: adds reindent() function to reindent yul source code and makes use of it in IRGenerator. 
This function does count curly and round braces and reindents
accordingly the beginning of each line.

It does consider line-comments (// and ///) but not multiline comments (/* ... */).
 2019-06-24 12:53:50 +02:00
chriseth 350631ae0d Merge pull request #6940 from ethereum/sol-yul-storage-array-index 
[Sol->Yul] Implement index access for storage arrays
 2019-06-24 12:49:19 +02:00
chriseth 5329a84912 Merge pull request #6982 from rocky/error-recovery-spacing-typo 
Add missing space in error recovery message.
 2019-06-24 12:32:32 +02:00
rocky 8b461be2b0 Add missing space in error recovery message. 
Also add a space in the Test Title
 2019-06-24 06:28:18 -04:00
Christian Parpart b58170f890 Refactor & Speedups on CircleCI; split out out codecov into dedicated tests. 2019-06-21 20:26:10 +02:00
chriseth 2b979cba38 Also optimize memory. 2019-06-20 18:43:37 +02:00
chriseth 8572600401 Implement knowledge base. 2019-06-20 18:43:37 +02:00
chriseth 1f9d11c644 Knowledge about storage. 2019-06-20 18:43:37 +02:00