Commit Graph

11620 Commits

Author SHA1 Message Date
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
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
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
Leonardo Alt
e4851cf59e [SMTChecker] Inline calls to internal functions 2018-10-15 15:11:21 +02:00
chriseth
88b1558862
Merge pull request #4843 from ethereum/docs-2177-abi-type
Link and clarify ABI type
2018-10-15 14:40:07 +02:00
chriseth
6202628cfe
Merge pull request #5221 from ethereum/splitRenamingLeftovers
Some renaming leftovers.
2018-10-15 14:22:17 +02:00
Leonardo Alt
4a4620ac95 Refactor SSAVariable such that it only uses Type and not Declaration 2018-10-15 14:20:54 +02:00
Chris Ward
6e47ca1eda Link and clarify ABI type
Remove rogue ’s’

Clarify wording

Revert other changes and just add link
2018-10-15 14:20:51 +02:00
chriseth
0778fb2dfc
Merge pull request #5208 from mestorlx/bug4156
[WIP] Bad identifier suggestion in certain cases
2018-10-15 13:03:49 +02:00
chriseth
0664772ece Some renaming leftovers. 2018-10-15 12:51:50 +02:00
Christian Parpart
b2b845d6de
Merge pull request #5220 from ethereum/libjulia-to-libyul
Renames `libjulia` directory to `libyul` & namespace `dev::julia` to `dev::yul`
2018-10-15 12:30:00 +02:00