Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove trailing whitespace. | chriseth | 2018-11-12 | 4 | -5/+5 |
* | Merge pull request #5275 from svenski123/20181018-4894-refactoring-split-bool... | chriseth | 2018-11-12 | 5 | -278/+532 |
|\ | |||||
| * | Refactor of bool TypeChecker::visit(FunctionCall const& _functionCall). | Kristofer Peterson | 2018-11-10 | 5 | -278/+532 |
|/ | |||||
* | Merge pull request #5128 from ethereum/breakUnbreak | chriseth | 2018-11-09 | 4 | -5/+74 |
|\ | |||||
| * | Test case that shows that break/unbreak are more or less inverse. | chriseth | 2018-11-09 | 4 | -5/+74 |
* | | Merge pull request #5377 from ethereum/resetYulString | chriseth | 2018-11-09 | 3 | -2/+15 |
|\ \ | |||||
| * | | Reset yul string repository. | chriseth | 2018-11-09 | 3 | -2/+15 |
|/ / | |||||
* | | Merge pull request #5265 from ethereum/cleanupsha3 | chriseth | 2018-11-09 | 17 | -98/+36 |
|\ \ | |/ |/| | |||||
| * | Renamed SHA3.{h,cpp} files. | chriseth | 2018-10-18 | 17 | -16/+17 |
| * | Simplify sha3. | chriseth | 2018-10-18 | 2 | -82/+19 |
* | | Merge pull request #5326 from ethereum/removeSideEffectFreeStatements | chriseth | 2018-11-09 | 5 | -7/+23 |
|\ \ | |||||
| * | | Remove side-effect-free statements. | chriseth | 2018-11-09 | 5 | -7/+23 |
|/ / | |||||
* | | Merge pull request #5371 from nud3l/develop | chriseth | 2018-11-08 | 1 | -1/+1 |
|\ \ | |||||
| * | | Fix cmake Z3 import issue for Fedora | Dominik Harz | 2018-11-08 | 1 | -1/+1 |
* | | | Merge pull request #5325 from ethereum/fixDataFlow | chriseth | 2018-11-08 | 3 | -0/+117 |
|\ \ \ | |||||
| * | | | Fix data flow analyzer for function definitions. | chriseth | 2018-11-08 | 3 | -0/+117 |
* | | | | Merge pull request #5365 from ethereum/improveNameDispenser | chriseth | 2018-11-08 | 16 | -67/+66 |
|\ \ \ \ | |||||
| * | | | | Use single counter for name dispenser for performance reasons. | chriseth | 2018-11-08 | 16 | -67/+67 |
* | | | | | Merge pull request #5366 from ethereum/addVarDecl | chriseth | 2018-11-08 | 2 | -1/+12 |
|\ \ \ \ \ | |_|_|/ / |/| | | | | |||||
| * | | | | Add VarDeclPropagator to full suite and interactive optimizer. | chriseth | 2018-11-08 | 2 | -1/+12 |
| | |/ / | |/| | | |||||
* | | | | Merge pull request #5370 from ethereum/fixWindows | Daniel Kirchner | 2018-11-08 | 1 | -0/+1 |
|\ \ \ \ | |||||
| * | | | | Fix windows build. | chriseth | 2018-11-08 | 1 | -0/+1 |
| |/ / / | |||||
* | | | | Merge pull request #5352 from ethereum/docContractConversions | chriseth | 2018-11-08 | 1 | -0/+8 |
|\ \ \ \ | |||||
| * | | | | Document disallowed explicit conversions between unrelated contract types. | Daniel Kirchner | 2018-11-07 | 1 | -0/+8 |
* | | | | | Merge pull request #5353 from ethereum/docInteroperability | chriseth | 2018-11-08 | 1 | -1/+79 |
|\ \ \ \ \ | |||||
| * | | | | | Document interoperability between 0.5.0 and pre-0.5.0 contracts. | Daniel Kirchner | 2018-11-07 | 1 | -1/+79 |
| |/ / / / | |||||
* | | | | | Merge pull request #5351 from ethereum/functionTypeConversion | chriseth | 2018-11-08 | 14 | -2/+144 |
|\ \ \ \ \ | |||||
| * | | | | | Function type conversion test cases. | Daniel Kirchner | 2018-11-08 | 14 | -4/+144 |
| * | | | | | Relax identity requirement of function type conversions during code generation. | Daniel Kirchner | 2018-11-06 | 1 | -0/+2 |
| |/ / / / | |||||
* | | | | | Merge pull request #5348 from ethereum/boostRationalNegativeDenominatorFix | chriseth | 2018-11-08 | 3 | -2/+16 |
|\ \ \ \ \ | |_|/ / / |/| | | | | |||||
| * | | | | Fix negative denominator in ``boost::rational`` during exponentiation. | Daniel Kirchner | 2018-11-06 | 3 | -2/+16 |
| |/ / / | |||||
* | | | | Merge pull request #5327 from ethereum/rematerializerSmall | chriseth | 2018-11-08 | 1 | -1/+5 |
|\ \ \ \ | |_|/ / |/| | | | |||||
| * | | | 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 |
|\ \ \ \ | |||||
| * | | | | 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 |
|\ \ \ \ | |||||
| * | | | | 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. | Christian Parpart | 2018-11-07 | 15 | -206/+204 |
|/ / / / | |||||
* | | | | Merge pull request #5347 from ethereum/boostRationalNegativeDenominator | Daniel Kirchner | 2018-11-06 | 1 | -2/+0 |
|\ \ \ \ | |/ / / |/| | | | |||||
| * | | | Remove uses of boost::rational with negative denominator, which breaks with b... | Daniel Kirchner | 2018-11-06 | 1 | -2/+0 |
|/ / / | |||||
* | | | Merge pull request #5343 from lshapton/patch-1 | chriseth | 2018-11-05 | 1 | -1/+1 |
|\ \ \ | |||||
| * | | | 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. | 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 | Eitan Levin | 2018-10-30 | 1 | -1/+1 |
| |/ / / | |||||
* | | | | Merge pull request #5188 from ethereum/large-array-encoding | chriseth | 2018-10-30 | 5 | -0/+30 |
|\ \ \ \ | |/ / / |/| | | | |||||
| * | | | 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 | Lazaridis | 2018-10-29 | 1 | -8/+8 |
|/ / / | |||||
* | | | Merge pull request #5316 from lazaridiscom/4891-memory-store-asserts | chriseth | 2018-10-29 | 1 | -21/+37 |
|\ \ \ | |||||
| * | | | 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 | Christian Parpart | 2018-10-26 | 12 | -0/+302 |
* | | | | | Merge pull request #5315 from ethereum/yul-expr-joiner | chriseth | 2018-10-28 | 2 | -36/+20 |
|\ \ \ \ \ | |_|_|/ / |/| | | | | |||||
| * | | | | [Yul] ExpressionJoiner: code cleanup | Christian Parpart | 2018-10-26 | 2 | -36/+20 |
| |/ / / | |||||
* | | | | Merge pull request #5320 from lazaridiscom/patch-1 | chriseth | 2018-10-28 | 1 | -1/+1 |
|\ \ \ \ | |||||
| * | | | | 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 |
|\ \ \ \ | |/ / / |/| | | | |||||
| * | | | 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 | 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. | 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. | chriseth | 2018-10-25 | 2 | -102/+0 |
| |/ / / | |||||
* | | | | Merge pull request #5273 from ethereum/interactiveOpt | chriseth | 2018-10-25 | 2 | -0/+228 |
|\ \ \ \ | |/ / / |/| | | | |||||
| * | | | 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 |
|\ \ \ \ | |||||
| * | | | | 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 |
|\ \ \ \ | |||||
| * | | | | 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 |
|\ \ \ \ \ | |||||
| * | | | | | Full suite tests. | chriseth | 2018-10-25 | 4 | -0/+197 |
| | |/ / / | |/| | | | |||||
* | | | | | Merge pull request #5296 from ethereum/setPragmaToArbitrary | chriseth | 2018-10-25 | 92 | -2012/+52 |
|\ \ \ \ \ | |/ / / / |/| | | | | |||||
| * | | | | 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 |
|\ \ \ \ \ | |||||
| * | | | | | 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 |
|\ \ \ \ \ | |_|/ / / |/| | | | | |||||
| * | | | | 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 |
|\ \ \ \ | |||||
| * | | | | 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 `solidity::Token` into an `enum class` with `TokenTraits` helper nam... | Christian Parpart | 2018-10-22 | 22 | -362/+355 |
|/ / / | |||||
* | | | Merge pull request #5256 from ethereum/lvalueCleanup | chriseth | 2018-10-19 | 2 | -42/+25 |
|\ \ \ | |||||
| * | | | 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. | chriseth | 2018-10-19 | 14 | -0/+542 |
| | |_|/ | |/| | | |||||
* | | | | Merge pull request #5260 from ethereum/flattenMore | chriseth | 2018-10-19 | 1 | -0/+22 |
|\ \ \ \ | |||||
| * | | | | 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. | 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. | chriseth | 2018-10-18 | 1 | -10/+9 |
| |/ / / | |||||
* | | | | Merge pull request #5259 from ethereum/cleanup8 | chriseth | 2018-10-19 | 3 | -48/+9 |
|\ \ \ \ | |||||
| * | | | | 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 |
|\ \ \ \ | |||||
| * | | | | 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. | chriseth | 2018-10-18 | 3 | -13/+12 |
| | |/ / / | |/| | | | |||||
* | | | | | Merge pull request #5269 from ethereum/cseBugfix | chriseth | 2018-10-19 | 5 | -23/+59 |
|\ \ \ \ \ | |/ / / / |/| | | | | |||||
| * | | | | 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 |
|\ \ \ \ | |||||
| * | | | | 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 |
|\ \ \ \ \ | |||||
| * | | | | | 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 |
|\ \ \ \ \ \ | |_|_|_|/ / |/| | | | | | |||||
| * | | | | | 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 | Alex Beregszaszi | 2018-07-06 | 1 | -0/+11 |
* | | | | | Merge pull request #5235 from ethereum/smt_refactor_types | Leonardo | 2018-10-18 | 14 | -218/+378 |
|\ \ \ \ \ | |||||
| * | | | | | 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 |
|\ \ \ \ \ \ | |||||
| * | | | | | | Retained move/copy semantics; removed const qualifier from Expression's membe... | Bhargava Shastry | 2018-10-17 | 1 | -2/+4 |
| * | | | | | | Fix compiler warning: clang-8 warns of explicitly-defined op implicitly delet... | Bhargava Shastry | 2018-10-17 | 1 | -2/+0 |
| |/ / / / / | |||||
* | | | | | | Merge pull request #5232 from ethereum/inlineHeuristic | chriseth | 2018-10-17 | 7 | -8/+170 |
|\ \ \ \ \ \ | |||||
| * | | | | | | 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 | chriseth | 2018-10-17 | 1 | -0/+3 |
| | |/ / / / | |/| | | | | |||||
* | | | | | | Merge pull request #5227 from ethereum/doNotRemoveExternallyUsedFunction | chriseth | 2018-10-17 | 10 | -19/+49 |
|\ \ \ \ \ \ | |||||
| * | | | | | | 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 | 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 | Pritam Roy | 2018-10-16 | 1 | -1/+1 |
| | |/ / | |/| | | |||||
* | | | | Merge pull request #5207 from ethereum/inlineViaBreak | chriseth | 2018-10-17 | 13 | -268/+285 |
|\ \ \ \ | |||||
| * | | | | 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 | Jeffrey Anthony | 2018-10-17 | 1 | -1/+1 |
|/ / / / | |||||
* | | | | Merge pull request #5147 from ethereum/simplifierViaBroken | chriseth | 2018-10-16 | 23 | -16/+383 |
|\ \ \ \ | |||||
| * | | | | 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 | chriseth | 2018-10-16 | 1 | -0/+24 |
| |/ / / | |||||
* | | | | Merge pull request #5225 from mestorlx/issue5007 | chriseth | 2018-10-16 | 3 | -6/+13 |
|\ \ \ \ | |/ / / |/| | | | |||||
| * | | | 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 | chriseth | 2018-10-16 | 1 | -1/+2 |
* | | | | | Merge pull request #5222 from ethereum/yul-block-flattener | chriseth | 2018-10-16 | 8 | -2/+171 |
|\ \ \ \ \ | |/ / / / |/| | | | | |||||
| * | | | | 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; otherwise compiler does not r... | Bhargava Shastry | 2018-10-15 | 1 | -1/+1 |
|/ / / | |||||
* | | | Merge pull request #5209 from ethereum/smt_ssa_refactor | chriseth | 2018-10-15 | 9 | -37/+48 |
|\ \ \ | |||||
| * | | | 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 | 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 | Chris Ward | 2018-10-15 | 1 | -1/+1 |
* | | | | | Merge pull request #5221 from ethereum/splitRenamingLeftovers | chriseth | 2018-10-15 | 3 | -4/+4 |
|\ \ \ \ \ | |_|/ / / |/| | | | | |||||
| * | | | | Some renaming leftovers. | chriseth | 2018-10-15 | 3 | -4/+4 |
* | | | | | Merge pull request #5208 from mestorlx/bug4156 | chriseth | 2018-10-15 | 5 | -4/+48 |
|\ \ \ \ \ | |/ / / / |/| | | | | |||||
| * | | | | Updated MAXIMUM_STRING_DISTANCE to non static maximumStringDistance taking in... | mestorlx | 2018-10-13 | 5 | -4/+48 |
* | | | | | Merge pull request #5220 from ethereum/libjulia-to-libyul | Christian Parpart | 2018-10-15 | 185 | -243/+243 |
|\ \ \ \ \ | |||||
| * | | | | | 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 | mordax | 2018-10-15 | 1 | -0/+5 |
|/ / / / / | |||||
* | | | | | Merge pull request #5215 from Mordax/issue-5142 | chriseth | 2018-10-15 | 3 | -8/+0 |
|\ \ \ \ \ | |||||
| * | | | | | 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. | Christian Parpart | 2018-10-15 | 3 | -2/+22 |
| |/ / / / | |||||
* | | | | | Merge pull request #5205 from ethereum/cseAlsoSubstituteVariables | chriseth | 2018-10-15 | 3 | -4/+67 |
|\ \ \ \ \ | |/ / / / |/| | | | | |||||
| * | | | | 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 |
|\ \ \ \ | |||||
| * | | | | Expression joiner. | chriseth | 2018-10-12 | 20 | -0/+545 |
* | | | | | Merge pull request #5206 from ethereum/splitConstantsToo | chriseth | 2018-10-12 | 5 | -34/+57 |
|\ \ \ \ \ | |||||
| * | | | | | Also split constants. | chriseth | 2018-10-12 | 5 | -34/+57 |
| |/ / / / | |||||
* | | | | | Merge pull request #5145 from ethereum/hashLinker | chriseth | 2018-10-12 | 11 | -20/+114 |
|\ \ \ \ \ | |/ / / / |/| | | | | |||||
| * | | | | 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 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 |
|\ \ \ \ | |_|_|/ |/| | | | |||||
| * | | | 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 |
|\ \ \ | |||||
| * | | | 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 | chriseth | 2018-10-11 | 1 | -1/+1 |
* | | | | Merge pull request #5197 from ethereum/array-index-tests | chriseth | 2018-10-11 | 5 | -0/+31 |
|\ \ \ \ | |||||
| * | | | | 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 | Lazaridis | 2018-10-11 | 1 | -0/+1 |
|/ / / / | |||||
* | | | | Merge pull request #5195 from ethereum/unsigned-array-index | chriseth | 2018-10-11 | 7 | -3/+47 |
|\ \ \ \ | |/ / / |/| | | | |||||
| * | | | 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 |
|\ \ \ \ | |||||
| * | | | | 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. | chriseth | 2018-10-10 | 3 | -13/+13 |
* | | | | | Merge pull request #5132 from ethereum/genericVisitor | chriseth | 2018-10-10 | 2 | -25/+130 |
|\ \ \ \ \ | |||||
| * | | | | | 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 |
|\ \ \ \ \ \ | |_|/ / / / |/| | | | | | |||||
| * | | | | | 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. | chriseth | 2018-10-09 | 1 | -1/+11 |
* | | | | | | | Merge pull request #5183 from ethereum/fixCreate2 | chriseth | 2018-10-10 | 2 | -10/+10 |
|\ \ \ \ \ \ \ | |||||
| * | | | | | | | Fix create2 | chriseth | 2018-10-10 | 2 | -10/+10 |
| | |_|_|/ / / | |/| | | | | | |||||
* | | | | | | | Merge pull request #3834 from ethereum/docsArrayStorageLayout | chriseth | 2018-10-10 | 1 | -6/+23 |
|\ \ \ \ \ \ \ | |||||
| * | | | | | | | 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 |
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | | | |||||
| * | | | | | | 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 |
|\ \ \ \ \ \ | |_|/ / / / |/| | | | | | |||||
| * | | | | | 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 |
|\ \ \ \ \ \ | |||||
| * | | | | | | 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 large rational number literals being wrongly interpreted. | Christian Parpart | 2018-10-09 | 3 | -9/+21 |
|/ / / / / | |||||
* | | | | | Merge pull request #5124 from lazaridiscom/1802-hex-error-reporting | chriseth | 2018-10-09 | 4 | -7/+16 |
|\ \ \ \ \ | |||||
| * | | | | | provide general hex-literal error message, fixes #1802 | Lazaridis | 2018-10-09 | 4 | -7/+16 |
| |/ / / / | |||||
* | | | | | Merge pull request #5174 from tomusdrw/patch-1 | chriseth | 2018-10-09 | 1 | -3/+4 |
|\ \ \ \ \ | |||||
| * | | | | | Clarify contract creation transaction | Tomasz Drwięga | 2018-10-09 | 1 | -3/+4 |
* | | | | | | Merge pull request #5171 from ethereum/fixCommandlineTests | chriseth | 2018-10-09 | 7 | -9/+4 |
|\ \ \ \ \ \ | |/ / / / / |/| | | | | |