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
14,086 Commits 348 Branches 121 Tags
60525dbf5296ad0117823f9f05fdebc8d3fc79c8
Commit Graph
14086 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
chriseth 60525dbf52 Merge pull request #7026 from ethereum/asmConstants 
Support direct constants in inline assembly.
 2019-07-02 14:21:24 +02:00
chriseth 817852c650 Merge pull request #7030 from ethereum/smt_move_solver 
[SMTChecker] Move solver from SMTEncoder to BMC
 2019-07-02 14:08:55 +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 fb3eb54203 Merge pull request #7032 from ethereum/pull-11 
Failed-checksum addresses are an error
 2019-07-02 14:03:57 +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
chriseth 06d01d1573 Merge pull request #7019 from ethereum/smt_fix_require 
[SMTChecker] Fix require with message
 2019-07-02 13:13:50 +02:00
William Entriken b6cb079157 Failed-checksum addresses are an error 2019-07-02 13:10:28 +02:00
Leonardo Alt b0818bd002 [SMTChecker] Move solver pointer from SMTEncoder to BMC 2019-07-02 12:06:52 +02:00
Leonardo Alt fb3c85633b Always create symbolic expression 2019-07-01 16:25:33 +02:00
chriseth 7de18b37c2 Merge pull request #7027 from ethereum/chriseth-patch-2 
Fix link.
 2019-07-01 16:19:26 +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 82c92eccbc Fix link. 2019-07-01 16:03:12 +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
Leonardo ccc7e30961 Merge pull request #7001 from ethereum/smt_refactor_files 
[SMTChecker] Split SMTChecker file into different components
 2019-07-01 15:50:22 +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 b8dbf7d2a8 Merge pull request #7016 from ethereum/propertiesOfWasmBuiltins 
Properties of wasm builtins
 2019-07-01 14:36:29 +02:00
chriseth 4976b3ec67 More work on eWasm polyfill. 2019-07-01 13:05:20 +02:00
chriseth d9db193249 Provide meta-information about eWasm builtins. 2019-07-01 13:01:18 +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 f5a9b06289 Merge pull request #7006 from ethereum/docs-min-compiler 
[DOCS] Add minimum compiler versions
 2019-06-27 15:55:38 +02:00
Chris Chinchilla bbc471fef8 Add minimum compiler versions 2019-06-27 15:45:15 +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 321e714911 Merge pull request #7009 from ethereum/docs-fix-style 
[DOCS] Fix style issues in control structures
 2019-06-27 12:52:18 +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 3597de35b7 Merge pull request #7013 from fulldecent/patch-12 
Update value-types.rst
 2019-06-27 12:19:23 +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
William Entriken 49c79c1894 Update value-types.rst 2019-06-26 20:04:02 -04:00
Chris Chinchilla 168412dd8d Fix style issues in control structures 2019-06-26 17:09: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 8cd197e572 Support "datasize" and "dataoffset" with literals in eWasm. 2019-06-25 19:07:38 +02:00
chriseth edf62e4d2b Changelog entry. 2019-06-25 19:07:38 +02:00
chriseth c6f7f5b2b0 Enable EWasm output. 2019-06-25 19:07:38 +02:00
chriseth 67f11104c1 EVM to eWasm translator. 2019-06-25 19:06:18 +02:00
chriseth 1cc8475309 Merge pull request #7005 from ethereum/release 
Merge release back into develop.
 2019-06-25 19:05:22 +02:00
chriseth a6f79ed843 Merge pull request #7004 from ethereum/nextVersion 
Set version to 0.5.11.
 2019-06-25 19:04:59 +02:00
chriseth 461b566603 Set version to 0.5.11. 2019-06-25 19:03:51 +02:00
chriseth f5f1b2649c Adding forgotten test for load resolver. 2019-06-25 17:25:53 +02:00
chriseth 5a6ea5b197 Merge pull request #6999 from ethereum/develop 
Merge develop into release for 0.5.10
v0.5.10 		2019-06-25 16:03:50 +02:00
chriseth f4656c7321 Merge pull request #6996 from ethereum/prepareChangelog 
Prepare changelog for 0.5.10 release.
 2019-06-25 14:36:49 +02:00
chriseth a03687ccfa Prepare changelog for 0.5.10 release. 2019-06-25 14:28:22 +02:00