aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Update CI settingsv0.5.0Wei-Ning Huang2018-12-017-21/+21
* Update READEME.md to reflect forkWei-Ning Huang2018-12-011-3/+4
* Add opcode RAND supportWei-Ning Huang2018-12-016-2/+13
* Modify for releaseJimmy Hu2018-12-012-5/+6
* Merge pull request #5416 from ethereum/developchriseth2018-11-142011-31482/+49431
|\
| * Merge pull request #5413 from ethereum/updateChangelogForReleasechriseth2018-11-142-1/+5
| |\
| | * Add release date to changelog.chriseth2018-11-132-1/+5
| * | Merge pull request #5412 from ritzdorf/patch-2chriseth2018-11-131-1/+1
| |\ \
| | * | keccak256 does not call an external contractritzdorf2018-11-131-1/+1
| * | | Merge pull request #5411 from ethereum/lll-docschriseth2018-11-132-0/+15
| |\ \ \ | | |_|/ | |/| |
| | * | Add LLL chapter in the documentationAlex Beregszaszi2018-11-132-0/+15
| | |/
| * | Merge pull request #5342 from Mordax/issue-5177chriseth2018-11-131-1/+1
| |\ \
| | * | Disable covereage cmake optionmordax2018-11-041-1/+1
| * | | Merge pull request #5105 from ethereum/libsolc-apichriseth2018-11-138-379/+41
| |\ \ \
| | * | | Fix bytecode tests for solc-jschriseth2018-11-131-5/+14
| | * | | Use latest solcjs and replace compileStandard by compile.chriseth2018-11-132-2/+14
| | * | | Remove old libsolc API (compileJSON, compileJSONMulti, compileJSONCallback)Alex Beregszaszi2018-11-136-373/+14
| | | |/ | | |/|
| * | | Merge pull request #5398 from ethereum/smt_model_scannerLeonardo2018-11-134-3/+15
| |\ \ \ | | |/ / | |/| |
| | * | Add Scanner function that prints source based on SourceLocationLeonardo Alt2018-11-134-3/+15
| * | | Merge pull request #5020 from ethereum/lll-seq-fixchriseth2018-11-133-479/+502
| |\ \ \ | | |/ / | |/| |
| | * | LLL: ensure assembly tests have the correct argumentsAlex Beregszaszi2018-11-131-168/+168
| | * | Add LLL error when assembly instruction causes stack underflowAlex Beregszaszi2018-11-131-1/+6
| | * | LLL: add test which has a sub assembly without a forced STOPAlex Beregszaszi2018-11-131-0/+14
| | * | LLL bytecode is padded by STOP in testsAlex Beregszaszi2018-11-131-239/+239
| | * | LLL: do not wrap opcode tests into sequenceAlex Beregszaszi2018-11-131-239/+239
| | * | LLL: terminate sequences with a STOPAlex Beregszaszi2018-11-131-0/+4
| |/ /
| * | Merge pull request #5408 from ethereum/updateTestschriseth2018-11-131-66/+66
| |\ \
| | * | Update tests.chriseth2018-11-131-66/+66
| |/ /
| * | Merge pull request #5406 from ethereum/uninitializedStorageUnimplementedchriseth2018-11-134-2/+14
| |\ \
| | * | Ignore unimplemented functions for storage returns.Daniel Kirchner2018-11-134-2/+14
| * | | Merge pull request #5333 from ethereum/joinPerformancechriseth2018-11-133-20/+718
| |\ \ \
| | * | | Remove variables that go out of scope from data structure.chriseth2018-11-133-149/+199
| | * | | Use map join algorithm for performance.chriseth2018-11-133-10/+658
| | |/ /
| * | | Merge pull request #5400 from ethereum/fixcheckstylechriseth2018-11-132-7/+4
| |\ \ \
| | * | | Fix check style script.chriseth2018-11-131-5/+2
| | * | | Fix style.chriseth2018-11-131-2/+2
| | |/ /
| * | | Merge pull request #5392 from ethereum/yulStringRepositoryHashchriseth2018-11-135-44/+71
| |\ \ \ | | |/ / | |/| |
| | * | Deterministic YulStringRepository using string hashes.Daniel Kirchner2018-11-135-44/+71
| * | | Merge pull request #5070 from ethereum/2661-clarify-contract-examplechriseth2018-11-121-13/+20
| |\ \ \
| | * | | Clarify creating a contract example as reported in #2661Chris Ward2018-11-121-13/+20
| |/ / /
| * | | Merge pull request #4497 from ethereum/faq-reorg-control-structureschriseth2018-11-122-32/+20
| |\ \ \
| | * | | Move control structure related FAQ pointsChris Ward2018-11-122-32/+20
| |/ / /
| * | | Merge pull request #4860 from ethereum/docs-2175-index-missingchriseth2018-11-121-8/+7
| |\ \ \
| | * | | Clarify term and tidy textChris Ward2018-11-121-8/+7
| | |/ /
| * | | Merge pull request #5364 from ethereum/chriseth-patch-5chriseth2018-11-121-0/+8
| |\ \ \ | | |/ / | |/| |
| | * | Add note about changing the storage layout.chriseth2018-11-121-0/+8
| |/ /
| * | Merge pull request #5395 from ethereum/fixStylechriseth2018-11-125-8/+8
| |\ \
| | * | Fix for style.chriseth2018-11-121-3/+3
| | * | Remove trailing whitespace.chriseth2018-11-124-5/+5
| |/ /
| * | Merge pull request #5275 from svenski123/20181018-4894-refactoring-split-bool...chriseth2018-11-125-278/+532
| |\ \
| | * | Refactor of bool TypeChecker::visit(FunctionCall const& _functionCall).Kristofer Peterson2018-11-105-278/+532
| |/ /
| * | Merge pull request #5128 from ethereum/breakUnbreakchriseth2018-11-094-5/+74
| |\ \
| | * | Test case that shows that break/unbreak are more or less inverse.chriseth2018-11-094-5/+74
| * | | Merge pull request #5377 from ethereum/resetYulStringchriseth2018-11-093-2/+15
| |\ \ \
| | * | | Reset yul string repository.chriseth2018-11-093-2/+15
| |/ / /
| * | | Merge pull request #5265 from ethereum/cleanupsha3chriseth2018-11-0917-98/+36
| |\ \ \ | | |/ / | |/| |
| | * | Renamed SHA3.{h,cpp} files.chriseth2018-10-1817-16/+17
| | * | Simplify sha3.chriseth2018-10-182-82/+19
| * | | Merge pull request #5326 from ethereum/removeSideEffectFreeStatementschriseth2018-11-095-7/+23
| |\ \ \
| | * | | Remove side-effect-free statements.chriseth2018-11-095-7/+23
| |/ / /
| * | | Merge pull request #5371 from nud3l/developchriseth2018-11-081-1/+1
| |\ \ \
| | * | | Fix cmake Z3 import issue for FedoraDominik Harz2018-11-081-1/+1
| * | | | Merge pull request #5325 from ethereum/fixDataFlowchriseth2018-11-083-0/+117
| |\ \ \ \
| | * | | | Fix data flow analyzer for function definitions.chriseth2018-11-083-0/+117
| * | | | | Merge pull request #5365 from ethereum/improveNameDispenserchriseth2018-11-0816-67/+66
| |\ \ \ \ \
| | * | | | | Use single counter for name dispenser for performance reasons.chriseth2018-11-0816-67/+67
| * | | | | | Merge pull request #5366 from ethereum/addVarDeclchriseth2018-11-082-1/+12
| |\ \ \ \ \ \ | | |_|_|/ / / | |/| | | | |
| | * | | | | Add VarDeclPropagator to full suite and interactive optimizer.chriseth2018-11-082-1/+12
| | | |/ / / | | |/| | |
| * | | | | Merge pull request #5370 from ethereum/fixWindowsDaniel Kirchner2018-11-081-0/+1
| |\ \ \ \ \
| | * | | | | Fix windows build.chriseth2018-11-081-0/+1
| | |/ / / /
| * | | | | Merge pull request #5352 from ethereum/docContractConversionschriseth2018-11-081-0/+8
| |\ \ \ \ \
| | * | | | | Document disallowed explicit conversions between unrelated contract types.Daniel Kirchner2018-11-071-0/+8
| * | | | | | Merge pull request #5353 from ethereum/docInteroperabilitychriseth2018-11-081-1/+79
| |\ \ \ \ \ \
| | * | | | | | Document interoperability between 0.5.0 and pre-0.5.0 contracts.Daniel Kirchner2018-11-071-1/+79
| | |/ / / / /
| * | | | | | Merge pull request #5351 from ethereum/functionTypeConversionchriseth2018-11-0814-2/+144
| |\ \ \ \ \ \
| | * | | | | | Function type conversion test cases.Daniel Kirchner2018-11-0814-4/+144
| | * | | | | | Relax identity requirement of function type conversions during code generation.Daniel Kirchner2018-11-061-0/+2
| | |/ / / / /
| * | | | | | Merge pull request #5348 from ethereum/boostRationalNegativeDenominatorFixchriseth2018-11-083-2/+16
| |\ \ \ \ \ \ | | |_|/ / / / | |/| | | | |
| | * | | | | Fix negative denominator in ``boost::rational`` during exponentiation.Daniel Kirchner2018-11-063-2/+16
| | |/ / / /
| * | | | | Merge pull request #5327 from ethereum/rematerializerSmallchriseth2018-11-081-1/+5
| |\ \ \ \ \ | | |_|/ / / | |/| | | |
| | * | | | Add rematerializer to interactive optimizer.chriseth2018-10-281-1/+5
| * | | | | Merge pull request #5334 from ethereum/stringPerformancechriseth2018-11-0859-243/+351
| |\ \ \ \ \
| | * | | | | Performance: Replace string by special single-copy YulString class.chriseth2018-11-0859-243/+351
| |/ / / / /
| * | | | | Merge pull request #5346 from ethereum/chriseth-patch-4chriseth2018-11-071-2/+1
| |\ \ \ \ \
| | * | | | | Integers cannot be implicitly converted to addresschriseth2018-11-061-2/+1
| * | | | | | Merge pull request #5359 from ethereum/cpp17-forward-compatchriseth2018-11-0715-206/+204
| |\ \ \ \ \ \ | | |_|_|/ / / | |/| | | | |
| | * | | | | Eliminate `byte`-typedef and use `uint8_t` in all their places instead.Christian Parpart2018-11-0715-206/+204
| |/ / / / /
| * | | | | Merge pull request #5347 from ethereum/boostRationalNegativeDenominatorDaniel Kirchner2018-11-061-2/+0
| |\ \ \ \ \ | | |/ / / / | |/| | | |
| | * | | | Remove uses of boost::rational with negative denominator, which breaks with b...Daniel Kirchner2018-11-061-2/+0
| |/ / / /
| * | | | Merge pull request #5343 from lshapton/patch-1chriseth2018-11-051-1/+1
| |\ \ \ \ | | |_|_|/ | |/| | |
| | * | | Fixes typoLeanne2018-11-041-1/+1
| |/ / /
| * | | Merge pull request #5337 from ethereum/ubuntuVersionchriseth2018-10-301-1/+1
| |\ \ \
| | * | | Update ubuntu versions.chriseth2018-10-301-1/+1
| * | | | Merge pull request #5336 from Eitan-Lev/Update-newcomers-tagchriseth2018-10-301-1/+1
| |\ \ \ \
| | * | | | up-for-grabs swapped for good first issueEitan Levin2018-10-301-1/+1
| | |/ / /
| * | | | Merge pull request #5188 from ethereum/large-array-encodingchriseth2018-10-305-0/+30
| |\ \ \ \ | | |/ / / | |/| | |
| | * | | Fixes crash while encoding too large arrays.Erik Kundt2018-10-305-0/+30
| |/ / /
| * | | Merge pull request #5331 from lazaridiscom/patch-2chriseth2018-10-291-8/+8
| |\ \ \
| | * | | move CHECKLIST to the endLazaridis2018-10-291-8/+8
| |/ / /
| * | | Merge pull request #5316 from lazaridiscom/4891-memory-store-assertschriseth2018-10-291-21/+37
| |\ \ \
| | * | | refine memory-store assertions, closes #4891Lazaridis2018-10-271-21/+37
| * | | | Merge pull request #5247 from ethereum/yul-vardecl-propagationchriseth2018-10-2912-0/+302
| |\ \ \ \
| | * | | | Yul: Implements empty-var-decl-propagationChristian Parpart2018-10-2612-0/+302
| * | | | | Merge pull request #5315 from ethereum/yul-expr-joinerchriseth2018-10-282-36/+20
| |\ \ \ \ \ | | |_|_|/ / | |/| | | |
| | * | | | [Yul] ExpressionJoiner: code cleanupChristian Parpart2018-10-262-36/+20
| | |/ / /
| * | | | Merge pull request #5320 from lazaridiscom/patch-1chriseth2018-10-281-1/+1
| |\ \ \ \
| | * | | | add missing "p"Lazaridis2018-10-281-1/+1
| |/ / / /
| * | | | Merge pull request #5314 from berkerol/patch-1chriseth2018-10-261-0/+1
| |\ \ \ \ | | |/ / / | |/| | |
| | * | | Add check for whether voter has right to voteBerk Erol2018-10-261-0/+1
| |/ / /
| * | | Merge pull request #5122 from ethereum/docs-contributing-pt3chriseth2018-10-261-11/+10
| |\ \ \
| | * | | Final contribution review in fuzzer sectionChris Ward2018-10-261-11/+10
| * | | | Merge pull request #5311 from ethereum/chriseth-patch-3chriseth2018-10-261-0/+4
| |\ \ \ \
| | * | | | Clarify import.chriseth2018-10-261-0/+4
| |/ / / /
| * | | | Merge pull request #5304 from ethereum/removeASTutilschriseth2018-10-252-102/+0
| |\ \ \ \
| | * | | | Remove unused AST utils.chriseth2018-10-252-102/+0
| | |/ / /
| * | | | Merge pull request #5273 from ethereum/interactiveOptchriseth2018-10-252-0/+228
| |\ \ \ \ | | |/ / / | |/| | |
| | * | | Add redundant assign and ssa.chriseth2018-10-241-1/+10
| | * | | Interactive optimizer tool.chriseth2018-10-242-0/+219
| * | | | Merge pull request #5283 from ethereum/smt_fixed_byteschriseth2018-10-2515-288/+160
| |\ \ \ \
| | * | | | Grouping of symbolic variables in the same file and support to FixedBytesLeonardo Alt2018-10-2515-288/+160
| | |/ / /
| * | | | Merge pull request #5242 from ethereum/someCheckschriseth2018-10-259-4/+95
| |\ \ \ \
| | * | | | Added some tests.chriseth2018-10-244-0/+44
| | * | | | Some well-formedness checks for the Yul AST.chriseth2018-10-225-4/+51
| * | | | | Merge pull request #5271 from ethereum/fullSuitechriseth2018-10-254-0/+197
| |\ \ \ \ \
| | * | | | | Full suite tests.chriseth2018-10-254-0/+197
| | | |/ / / | | |/| | |
| * | | | | Merge pull request #5296 from ethereum/setPragmaToArbitrarychriseth2018-10-2592-2012/+52
| |\ \ \ \ \ | | |/ / / / | |/| | | |
| | * | | | Remove pragma changer.chriseth2018-10-241-2/+0
| | * | | | Set pragma to arbitrary.chriseth2018-10-2452-52/+52
| | * | | | Only run zeppelin as external tests.chriseth2018-10-2439-1958/+0
| * | | | | Merge pull request #5272 from ethereum/smt_special_varschriseth2018-10-2423-78/+272
| |\ \ \ \ \
| | * | | | | Add gasleft constraint and use full member access nameLeonardo Alt2018-10-237-16/+45
| | * | | | | [SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhashLeonardo Alt2018-10-1920-68/+233
| | | |/ / / | | |/| | |
| * | | | | Merge pull request #5292 from ethereum/redundantAssignEliminatorchriseth2018-10-2422-0/+791
| |\ \ \ \ \ | | |_|/ / / | |/| | | |
| | * | | | Redundant assign eliminator.chriseth2018-10-2422-0/+791
| |/ / / /
| * | | | Merge pull request #5288 from ethereum/docs-external-call-tx-faqchriseth2018-10-232-8/+4
| |\ \ \ \
| | * | | | Move FAQ item regarding contract to contract calls and resulting transactionChris Ward2018-10-232-8/+4
| |/ / / /
| * | | | Merge pull request #5286 from ethereum/refactor-token-as-enum-classChristian Parpart2018-10-2322-362/+355
| |\ \ \ \ | | |/ / / | |/| | |
| | * | | Refactor `solidity::Token` into an `enum class` with `TokenTraits` helper nam...Christian Parpart2018-10-2222-362/+355
| |/ / /
| * | | Merge pull request #5256 from ethereum/lvalueCleanupchriseth2018-10-192-42/+25
| |\ \ \
| | * | | Removed unreachable cases in LValue.cpp.chriseth2018-10-181-42/+7
| | * | | Add a test for delete x.lengthchriseth2018-10-181-0/+18
| * | | | Merge pull request #5267 from ethereum/ssatransformchriseth2018-10-1914-0/+542
| |\ \ \ \
| | * | | | SSA transform - first step.chriseth2018-10-1914-0/+542
| | | |_|/ | | |/| |
| * | | | Merge pull request #5260 from ethereum/flattenMorechriseth2018-10-191-0/+22
| |\ \ \ \
| | * | | | Flatten more.chriseth2018-10-181-0/+22
| | | |/ / | | |/| |
| * | | | Merge pull request #5258 from ethereum/coverage2chriseth2018-10-192-0/+56
| |\ \ \ \
| | * | | | Add some simplification tests for operations.chriseth2018-10-182-0/+56
| | |/ / /
| * | | | Merge pull request #5257 from ethereum/assertAboutRemovedchriseth2018-10-191-10/+9
| |\ \ \ \
| | * | | | Assert about some removed language concepts in the code generator.chriseth2018-10-181-10/+9
| | |/ / /
| * | | | Merge pull request #5259 from ethereum/cleanup8chriseth2018-10-193-48/+9
| |\ \ \ \
| | * | | | Remove mostly unused writeFile implementation.chriseth2018-10-183-48/+9
| | | |/ / | | |/| |
| * | | | Merge pull request #5213 from Mordax/issue-5103chriseth2018-10-191-0/+15
| |\ \ \ \
| | * | | | Added test for flipping signs on signed type edge casemordax2018-10-161-0/+15
| * | | | | Merge pull request #5270 from ethereum/inlineFlexiblechriseth2018-10-193-13/+12
| |\ \ \ \ \
| | * | | | | Make full inliner more flexible.chriseth2018-10-183-13/+12
| | | |/ / / | | |/| | |
| * | | | | Merge pull request #5269 from ethereum/cseBugfixchriseth2018-10-195-23/+59
| |\ \ \ \ \ | | |/ / / / | |/| | | |
| | * | | | Fix a bug in CSE where a variable that was already out of scope was used.chriseth2018-10-185-24/+35
| | * | | | Test case that shows a CSE bug related to scopes.chriseth2018-10-181-0/+25
| |/ / / /
| * | | | Merge pull request #5240 from ethereum/limitDispenserSizechriseth2018-10-188-25/+97
| |\ \ \ \
| | * | | | Limit size of generated names and add convenience constructors.chriseth2018-10-178-25/+97
| * | | | | Merge pull request #5251 from ethereum/smt_refactor_expr_typeschriseth2018-10-184-79/+62
| |\ \ \ \ \
| | * | | | | Fix possibly effectless map emplaceLeonardo Alt2018-10-181-7/+10
| | * | | | | [SMTChecker] Refactor expressions such that they also use SymbolicVariableLeonardo Alt2018-10-184-77/+57
| * | | | | | Merge pull request #5249 from ethereum/remove-linkschriseth2018-10-182-133/+133
| |\ \ \ \ \ \ | | |_|_|_|/ / | |/| | | | |
| | * | | | | Add new resources section seperate from docs indexChris Ward2018-10-182-133/+133
| |/ / / / /
| * | | | | Merge pull request #3047 from ethereum/abi-strictchriseth2018-10-181-0/+11
| |\ \ \ \ \ | | |/ / / / | |/| | | |
| | * | | | Add strict encoding mode to the ABI specAlex Beregszaszi2018-07-061-0/+11
| * | | | | Merge pull request #5235 from ethereum/smt_refactor_typesLeonardo2018-10-1814-218/+378
| |\ \ \ \ \
| | * | | | | Refactor SymbolicAddressVariable and SymbolicVariable allocationLeonardo Alt2018-10-178-51/+159
| | * | | | | Consistent renaming of 'counters' and 'sequence' to 'index'Leonardo Alt2018-10-1710-71/+71
| | * | | | | [SMTChecker] Refactoring typesLeonardo Alt2018-10-1712-150/+202
| * | | | | | Merge pull request #5224 from bshastry/compilerwarn-fixchriseth2018-10-171-2/+2
| |\ \ \ \ \ \
| | * | | | | | Retained move/copy semantics; removed const qualifier from Expression's membe...Bhargava Shastry2018-10-171-2/+4
| | * | | | | | Fix compiler warning: clang-8 warns of explicitly-defined op implicitly delet...Bhargava Shastry2018-10-171-2/+0
| | |/ / / / /
| * | | | | | Merge pull request #5232 from ethereum/inlineHeuristicchriseth2018-10-177-8/+170
| |\ \ \ \ \ \
| | * | | | | | Use metrics in the full inliner.chriseth2018-10-177-8/+170
| * | | | | | | Merge pull request #5245 from ethereum/chriseth-patch-2chriseth2018-10-171-0/+3
| |\ \ \ \ \ \ \ | | |_|_|_|/ / / | |/| | | | | |
| | * | | | | | Add Ethfiddlechriseth2018-10-171-0/+3
| | | |/ / / / | | |/| | | |
| * | | | | | Merge pull request #5227 from ethereum/doNotRemoveExternallyUsedFunctionchriseth2018-10-1710-19/+49
| |\ \ \ \ \ \
| | * | | | | | Handle externally supplied variables correctly in disambiguator.chriseth2018-10-173-4/+13
| | * | | | | | Prevent externally used functions from being removed.chriseth2018-10-177-15/+36
| | | |/ / / / | | |/| | | |
| * | | | | | Merge pull request #5248 from Karocyt/frenchdocchriseth2018-10-171-0/+1
| |\ \ \ \ \ \ | | |_|/ / / / | |/| | | | |
| | * | | | | French translation (in progress) added to the docsKevin Azoulay2018-10-171-0/+1
| |/ / / / /
| * | | | | Merge pull request #5233 from pRoy24/developchriseth2018-10-171-1/+1
| |\ \ \ \ \ | | |/ / / / | |/| | | |
| | * | | | Update minor typo in Storage section of docsPritam Roy2018-10-161-1/+1
| | | |/ / | | |/| |
| * | | | Merge pull request #5207 from ethereum/inlineViaBreakchriseth2018-10-1713-268/+285
| |\ \ \ \
| | * | | | Inline each function separately.chriseth2018-10-164-69/+29
| | * | | | Test for crash via inlining.chriseth2018-10-161-0/+84
| | * | | | New full inliner.chriseth2018-10-1612-253/+226
| * | | | | Merge pull request #5243 from jeffanthony/patch-2chriseth2018-10-171-1/+1
| |\ \ \ \ \ | | |/ / / / | |/| | | |
| | * | | | minor spelling correctionJeffrey Anthony2018-10-171-1/+1
| |/ / / /
| * | | | Merge pull request #5147 from ethereum/simplifierViaBrokenchriseth2018-10-1623-16/+383
| |\ \ \ \
| | * | | | Add a "full simplify" test that applies multiple elementary transforms.chriseth2018-10-1617-0/+198
| | * | | | New simplifier via broken expressions.chriseth2018-10-165-16/+74
| | * | | | SSA value tracker.chriseth2018-10-162-0/+111
| |/ / / /
| * | | | Merge pull request #5236 from ethereum/clang7chriseth2018-10-161-0/+24
| |\ \ \ \
| | * | | | Add clang7 build stepchriseth2018-10-161-0/+24
| | |/ / /
| * | | | Merge pull request #5225 from mestorlx/issue5007chriseth2018-10-163-6/+13
| |\ \ \ \ | | |/ / / | |/| | |
| | * | | fix issue##5007mestorlx2018-10-163-6/+13
| * | | | Merge pull request #5226 from ethereum/chriseth-patch-3chriseth2018-10-161-1/+2
| |\ \ \ \
| | * | | | Correct include pathchriseth2018-10-161-1/+2
| * | | | | Merge pull request #5222 from ethereum/yul-block-flattenerchriseth2018-10-168-2/+171
| |\ \ \ \ \ | | |/ / / / | |/| | | |
| | * | | | Yul: Introduces a block flattening pass + testsChristian Parpart2018-10-168-2/+171
| | |/ / /
| * | | | Merge pull request #5223 from bshastry/testoptions-bugfixchriseth2018-10-161-1/+1
| |\ \ \ \ | | |/ / / | |/| | |
| | * | | Bug fix: Add missing include in test/Options.h; otherwise compiler does not r...Bhargava Shastry2018-10-151-1/+1
| |/ / /
| * | | Merge pull request #5209 from ethereum/smt_ssa_refactorchriseth2018-10-159-37/+48
| |\ \ \
| | * | | Refactor SSAVariable such that it only uses Type and not DeclarationLeonardo Alt2018-10-159-37/+48
| * | | | Merge pull request #5189 from ethereum/smt_function_callchriseth2018-10-1525-75/+534
| |\ \ \ \
| | * | | | [SMTChecker] Inline calls to internal functionsLeonardo Alt2018-10-1525-75/+534
| |/ / / /
| * | | | Merge pull request #4843 from ethereum/docs-2177-abi-typechriseth2018-10-151-1/+1
| |\ \ \ \
| | * | | | Link and clarify ABI typeChris Ward2018-10-151-1/+1
| * | | | | Merge pull request #5221 from ethereum/splitRenamingLeftoverschriseth2018-10-153-4/+4
| |\ \ \ \ \ | | |_|/ / / | |/| | | |
| | * | | | Some renaming leftovers.chriseth2018-10-153-4/+4
| * | | | | Merge pull request #5208 from mestorlx/bug4156chriseth2018-10-155-4/+48
| |\ \ \ \ \ | | |/ / / / | |/| | | |
| | * | | | Updated MAXIMUM_STRING_DISTANCE to non static maximumStringDistance taking in...mestorlx2018-10-135-4/+48
| * | | | | Merge pull request #5220 from ethereum/libjulia-to-libyulChristian Parpart2018-10-15185-243/+243
| |\ \ \ \ \
| | * | | | | Renaming namespace dev::julia to dev::yul.Christian Parpart2018-10-1571-100/+100
| | * | | | | Renaming libjulia to libyulChristian Parpart2018-10-15179-143/+143
| |/ / / / /
| * | | | | Merge pull request #5181 from Mordax/doc-note-windowschriseth2018-10-151-0/+5
| |\ \ \ \ \
| | * | | | | Add extra documentation for running compiler tests on Windowsmordax2018-10-151-0/+5
| |/ / / / /
| * | | | | Merge pull request #5215 from Mordax/issue-5142chriseth2018-10-153-8/+0
| |\ \ \ \ \
| | * | | | | Remove another mentionmordax2018-10-141-1/+0
| | * | | | | Removing mention of submodules from docs/buildmordax2018-10-142-7/+0
| | |/ / / /
| * | | | | Merge pull request #5149 from ethereum/fix_assertion_on_inval_tuple_callchriseth2018-10-153-2/+22
| |\ \ \ \ \
| | * | | | | Fixes invalid function calls to literals inside tuple assignment's LHS.Christian Parpart2018-10-153-2/+22
| | |/ / / /
| * | | | | Merge pull request #5205 from ethereum/cseAlsoSubstituteVariableschriseth2018-10-153-4/+67
| |\ \ \ \ \ | | |/ / / / | |/| | | |
| | * | | | Also substitute variables in CSE.chriseth2018-10-123-4/+67
| |/ / / /
| * | | | Merge pull request #5127 from ethereum/exprUnbreakerchriseth2018-10-1220-0/+545
| |\ \ \ \
| | * | | | Expression joiner.chriseth2018-10-1220-0/+545
| * | | | | Merge pull request #5206 from ethereum/splitConstantsToochriseth2018-10-125-34/+57
| |\ \ \ \ \
| | * | | | | Also split constants.chriseth2018-10-125-34/+57
| | |/ / / /
| * | | | | Merge pull request #5145 from ethereum/hashLinkerchriseth2018-10-1211-20/+114
| |\ \ \ \ \ | | |/ / / / | |/| | | |
| | * | | | Fix checksum check.chriseth2018-10-121-5/+5
| | * | | | More helpful error messages for linker.chriseth2018-10-121-2/+16
| | * | | | Change library placeholder to `__$<hash>$__`.chriseth2018-10-124-9/+12
| | * | | | Prefix "0x" to library placeholder.chriseth2018-10-121-1/+1
| | * | | | Document library placeholder change.chriseth2018-10-122-3/+20
| | * | | | Fix directory creation.chriseth2018-10-121-1/+1
| | * | | | Use hash for library placeholders.chriseth2018-10-127-9/+69
| * | | | | Merge pull request #5203 from ethereum/moveMoreYulTestschriseth2018-10-1293-1271/+1395
| |\ \ \ \ \ | | |/ / / / | |/| | | |
| | * | | | Move unused pruner tests.chriseth2018-10-1212-129/+113
| | * | | | Move expression simplifier tests.chriseth2018-10-1218-178/+158
| | * | | | Move rematerialiser tests.chriseth2018-10-1219-179/+292
| | * | | | Move main function tests.chriseth2018-10-127-87/+117
| | * | | | Move tests for full inliner.chriseth2018-10-129-175/+205
| | * | | | Move expression inliner tests.chriseth2018-10-129-95/+124
| | * | | | Move function hoister tests.chriseth2018-10-127-85/+97
| | * | | | Move function grouper tests.chriseth2018-10-127-85/+102
| | * | | | Move expression splitter tests.chriseth2018-10-127-156/+106
| | * | | | Move common subexpression eliminator tests.chriseth2018-10-128-102/+81
| |/ / / /