Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add VarDeclPropagator to full suite and interactive optimizer. | chriseth | 2018-11-08 | 2 | -1/+12 |
| | |||||
* | Merge pull request #5327 from ethereum/rematerializerSmall | chriseth | 2018-11-08 | 1 | -1/+5 |
|\ | | | | | Add rematerializer to interactive optimizer. | ||||
| * | Add rematerializer to interactive optimizer. | chriseth | 2018-10-28 | 1 | -1/+5 |
| | | |||||
* | | Merge pull request #5334 from ethereum/stringPerformance | chriseth | 2018-11-08 | 59 | -243/+351 |
|\ \ | | | | | | | [Yul] String performance | ||||
| * | | Performance: Replace string by special single-copy YulString class. | chriseth | 2018-11-08 | 59 | -243/+351 |
|/ / | |||||
* | | Merge pull request #5346 from ethereum/chriseth-patch-4 | chriseth | 2018-11-07 | 1 | -2/+1 |
|\ \ | | | | | | | [DOCS] Integers cannot be implicitly converted to address | ||||
| * | | Integers cannot be implicitly converted to address | chriseth | 2018-11-06 | 1 | -2/+1 |
| | | | |||||
* | | | Merge pull request #5359 from ethereum/cpp17-forward-compat | chriseth | 2018-11-07 | 15 | -206/+204 |
|\ \ \ | | | | | | | | | Eliminate `byte`-typedef and use `uint8_t` in all their places instead. | ||||
| * | | | Eliminate `byte`-typedef and use `uint8_t` in all their places instead. | Christian Parpart | 2018-11-07 | 15 | -206/+204 |
|/ / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This change is made to (easily) be forward compatible with future C++ standards, in order to allow compiling the code with newer standards at some point in the future. * Removed the `using byte = uint8_t;` line from Common.h * Mechanically change all uses of `byte` to `uint8_t`. Tested with GCC 7.3 in C++11/14/17 modes :-) | ||||
* | | | Merge pull request #5347 from ethereum/boostRationalNegativeDenominator | Daniel Kirchner | 2018-11-06 | 1 | -2/+0 |
|\ \ \ | |/ / |/| | | Remove uses of boost::rational with negative denominator in tests. | ||||
| * | | Remove uses of boost::rational with negative denominator, which breaks with ↵ | Daniel Kirchner | 2018-11-06 | 1 | -2/+0 |
|/ / | | | | | | | boost 1.68. | ||||
* | | Merge pull request #5343 from lshapton/patch-1 | chriseth | 2018-11-05 | 1 | -1/+1 |
|\ \ | | | | | | | Fixes small typo in documentation | ||||
| * | | Fixes typo | Leanne | 2018-11-04 | 1 | -1/+1 |
|/ / | |||||
* | | Merge pull request #5337 from ethereum/ubuntuVersion | chriseth | 2018-10-30 | 1 | -1/+1 |
|\ \ | | | | | | | Update ubuntu versions. | ||||
| * | | Update ubuntu versions. | chriseth | 2018-10-30 | 1 | -1/+1 |
| | | | |||||
* | | | Merge pull request #5336 from Eitan-Lev/Update-newcomers-tag | chriseth | 2018-10-30 | 1 | -1/+1 |
|\ \ \ | | | | | | | | | up-for-grabs swapped for good first issue | ||||
| * | | | up-for-grabs swapped for good first issue | Eitan Levin | 2018-10-30 | 1 | -1/+1 |
| |/ / | |||||
* | | | Merge pull request #5188 from ethereum/large-array-encoding | chriseth | 2018-10-30 | 5 | -0/+30 |
|\ \ \ | |/ / |/| | | Do not crash when trying to encode too large arrays | ||||
| * | | Fixes crash while encoding too large arrays. | Erik Kundt | 2018-10-30 | 5 | -0/+30 |
|/ / | |||||
* | | Merge pull request #5331 from lazaridiscom/patch-2 | chriseth | 2018-10-29 | 1 | -8/+8 |
|\ \ | | | | | | | move CHECKLIST to the end | ||||
| * | | move CHECKLIST to the end | Lazaridis | 2018-10-29 | 1 | -8/+8 |
|/ / | | | | | | | | | | | | | ## Rationale The github/gitter UIs show the content of a PR-link on mouse-over. Having the CHECKLIST on top results in those pop-ups showing the checklist instead of the (more relevant) description. | ||||
* | | Merge pull request #5316 from lazaridiscom/4891-memory-store-asserts | chriseth | 2018-10-29 | 1 | -21/+37 |
|\ \ | | | | | | | refine memory-store assertions, closes #4891 | ||||
| * | | refine memory-store assertions, closes #4891 | Lazaridis | 2018-10-27 | 1 | -21/+37 |
| | | | |||||
* | | | Merge pull request #5247 from ethereum/yul-vardecl-propagation | chriseth | 2018-10-29 | 12 | -0/+302 |
|\ \ \ | | | | | | | | | Yul: Implements empty-var-decl-propagation | ||||
| * | | | Yul: Implements empty-var-decl-propagation | Christian Parpart | 2018-10-26 | 12 | -0/+302 |
| | | | | |||||
* | | | | Merge pull request #5315 from ethereum/yul-expr-joiner | chriseth | 2018-10-28 | 2 | -36/+20 |
|\ \ \ \ | |_|_|/ |/| | | | Refactor Yul's ExpressionJoiner | ||||
| * | | | [Yul] ExpressionJoiner: code cleanup | Christian Parpart | 2018-10-26 | 2 | -36/+20 |
| |/ / | | | | | | | | | | | | | | | | | | | | | | | | | * ensure public API is only containing `run(Block&)`, all the rest is private API / implementation details * adding some comments to class data members to quicker understand their meaning * eliminate unnecessary `operator()(If&)` as it's not changing default behaviour of `ASTModifier` * simplify readability of `visit(Expression&)`'s impl, also moving assert's into "isLatestStatementVarDeclOf", as this one is already ensuring exactly that. * ctor impl's use of ReferenceCounter use shortened. * renamed and improved `isLatestStatementVarDeclOf` to better match its meaning (especially since it's only used once) | ||||
* | | | Merge pull request #5320 from lazaridiscom/patch-1 | chriseth | 2018-10-28 | 1 | -1/+1 |
|\ \ \ | | | | | | | | | add missing "p" | ||||
| * | | | add missing "p" | Lazaridis | 2018-10-28 | 1 | -1/+1 |
|/ / / | |||||
* | | | Merge pull request #5314 from berkerol/patch-1 | chriseth | 2018-10-26 | 1 | -0/+1 |
|\ \ \ | |/ / |/| | | DOCS: Add check for whether voter has right to vote | ||||
| * | | Add check for whether voter has right to vote | Berk Erol | 2018-10-26 | 1 | -0/+1 |
|/ / | |||||
* | | Merge pull request #5122 from ethereum/docs-contributing-pt3 | chriseth | 2018-10-26 | 1 | -11/+10 |
|\ \ | | | | | | | Final contribution review in fuzzer section | ||||
| * | | Final contribution review in fuzzer section | Chris Ward | 2018-10-26 | 1 | -11/+10 |
| | | | |||||
* | | | Merge pull request #5311 from ethereum/chriseth-patch-3 | chriseth | 2018-10-26 | 1 | -0/+4 |
|\ \ \ | | | | | | | | | Clarify import. | ||||
| * | | | Clarify import. | chriseth | 2018-10-26 | 1 | -0/+4 |
|/ / / | |||||
* | | | Merge pull request #5304 from ethereum/removeASTutils | chriseth | 2018-10-25 | 2 | -102/+0 |
|\ \ \ | | | | | | | | | Remove unused AST utils. | ||||
| * | | | Remove unused AST utils. | chriseth | 2018-10-25 | 2 | -102/+0 |
| |/ / | |||||
* | | | Merge pull request #5273 from ethereum/interactiveOpt | chriseth | 2018-10-25 | 2 | -0/+228 |
|\ \ \ | |/ / |/| | | [Yul] Interactive optimizer tool | ||||
| * | | Add redundant assign and ssa. | chriseth | 2018-10-24 | 1 | -1/+10 |
| | | | |||||
| * | | Interactive optimizer tool. | chriseth | 2018-10-24 | 2 | -0/+219 |
| | | | |||||
* | | | Merge pull request #5283 from ethereum/smt_fixed_bytes | chriseth | 2018-10-25 | 15 | -288/+160 |
|\ \ \ | | | | | | | | | [SMTChecker] Support FixedBytes | ||||
| * | | | Grouping of symbolic variables in the same file and support to FixedBytes | Leonardo Alt | 2018-10-25 | 15 | -288/+160 |
| |/ / | |||||
* | | | Merge pull request #5242 from ethereum/someChecks | chriseth | 2018-10-25 | 9 | -4/+95 |
|\ \ \ | | | | | | | | | Some well-formedness checks for the Yul AST. | ||||
| * | | | Added some tests. | chriseth | 2018-10-24 | 4 | -0/+44 |
| | | | | |||||
| * | | | Some well-formedness checks for the Yul AST. | chriseth | 2018-10-22 | 5 | -4/+51 |
| | | | | |||||
* | | | | Merge pull request #5271 from ethereum/fullSuite | chriseth | 2018-10-25 | 4 | -0/+197 |
|\ \ \ \ | | | | | | | | | | | [Yul] Full suite tests. | ||||
| * | | | | Full suite tests. | chriseth | 2018-10-25 | 4 | -0/+197 |
| | |/ / | |/| | | |||||
* | | | | Merge pull request #5296 from ethereum/setPragmaToArbitrary | chriseth | 2018-10-25 | 92 | -2012/+52 |
|\ \ \ \ | |/ / / |/| | | | Set pragma to arbitrary | ||||
| * | | | Remove pragma changer. | chriseth | 2018-10-24 | 1 | -2/+0 |
| | | | | |||||
| * | | | Set pragma to arbitrary. | chriseth | 2018-10-24 | 52 | -52/+52 |
| | | | | |||||
| * | | | Only run zeppelin as external tests. | chriseth | 2018-10-24 | 39 | -1958/+0 |
| | | | | |||||
* | | | | Merge pull request #5272 from ethereum/smt_special_vars | chriseth | 2018-10-24 | 23 | -78/+272 |
|\ \ \ \ | | | | | | | | | | | [SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhash | ||||
| * | | | | Add gasleft constraint and use full member access name | Leonardo Alt | 2018-10-23 | 7 | -16/+45 |
| | | | | | |||||
| * | | | | [SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhash | Leonardo Alt | 2018-10-19 | 20 | -68/+233 |
| | |/ / | |/| | | |||||
* | | | | Merge pull request #5292 from ethereum/redundantAssignEliminator | chriseth | 2018-10-24 | 22 | -0/+791 |
|\ \ \ \ | |_|/ / |/| | | | [Yul] Redundant assign eliminator. | ||||
| * | | | Redundant assign eliminator. | chriseth | 2018-10-24 | 22 | -0/+791 |
|/ / / | |||||
* | | | Merge pull request #5288 from ethereum/docs-external-call-tx-faq | chriseth | 2018-10-23 | 2 | -8/+4 |
|\ \ \ | | | | | | | | | DOCS: Move FAQ item regarding contract to contract calls and tx | ||||
| * | | | Move FAQ item regarding contract to contract calls and resulting transaction | Chris Ward | 2018-10-23 | 2 | -8/+4 |
|/ / / | |||||
* | | | Merge pull request #5286 from ethereum/refactor-token-as-enum-class | Christian Parpart | 2018-10-23 | 22 | -362/+355 |
|\ \ \ | |/ / |/| | | refactor `libsolidity::Token` into a strongly typed enum | ||||
| * | | Refactor `solidity::Token` into an `enum class` with `TokenTraits` helper ↵ | Christian Parpart | 2018-10-22 | 22 | -362/+355 |
|/ / | | | | | | | namespace | ||||
* | | Merge pull request #5256 from ethereum/lvalueCleanup | chriseth | 2018-10-19 | 2 | -42/+25 |
|\ \ | | | | | | | Lvalue cleanup | ||||
| * | | Removed unreachable cases in LValue.cpp. | chriseth | 2018-10-18 | 1 | -42/+7 |
| | | | |||||
| * | | Add a test for delete x.length | chriseth | 2018-10-18 | 1 | -0/+18 |
| | | | |||||
* | | | Merge pull request #5267 from ethereum/ssatransform | chriseth | 2018-10-19 | 14 | -0/+542 |
|\ \ \ | | | | | | | | | SSA transform - first step. | ||||
| * | | | SSA transform - first step. | chriseth | 2018-10-19 | 14 | -0/+542 |
| | | | | |||||
* | | | | Merge pull request #5260 from ethereum/flattenMore | chriseth | 2018-10-19 | 1 | -0/+22 |
|\ \ \ \ | | | | | | | | | | | Flatten more. | ||||
| * | | | | Flatten more. | chriseth | 2018-10-18 | 1 | -0/+22 |
| | |/ / | |/| | | |||||
* | | | | Merge pull request #5258 from ethereum/coverage2 | chriseth | 2018-10-19 | 2 | -0/+56 |
|\ \ \ \ | | | | | | | | | | | Add some simplification tests for operations. | ||||
| * | | | | Add some simplification tests for operations. | chriseth | 2018-10-18 | 2 | -0/+56 |
| |/ / / | |||||
* | | | | Merge pull request #5257 from ethereum/assertAboutRemoved | chriseth | 2018-10-19 | 1 | -10/+9 |
|\ \ \ \ | | | | | | | | | | | Assert about some removed language concepts in the code generator. | ||||
| * | | | | Assert about some removed language concepts in the code generator. | chriseth | 2018-10-18 | 1 | -10/+9 |
| |/ / / | |||||
* | | | | Merge pull request #5259 from ethereum/cleanup8 | chriseth | 2018-10-19 | 3 | -48/+9 |
|\ \ \ \ | | | | | | | | | | | Cleanup in some base utils | ||||
| * | | | | Remove mostly unused writeFile implementation. | chriseth | 2018-10-18 | 3 | -48/+9 |
| | |/ / | |/| | | |||||
* | | | | Merge pull request #5213 from Mordax/issue-5103 | chriseth | 2018-10-19 | 1 | -0/+15 |
|\ \ \ \ | | | | | | | | | | | Tests for flipping signs on signed type edge case | ||||
| * | | | | Added test for flipping signs on signed type edge case | mordax | 2018-10-16 | 1 | -0/+15 |
| | | | | | |||||
* | | | | | Merge pull request #5270 from ethereum/inlineFlexible | chriseth | 2018-10-19 | 3 | -13/+12 |
|\ \ \ \ \ | | | | | | | | | | | | | Make full inliner more flexible. | ||||
| * | | | | | Make full inliner more flexible. | chriseth | 2018-10-18 | 3 | -13/+12 |
| | |/ / / | |/| | | | |||||
* | | | | | Merge pull request #5269 from ethereum/cseBugfix | chriseth | 2018-10-19 | 5 | -23/+59 |
|\ \ \ \ \ | |/ / / / |/| | | | | Bugfix in common subexpression eliminator related to scopes. | ||||
| * | | | | Fix a bug in CSE where a variable that was already out of scope was used. | chriseth | 2018-10-18 | 5 | -24/+35 |
| | | | | | |||||
| * | | | | Test case that shows a CSE bug related to scopes. | chriseth | 2018-10-18 | 1 | -0/+25 |
|/ / / / | |||||
* | | | | Merge pull request #5240 from ethereum/limitDispenserSize | chriseth | 2018-10-18 | 8 | -25/+97 |
|\ \ \ \ | | | | | | | | | | | [Yul] Limit name length created by dispenser | ||||
| * | | | | Limit size of generated names and add convenience constructors. | chriseth | 2018-10-17 | 8 | -25/+97 |
| | | | | | |||||
* | | | | | Merge pull request #5251 from ethereum/smt_refactor_expr_types | chriseth | 2018-10-18 | 4 | -79/+62 |
|\ \ \ \ \ | | | | | | | | | | | | | [SMTChecker] Refactor expressions to use SymbolicVariable | ||||
| * | | | | | Fix possibly effectless map emplace | Leonardo Alt | 2018-10-18 | 1 | -7/+10 |
| | | | | | | |||||
| * | | | | | [SMTChecker] Refactor expressions such that they also use SymbolicVariable | Leonardo Alt | 2018-10-18 | 4 | -77/+57 |
| | | | | | | |||||
* | | | | | | Merge pull request #5249 from ethereum/remove-links | chriseth | 2018-10-18 | 2 | -133/+133 |
|\ \ \ \ \ \ | |_|_|_|/ / |/| | | | | | DOCS: Add new resources section seperate from docs index | ||||
| * | | | | | Add new resources section seperate from docs index | Chris Ward | 2018-10-18 | 2 | -133/+133 |
|/ / / / / | |||||
* | | | | | Merge pull request #3047 from ethereum/abi-strict | chriseth | 2018-10-18 | 1 | -0/+11 |
|\ \ \ \ \ | |/ / / / |/| | | | | Add strict encoding mode to the ABI spec | ||||
| * | | | | Add strict encoding mode to the ABI spec | Alex Beregszaszi | 2018-07-06 | 1 | -0/+11 |
| | | | | | |||||
* | | | | | Merge pull request #5235 from ethereum/smt_refactor_types | Leonardo | 2018-10-18 | 14 | -218/+378 |
|\ \ \ \ \ | | | | | | | | | | | | | [SMTChecker] Refactoring types | ||||
| * | | | | | Refactor SymbolicAddressVariable and SymbolicVariable allocation | Leonardo Alt | 2018-10-17 | 8 | -51/+159 |
| | | | | | | |||||
| * | | | | | Consistent renaming of 'counters' and 'sequence' to 'index' | Leonardo Alt | 2018-10-17 | 10 | -71/+71 |
| | | | | | | |||||
| * | | | | | [SMTChecker] Refactoring types | Leonardo Alt | 2018-10-17 | 12 | -150/+202 |
| | | | | | | |||||
* | | | | | | Merge pull request #5224 from bshastry/compilerwarn-fix | chriseth | 2018-10-17 | 1 | -2/+2 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Fix compiler warning | ||||
| * | | | | | | Retained move/copy semantics; removed const qualifier from Expression's ↵ | Bhargava Shastry | 2018-10-17 | 1 | -2/+4 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | members name (of type std::string) and arguments (of type std::vector<Expression>) | ||||
| * | | | | | | Fix compiler warning: clang-8 warns of explicitly-defined op implicitly ↵ | Bhargava Shastry | 2018-10-17 | 1 | -2/+0 |
| |/ / / / / | | | | | | | | | | | | | | | | | | | deleted for Expression object's copy and move constructors | ||||
* | | | | | | Merge pull request #5232 from ethereum/inlineHeuristic | chriseth | 2018-10-17 | 7 | -8/+170 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | [Yul] Add simple inlining heuristic | ||||
| * | | | | | | Use metrics in the full inliner. | chriseth | 2018-10-17 | 7 | -8/+170 |
| | | | | | | | |||||
* | | | | | | | Merge pull request #5245 from ethereum/chriseth-patch-2 | chriseth | 2018-10-17 | 1 | -0/+3 |
|\ \ \ \ \ \ \ | |_|_|_|/ / / |/| | | | | | | Add Ethfiddle | ||||
| * | | | | | | Add Ethfiddle | chriseth | 2018-10-17 | 1 | -0/+3 |
| | |/ / / / | |/| | | | | |||||
* | | | | | | Merge pull request #5227 from ethereum/doNotRemoveExternallyUsedFunction | chriseth | 2018-10-17 | 10 | -19/+49 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Prevent externally used functions from being removed. | ||||
| * | | | | | | Handle externally supplied variables correctly in disambiguator. | chriseth | 2018-10-17 | 3 | -4/+13 |
| | | | | | | | |||||
| * | | | | | | Prevent externally used functions from being removed. | chriseth | 2018-10-17 | 7 | -15/+36 |
| | |/ / / / | |/| | | | | |||||
* | | | | | | Merge pull request #5248 from Karocyt/frenchdoc | chriseth | 2018-10-17 | 1 | -0/+1 |
|\ \ \ \ \ \ | |_|/ / / / |/| | | | | | French translation (in progress) added to the docs | ||||
| * | | | | | French translation (in progress) added to the docs | Kevin Azoulay | 2018-10-17 | 1 | -0/+1 |
|/ / / / / | |||||
* | | | | | Merge pull request #5233 from pRoy24/develop | chriseth | 2018-10-17 | 1 | -1/+1 |
|\ \ \ \ \ | |/ / / / |/| | | | | Update minor typo in Storage section of docs | ||||
| * | | | | Update minor typo in Storage section of docs | Pritam Roy | 2018-10-16 | 1 | -1/+1 |
| | |/ / | |/| | | |||||
* | | | | Merge pull request #5207 from ethereum/inlineViaBreak | chriseth | 2018-10-17 | 13 | -268/+285 |
|\ \ \ \ | | | | | | | | | | | [Yul] Function inliner via "Expression Breaker" | ||||
| * | | | | Inline each function separately. | chriseth | 2018-10-16 | 4 | -69/+29 |
| | | | | | |||||
| * | | | | Test for crash via inlining. | chriseth | 2018-10-16 | 1 | -0/+84 |
| | | | | | |||||
| * | | | | New full inliner. | chriseth | 2018-10-16 | 12 | -253/+226 |
| | | | | | |||||
* | | | | | Merge pull request #5243 from jeffanthony/patch-2 | chriseth | 2018-10-17 | 1 | -1/+1 |
|\ \ \ \ \ | |/ / / / |/| | | | | minor spelling correction | ||||
| * | | | | minor spelling correction | Jeffrey Anthony | 2018-10-17 | 1 | -1/+1 |
|/ / / / | | | | | | | | | whas => was | ||||
* | | | | Merge pull request #5147 from ethereum/simplifierViaBroken | chriseth | 2018-10-16 | 23 | -16/+383 |
|\ \ \ \ | | | | | | | | | | | [Yul] Simplifier via broken | ||||
| * | | | | Add a "full simplify" test that applies multiple elementary transforms. | chriseth | 2018-10-16 | 17 | -0/+198 |
| | | | | | |||||
| * | | | | New simplifier via broken expressions. | chriseth | 2018-10-16 | 5 | -16/+74 |
| | | | | | |||||
| * | | | | SSA value tracker. | chriseth | 2018-10-16 | 2 | -0/+111 |
|/ / / / | |||||
* | | | | Merge pull request #5236 from ethereum/clang7 | chriseth | 2018-10-16 | 1 | -0/+24 |
|\ \ \ \ | | | | | | | | | | | Add clang7 build step to circle | ||||
| * | | | | Add clang7 build step | chriseth | 2018-10-16 | 1 | -0/+24 |
| |/ / / | |||||
* | | | | Merge pull request #5225 from mestorlx/issue5007 | chriseth | 2018-10-16 | 3 | -6/+13 |
|\ \ \ \ | |/ / / |/| | | | Prevent crash in case there are no contracts | ||||
| * | | | fix issue##5007 | mestorlx | 2018-10-16 | 3 | -6/+13 |
| | | | | |||||
* | | | | Merge pull request #5226 from ethereum/chriseth-patch-3 | chriseth | 2018-10-16 | 1 | -1/+2 |
|\ \ \ \ | | | | | | | | | | | Correct include path | ||||
| * | | | | Correct include path | chriseth | 2018-10-16 | 1 | -1/+2 |
| | | | | | |||||
* | | | | | Merge pull request #5222 from ethereum/yul-block-flattener | chriseth | 2018-10-16 | 8 | -2/+171 |
|\ \ \ \ \ | |/ / / / |/| | | | | [WIP] Yul: Introduces a block flattening pass | ||||
| * | | | | Yul: Introduces a block flattening pass + tests | Christian Parpart | 2018-10-16 | 8 | -2/+171 |
| |/ / / | |||||
* | | | | Merge pull request #5223 from bshastry/testoptions-bugfix | chriseth | 2018-10-16 | 1 | -1/+1 |
|\ \ \ \ | |/ / / |/| | | | Bug fix: Add missing include in test/Options.h | ||||
| * | | | Bug fix: Add missing include in test/Options.h; otherwise compiler does not ↵ | Bhargava Shastry | 2018-10-15 | 1 | -1/+1 |
|/ / / | | | | | | | | | | recognise the boost object that Options subclasses | ||||
* | | | Merge pull request #5209 from ethereum/smt_ssa_refactor | chriseth | 2018-10-15 | 9 | -37/+48 |
|\ \ \ | | | | | | | | | [SMTChecker] Refactor SSAVariable such that it only uses Type and not Declaration | ||||
| * | | | Refactor SSAVariable such that it only uses Type and not Declaration | Leonardo Alt | 2018-10-15 | 9 | -37/+48 |
| | | | | |||||
* | | | | Merge pull request #5189 from ethereum/smt_function_call | chriseth | 2018-10-15 | 25 | -75/+534 |
|\ \ \ \ | | | | | | | | | | | [SMTChecker] Inline calls to internal functions | ||||
| * | | | | [SMTChecker] Inline calls to internal functions | Leonardo Alt | 2018-10-15 | 25 | -75/+534 |
|/ / / / | |||||
* | | | | Merge pull request #4843 from ethereum/docs-2177-abi-type | chriseth | 2018-10-15 | 1 | -1/+1 |
|\ \ \ \ | | | | | | | | | | | Link and clarify ABI type | ||||
| * | | | | Link and clarify ABI type | Chris Ward | 2018-10-15 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Remove rogue ’s’ Clarify wording Revert other changes and just add link | ||||
* | | | | | Merge pull request #5221 from ethereum/splitRenamingLeftovers | chriseth | 2018-10-15 | 3 | -4/+4 |
|\ \ \ \ \ | |_|/ / / |/| | | | | Some renaming leftovers. | ||||
| * | | | | Some renaming leftovers. | chriseth | 2018-10-15 | 3 | -4/+4 |
| | | | | | |||||
* | | | | | Merge pull request #5208 from mestorlx/bug4156 | chriseth | 2018-10-15 | 5 | -4/+48 |
|\ \ \ \ \ | |/ / / / |/| | | | | [WIP] Bad identifier suggestion in certain cases | ||||
| * | | | | Updated MAXIMUM_STRING_DISTANCE to non static maximumStringDistance taking ↵ | mestorlx | 2018-10-13 | 5 | -4/+48 |
| | | | | | | | | | | | | | | | | | | | | into account length of the identifier | ||||
* | | | | | Merge pull request #5220 from ethereum/libjulia-to-libyul | Christian Parpart | 2018-10-15 | 185 | -243/+243 |
|\ \ \ \ \ | | | | | | | | | | | | | Renames `libjulia` directory to `libyul` & namespace `dev::julia` to `dev::yul` | ||||
| * | | | | | Renaming namespace dev::julia to dev::yul. | Christian Parpart | 2018-10-15 | 71 | -100/+100 |
| | | | | | | |||||
| * | | | | | Renaming libjulia to libyul | Christian Parpart | 2018-10-15 | 179 | -143/+143 |
|/ / / / / | |||||
* | | | | | Merge pull request #5181 from Mordax/doc-note-windows | chriseth | 2018-10-15 | 1 | -0/+5 |
|\ \ \ \ \ | | | | | | | | | | | | | Add extra documentation for running compiler tests on Windows | ||||
| * | | | | | Add extra documentation for running compiler tests on Windows | mordax | 2018-10-15 | 1 | -0/+5 |
|/ / / / / | |||||
* | | | | | Merge pull request #5215 from Mordax/issue-5142 | chriseth | 2018-10-15 | 3 | -8/+0 |
|\ \ \ \ \ | | | | | | | | | | | | | Removes mention of submodules from docs and build scripts | ||||
| * | | | | | Remove another mention | mordax | 2018-10-14 | 1 | -1/+0 |
| | | | | | | |||||
| * | | | | | Removing mention of submodules from docs/build | mordax | 2018-10-14 | 2 | -7/+0 |
| |/ / / / | |||||
* | | | | | Merge pull request #5149 from ethereum/fix_assertion_on_inval_tuple_call | chriseth | 2018-10-15 | 3 | -2/+22 |
|\ \ \ \ \ | | | | | | | | | | | | | Fixes invalid function calls to literals inside tuple assignment's LHS. | ||||
| * | | | | | Fixes invalid function calls to literals inside tuple assignment's LHS. | Christian Parpart | 2018-10-15 | 3 | -2/+22 |
| |/ / / / | |||||
* | | | | | Merge pull request #5205 from ethereum/cseAlsoSubstituteVariables | chriseth | 2018-10-15 | 3 | -4/+67 |
|\ \ \ \ \ | |/ / / / |/| | | | | [Yul] Also substitute variables in Common Subexpression Eliminator | ||||
| * | | | | Also substitute variables in CSE. | chriseth | 2018-10-12 | 3 | -4/+67 |
|/ / / / | |||||
* | | | | Merge pull request #5127 from ethereum/exprUnbreaker | chriseth | 2018-10-12 | 20 | -0/+545 |
|\ \ \ \ | | | | | | | | | | | [Yul] Expression joiner. | ||||
| * | | | | Expression joiner. | chriseth | 2018-10-12 | 20 | -0/+545 |
| | | | | | |||||
* | | | | | Merge pull request #5206 from ethereum/splitConstantsToo | chriseth | 2018-10-12 | 5 | -34/+57 |
|\ \ \ \ \ | | | | | | | | | | | | | [Yul] Split constants too | ||||
| * | | | | | Also split constants. | chriseth | 2018-10-12 | 5 | -34/+57 |
| |/ / / / | |||||
* | | | | | Merge pull request #5145 from ethereum/hashLinker | chriseth | 2018-10-12 | 11 | -20/+114 |
|\ \ \ \ \ | |/ / / / |/| | | | | Hash linker | ||||
| * | | | | Fix checksum check. | chriseth | 2018-10-12 | 1 | -5/+5 |
| | | | | | |||||
| * | | | | More helpful error messages for linker. | chriseth | 2018-10-12 | 1 | -2/+16 |
| | | | | | |||||
| * | | | | Change library placeholder to `__$<hash>$__`. | chriseth | 2018-10-12 | 4 | -9/+12 |
| | | | | | |||||
| * | | | | Prefix "0x" to library placeholder. | chriseth | 2018-10-12 | 1 | -1/+1 |
| | | | | | |||||
| * | | | | Document library placeholder change. | chriseth | 2018-10-12 | 2 | -3/+20 |
| | | | | | |||||
| * | | | | Fix directory creation. | chriseth | 2018-10-12 | 1 | -1/+1 |
| | | | | | |||||
| * | | | | Use hash for library placeholders. | chriseth | 2018-10-12 | 7 | -9/+69 |
| | | | | | |||||
* | | | | | Merge pull request #5203 from ethereum/moveMoreYulTests | chriseth | 2018-10-12 | 93 | -1271/+1395 |
|\ \ \ \ \ | |/ / / / |/| | | | | Move more yul optimizer tests | ||||
| * | | | | Move unused pruner tests. | chriseth | 2018-10-12 | 12 | -129/+113 |
| | | | | | |||||
| * | | | | Move expression simplifier tests. | chriseth | 2018-10-12 | 18 | -178/+158 |
| | | | | | |||||
| * | | | | Move rematerialiser tests. | chriseth | 2018-10-12 | 19 | -179/+292 |
| | | | | | |||||
| * | | | | Move main function tests. | chriseth | 2018-10-12 | 7 | -87/+117 |
| | | | | | |||||
| * | | | | Move tests for full inliner. | chriseth | 2018-10-12 | 9 | -175/+205 |
| | | | | | |||||
| * | | | | Move expression inliner tests. | chriseth | 2018-10-12 | 9 | -95/+124 |
| | | | | | |||||
| * | | | | Move function hoister tests. | chriseth | 2018-10-12 | 7 | -85/+97 |
| | | | | | |||||
| * | | | | Move function grouper tests. | chriseth | 2018-10-12 | 7 | -85/+102 |
| | | | | | |||||
| * | | | | Move expression splitter tests. | chriseth | 2018-10-12 | 7 | -156/+106 |
| | | | | | |||||
| * | | | | Move common subexpression eliminator tests. | chriseth | 2018-10-12 | 8 | -102/+81 |
|/ / / / | |||||
* | | | | Merge pull request #5185 from ethereum/yulOptimizerTests | chriseth | 2018-10-11 | 17 | -107/+431 |
|\ \ \ \ | |_|_|/ |/| | | | Yul optimizer tests | ||||
| * | | | Store test results as artifacts. | chriseth | 2018-10-11 | 1 | -0/+6 |
| | | | | |||||
| * | | | Remove old disambiguator test. | chriseth | 2018-10-11 | 1 | -105/+0 |
| | | | | |||||
| * | | | Disambiguator tests. | chriseth | 2018-10-11 | 9 | -0/+159 |
| | | | | |||||
| * | | | Add Yul optimizer test framework. | chriseth | 2018-10-11 | 6 | -2/+266 |
|/ / / | |||||
* | | | Merge pull request #5179 from ethereum/refactorIsoltest | chriseth | 2018-10-11 | 5 | -75/+136 |
|\ \ \ | | | | | | | | | Slight refactor of isoltest to add new automated yul optimizer tests | ||||
| * | | | Combine test path discovery. | chriseth | 2018-10-11 | 5 | -41/+93 |
| | | | | |||||
| * | | | Extract test suite runs. | chriseth | 2018-10-11 | 1 | -36/+39 |
| | | | | |||||
| * | | | Extract function. | chriseth | 2018-10-11 | 1 | -19/+25 |
|/ / / | |||||
* | | | Merge pull request #5196 from ethereum/chriseth-patch-2 | chriseth | 2018-10-11 | 1 | -1/+1 |
|\ \ \ | | | | | | | | | Fix typo in yul example | ||||
| * | | | Fix typo in yul example | chriseth | 2018-10-11 | 1 | -1/+1 |
| | | | | |||||
* | | | | Merge pull request #5197 from ethereum/array-index-tests | chriseth | 2018-10-11 | 5 | -0/+31 |
|\ \ \ \ | | | | | | | | | | | More array index tests | ||||
| * | | | | Adds syntax tests for array index access. | Erik Kundt | 2018-10-11 | 5 | -0/+31 |
| | | | | | |||||
* | | | | | Merge pull request #5199 from lazaridiscom/develop | chriseth | 2018-10-11 | 1 | -0/+1 |
|\ \ \ \ \ | |/ / / / |/| | | | | ignore Visual Studio Code stuff | ||||
| * | | | | ignore Visual Studio Code stuff | Lazaridis | 2018-10-11 | 1 | -0/+1 |
|/ / / / | |||||
* | | | | Merge pull request #5195 from ethereum/unsigned-array-index | chriseth | 2018-10-11 | 7 | -3/+47 |
|\ \ \ \ | |/ / / |/| | | | Do not crash on non-unsigned array index | ||||
| * | | | Fixes crash on non-unsigned array index. | Erik Kundt | 2018-10-11 | 7 | -3/+47 |
| | | | | |||||
* | | | | Merge pull request #5014 from mestorlx/develop | chriseth | 2018-10-11 | 7 | -2/+105 |
|\ \ \ \ | | | | | | | | | | | Improve error message for lookup in function types | ||||
| * | | | | Improved error message for lookup in function types. | Martin Diz | 2018-10-10 | 7 | -2/+105 |
|/ / / / | |||||
* | | | | Merge pull request #5186 from ethereum/renameBreaker | chriseth | 2018-10-10 | 3 | -13/+13 |
|\ \ \ \ | | | | | | | | | | | Rename ExpressionBreaker to ExpressionSplitter. | ||||
| * | | | | Rename ExpressionBreaker to ExpressionSplitter. | chriseth | 2018-10-10 | 3 | -13/+13 |
| | | | | | |||||
* | | | | | Merge pull request #5132 from ethereum/genericVisitor | chriseth | 2018-10-10 | 2 | -25/+130 |
|\ \ \ \ \ | | | | | | | | | | | | | Generic visitor. | ||||
| * | | | | | Generic visitor. | chriseth | 2018-10-09 | 2 | -25/+130 |
| | | | | | | |||||
* | | | | | | Merge pull request #5134 from ethereum/fuzzer-input-file | chriseth | 2018-10-10 | 1 | -11/+27 |
|\ \ \ \ \ \ | |_|/ / / / |/| | | | | | solfuzzer: adds --input-file=FILENAME command line argument (defaulting to stdin) | ||||
| * | | | | | adds --input-file=FILENAME to solfuzzer | Christian Parpart | 2018-10-10 | 1 | -11/+27 |
| | | | | | | |||||
* | | | | | | Merge pull request #5163 from ethereum/docDeployment | chriseth | 2018-10-10 | 1 | -1/+11 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Explain deployment. | ||||
| * | | | | | | Explain deployment. | chriseth | 2018-10-09 | 1 | -1/+11 |
| | | | | | | | |||||
* | | | | | | | Merge pull request #5183 from ethereum/fixCreate2 | chriseth | 2018-10-10 | 2 | -10/+10 |
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | Fix create2 | ||||
| * | | | | | | | Fix create2 | chriseth | 2018-10-10 | 2 | -10/+10 |
| | |_|_|/ / / | |/| | | | | | |||||
* | | | | | | | Merge pull request #3834 from ethereum/docsArrayStorageLayout | chriseth | 2018-10-10 | 1 | -6/+23 |
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | [DOCS] Update storage layout | ||||
| * | | | | | | | Documents storage layout of mappings and dynamic arrays. | Erik Kundt | 2018-10-10 | 1 | -6/+23 |
| |/ / / / / / | |||||
* | | | | | | | Merge pull request #5184 from ethereum/viewFunctionDocs | chriseth | 2018-10-10 | 2 | -1/+30 |
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | | | Library view functions | ||||
| * | | | | | | Adds more specific explanation of library view functions calls. | Erik Kundt | 2018-10-10 | 1 | -2/+4 |
| | | | | | | | |||||
| * | | | | | | Documents library view functions and adds unit test. | Erik Kundt | 2018-10-10 | 2 | -1/+28 |
| |/ / / / / | |||||
* | | | | | | Merge pull request #5180 from ethereum/cpp-cleanup | chriseth | 2018-10-10 | 13 | -16/+13 |
|\ \ \ \ \ \ | |_|/ / / / |/| | | | | | Some C++ cleanup | ||||
| * | | | | | Do not require ctype/stdio if not needed | Alex Beregszaszi | 2018-10-10 | 5 | -5/+2 |
| | | | | | | |||||
| * | | | | | Use nullptr instead of NULL where appropriate | Alex Beregszaszi | 2018-10-10 | 2 | -3/+3 |
| | | | | | | |||||
| * | | | | | Change find to use a single character | Alex Beregszaszi | 2018-10-10 | 1 | -1/+1 |
| | | | | | | |||||
| * | | | | | Use empty() instead of size() == 0 | Alex Beregszaszi | 2018-10-09 | 7 | -7/+7 |
| | | | | | | |||||
* | | | | | | Merge pull request #5076 from ethereum/exprBreaker | chriseth | 2018-10-09 | 5 | -0/+477 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | [Yul] Expression breaker. | ||||
| * | | | | | | Expression breaker. | chriseth | 2018-10-09 | 5 | -0/+477 |
| | |_|/ / / | |/| | | | | |||||
* | | | | | | Merge pull request #5137 from ethereum/fix_5052 | chriseth | 2018-10-09 | 3 | -9/+21 |
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | Fixes #5052 (very large hex literals wrongly interpreted) | ||||
| * | | | | | Fixes large rational number literals being wrongly interpreted. | Christian Parpart | 2018-10-09 | 3 | -9/+21 |
|/ / / / / | | | | | | | | | | | | | | | | Fixes #5052. | ||||
* | | | | | Merge pull request #5124 from lazaridiscom/1802-hex-error-reporting | chriseth | 2018-10-09 | 4 | -7/+16 |
|\ \ \ \ \ | | | | | | | | | | | | | use Token type for hex error, draft re #1802 | ||||
| * | | | | | provide general hex-literal error message, fixes #1802 | Lazaridis | 2018-10-09 | 4 | -7/+16 |
| |/ / / / | | | | | | | | | | | | | | | | dummy | ||||
* | | | | | Merge pull request #5174 from tomusdrw/patch-1 | chriseth | 2018-10-09 | 1 | -3/+4 |
|\ \ \ \ \ | | | | | | | | | | | | | Clarify contract creation transaction | ||||
| * | | | | | Clarify contract creation transaction | Tomasz Drwięga | 2018-10-09 | 1 | -3/+4 |
| | | | | | | | | | | | | | | | | | | The change clarifies how contracts are deployed. The docs state that it's a transaction sent to `0` address (which is incorrect), the PR changes that to emphasize that the recipient is not set. | ||||
* | | | | | | Merge pull request #5171 from ethereum/fixCommandlineTests | chriseth | 2018-10-09 | 7 | -9/+4 |
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | Fix commandline tests for release version. | ||||
| * | | | | | Fix commandline tests for release version. | chriseth | 2018-10-09 | 7 | -9/+4 |
|/ / / / / | |||||
* | | | | | Merge pull request #5170 from ethereum/minorFixes | Alex Beregszaszi | 2018-10-09 | 4 | -4/+4 |
|\ \ \ \ \ | |/ / / / |/| | | | | Minor fixes | ||||
| * | | | | Fix version pragma in documentation. | chriseth | 2018-10-09 | 3 | -3/+3 |
| | | | | | |||||
| * | | | | Fix pragma error suggestion. | chriseth | 2018-10-09 | 1 | -1/+1 |
|/ / / / | |||||
* | | | | Merge pull request #5172 from ethereum/fixKind | Alex Beregszaszi | 2018-10-09 | 3 | -1/+6 |
|\ \ \ \ | | | | | | | | | | | Fix kind | ||||
| * | | | | Fix ast json test for function kind. | chriseth | 2018-10-09 | 2 | -1/+2 |
| | | | | | |||||
| * | | | | Add entry into the breaking changes list. | chriseth | 2018-10-09 | 1 | -0/+4 |
|/ / / / | |||||
* | | | | Merge pull request #4734 from ethereum/astUpdate | chriseth | 2018-10-09 | 31 | -11/+575 |
|\ \ \ \ | |/ / / |/| | | | JSON AST: replace ``isConstructor`` by ``kind`` which also supports fallbacks | ||||
| * | | | Restore ``isConstructor`` in the legacy AST. | Daniel Kirchner | 2018-09-11 | 14 | -0/+15 |
| | | | | |||||
| * | | | Add new test cases. | Daniel Kirchner | 2018-09-11 | 9 | -0/+548 |
| | | | | |||||
| * | | | Replace ``isConstructor`` field in the JSON AST by a ``kind`` field. | Daniel Kirchner | 2018-09-11 | 22 | -21/+22 |
| | | | | |||||
* | | | | Merge pull request #5157 from ethereum/soltest-testpath | chriseth | 2018-10-08 | 1 | -0/+23 |
|\ \ \ \ | | | | | | | | | | | soltest: provides sane defaults for --testpath command line option | ||||
| * | | | | soltest: provides sane defaults for --testpath command line option | Christian Parpart | 2018-10-08 | 1 | -0/+23 |
|/ / / / | |||||
* | | | | Merge pull request #5148 from ethereum/chriseth-patch-2 | Alex Beregszaszi | 2018-10-06 | 1 | -1/+1 |
|\ \ \ \ | | | | | | | | | | | Remove non-ascii quotes. | ||||
| * | | | | Remove non-ascii quotes. | chriseth | 2018-10-05 | 1 | -1/+1 |
| | | | | | |||||
* | | | | | Merge pull request #5150 from ethereum/docs-links | Alex Beregszaszi | 2018-10-06 | 1 | -1/+2 |
|\ \ \ \ \ | |/ / / / |/| | | | | Docs: Add link to string literals | ||||
| * | | | | Add link to string literals | Chris Ward | 2018-10-05 | 1 | -1/+2 |
|/ / / / | |||||
* | | | | Merge pull request #4952 from ethereum/docs-544-event-data | chriseth | 2018-10-05 | 2 | -33/+72 |
|\ \ \ \ | |_|/ / |/| | | | Clarifying docs on event storage | ||||
| * | | | Update docs on event data and logs | Chris Ward | 2018-10-05 | 2 | -33/+72 |
|/ / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Updates from comments Clarify code comments and add an event output example Clarification from review Updated with information from @gumb0 Add clarifier Updates from review Remove link Update example code | ||||
* | | | Merge pull request #5044 from ethereum/updateAssembly | chriseth | 2018-10-04 | 1 | -41/+43 |
|\ \ \ | | | | | | | | | [DOCS] Update assembly. | ||||
| * | | | Adds note about Standalone assembly. | Erik Kundt | 2018-10-04 | 1 | -4/+6 |
| | | | | |||||
| * | | | [DOCS] Update assembly. | chriseth | 2018-10-04 | 1 | -41/+41 |
|/ / / | |||||
* | | | Merge pull request #5126 from ethereum/chriseth-patch-1 | chriseth | 2018-10-04 | 1 | -3/+0 |
|\ \ \ | | | | | | | | | [DOCS] Remove duplicate statement about pure enforcement. | ||||
| * | | | Remove duplicate statement about pure enforcement. | chriseth | 2018-10-01 | 1 | -3/+0 |
| | | | | |||||
* | | | | Merge pull request #5144 from ethereum/fixHexTypo | chriseth | 2018-10-04 | 8 | -11/+12 |
|\ \ \ \ | | | | | | | | | | | Fix typos. | ||||
| * | | | | Fix typos. | chriseth | 2018-10-04 | 8 | -11/+12 |
|/ / / / | |||||
* | | | | Merge pull request #5073 from IIIIllllIIIIllllIIIIllllIIIIllllIIIIll/patch-4 | chriseth | 2018-10-04 | 1 | -6/+7 |
|\ \ \ \ | | | | | | | | | | | separate out a new "Design Criteria" section from "Formal Specification" | ||||
| * | | | | separate out a new "Design Criteria" section from "Formal Specification" | Li Xuanji | 2018-10-04 | 1 | -6/+7 |
| | | | | | |||||
* | | | | | Merge pull request #5119 from ethereum/docs-contributing-dependencies | chriseth | 2018-10-04 | 1 | -20/+32 |
|\ \ \ \ \ | | | | | | | | | | | | | Add Linux dependencies and move | ||||
| * | | | | | Add Linux dependencies and move | Chris Ward | 2018-09-30 | 1 | -20/+32 |
| | | | | | |