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
11,628 Commits 348 Branches 121 Tags
e78b95d9d4ecb6d8d56ca0f04a6f9b4f7d974fbb
Commit Graph
11628 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
chriseth e78b95d9d4 Renamed SHA3.{h,cpp} files. 2018-10-18 14:31:36 +02:00
chriseth d9e6469811 Simplify sha3. 2018-10-18 14:31:32 +02:00
chriseth 7609e2871e Merge pull request #5240 from ethereum/limitDispenserSize 
[Yul] Limit name length created by dispenser
 2018-10-17 22:54:38 +02:00
chriseth c578b21e7c Merge pull request #5251 from ethereum/smt_refactor_expr_types 
[SMTChecker] Refactor expressions to use SymbolicVariable
 2018-10-17 22:54:00 +02:00
chriseth 1aca175d62 Merge pull request #5249 from ethereum/remove-links 
DOCS: Add new resources section seperate from docs index
 2018-10-17 19:53:20 +02:00
Chris Ward 271a56b7db Add new resources section seperate from docs index 2018-10-17 19:49:28 +02:00
chriseth 3d1ca07e9b Merge pull request #3047 from ethereum/abi-strict 
Add strict encoding mode to the ABI spec
 2018-10-17 19:14:00 +02:00
Leonardo Alt 070471d8d4 Fix possibly effectless map emplace 2018-10-17 19:00:38 +02:00
Leonardo Alt c92d3b537d [SMTChecker] Refactor expressions such that they also use SymbolicVariable 2018-10-17 18:36:24 +02:00
Leonardo 3db1ce0e14 Merge pull request #5235 from ethereum/smt_refactor_types 
[SMTChecker] Refactoring types
 2018-10-17 18:35:48 +02:00
chriseth 9d00f710bc Merge pull request #5224 from bshastry/compilerwarn-fix 
Fix compiler warning
 2018-10-17 17:23:22 +02:00
chriseth c6a6e9ac5d Merge pull request #5232 from ethereum/inlineHeuristic 
[Yul] Add simple inlining heuristic
 2018-10-17 17:22:46 +02:00
chriseth fb0ec1c562 Merge pull request #5245 from ethereum/chriseth-patch-2 
Add Ethfiddle
 2018-10-17 17:22:15 +02:00
chriseth 732d09cef1 Limit size of generated names and add convenience constructors. 2018-10-17 17:21:55 +02:00
chriseth f2f72ff7ee Merge pull request #5227 from ethereum/doNotRemoveExternallyUsedFunction 
Prevent externally used functions from being removed.
 2018-10-17 17:05:49 +02:00
chriseth 6b7d182658 Merge pull request #5248 from Karocyt/frenchdoc 
French translation (in progress) added to the docs
 2018-10-17 17:02:00 +02:00
Bhargava Shastry 67fd3ca4a7 Retained move/copy semantics; removed const qualifier from Expression's members name (of type std::string) and arguments (of type std::vector<Expression>) 2018-10-17 16:46:18 +02:00
Bhargava Shastry 546b08c158 Fix compiler warning: clang-8 warns of explicitly-defined op implicitly deleted for Expression object's copy and move constructors 2018-10-17 16:42:51 +02:00
Leonardo Alt afe83cc28b Refactor SymbolicAddressVariable and SymbolicVariable allocation 2018-10-17 15:58:13 +02:00
Leonardo Alt aa23326e06 Consistent renaming of 'counters' and 'sequence' to 'index' 2018-10-17 15:58:13 +02:00
Leonardo Alt ec39fdcb3c [SMTChecker] Refactoring types 2018-10-17 15:58:13 +02:00
Kevin Azoulay 932690c2db French translation (in progress) added to the docs 2018-10-17 15:26:39 +02:00
chriseth 3d9f478a66 Add Ethfiddle 2018-10-17 14:46:51 +02:00
chriseth af3300b86c Merge pull request #5233 from pRoy24/develop 
Update minor typo in Storage section of docs
 2018-10-17 14:32:34 +02:00
chriseth 16c2a775fd Handle externally supplied variables correctly in disambiguator. 2018-10-17 14:12:11 +02:00
chriseth 5e01d767d0 Prevent externally used functions from being removed. 2018-10-17 14:12:10 +02:00
chriseth 9fb5feed05 Use metrics in the full inliner. 2018-10-17 14:11:20 +02:00
chriseth ba1588828f Merge pull request #5207 from ethereum/inlineViaBreak 
[Yul] Function inliner via "Expression Breaker"
 2018-10-17 14:07:57 +02:00
chriseth 3a329b813c Merge pull request #5243 from jeffanthony/patch-2 
minor spelling correction
 2018-10-17 00:34:21 +02:00
Jeffrey Anthony ab940f201a minor spelling correction 
whas => was
 2018-10-16 15:13:58 -04:00
chriseth 2ab6430303 Inline each function separately. 2018-10-16 17:32:21 +02:00
chriseth a435a14e13 Test for crash via inlining. 2018-10-16 17:29:20 +02:00
chriseth e2e4a9fe81 New full inliner. 2018-10-16 17:16:03 +02:00
chriseth 72b1bb00bd Merge pull request #5147 from ethereum/simplifierViaBroken 
[Yul] Simplifier via broken
 2018-10-16 17:04:52 +02:00
chriseth ffe44536fe Add a "full simplify" test that applies multiple elementary transforms. 2018-10-16 16:18:39 +02:00
chriseth a320eec7d3 New simplifier via broken expressions. 2018-10-16 16:18:39 +02:00
chriseth 76db0d69cf SSA value tracker. 2018-10-16 16:18:39 +02:00
chriseth 348112f0ab Merge pull request #5236 from ethereum/clang7 
Add clang7 build step to circle
 2018-10-16 16:08:46 +02:00
chriseth 0d1b4d6f33 Add clang7 build step 2018-10-16 14:49:51 +02:00
chriseth b723893ac7 Merge pull request #5225 from mestorlx/issue5007 
Prevent crash in case there are no contracts
 2018-10-16 14:25:58 +02:00
Pritam Roy 95104a088f Update minor typo in Storage section of docs 2018-10-16 05:04:57 +05:30
chriseth 036929aba1 Merge pull request #5226 from ethereum/chriseth-patch-3 
Correct include path
 2018-10-15 19:51:25 +02:00
chriseth 8677d9276a Merge pull request #5222 from ethereum/yul-block-flattener 
[WIP] Yul: Introduces a block flattening pass
 2018-10-15 19:50:10 +02:00
mestorlx 9f9d6fdcc4 fix issue##5007 2018-10-15 14:26:15 -03:00
Christian Parpart 04612936c2 Yul: Introduces a block flattening pass + tests 2018-10-15 18:21:34 +02:00
chriseth 3d4e5f30e1 Correct include path 2018-10-15 18:08:41 +02:00
chriseth 8a9f5262ac Merge pull request #5223 from bshastry/testoptions-bugfix 
Bug fix: Add missing include in test/Options.h
 2018-10-15 18:07:13 +02:00
Bhargava Shastry 55d91d5f9c Bug fix: Add missing include in test/Options.h; otherwise compiler does not recognise the boost object that Options subclasses 2018-10-15 17:14:22 +02:00
chriseth 2384947521 Merge pull request #5209 from ethereum/smt_ssa_refactor 
[SMTChecker] Refactor SSAVariable such that it only uses Type and not Declaration
 2018-10-15 16:49:47 +02:00
chriseth 771de0c5ad Merge pull request #5189 from ethereum/smt_function_call 
[SMTChecker] Inline calls to internal functions
 2018-10-15 16:48:56 +02:00