aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Build with LLL on CircleCIAlex Beregszaszi2018-11-141-0/+2
|
* Move LLL tests into a single directoryAlex Beregszaszi2018-11-142-0/+0
|
* Do not build tests for LLL if disabledAlex Beregszaszi2018-11-142-3/+12
|
* Do not build LLL unless requested via the LLL cmake optionAlex Beregszaszi2018-11-143-3/+14
|
* Merge pull request #5417 from ethereum/version051chriseth2018-11-142-1/+13
|\ | | | | Set version to 0.5.1.
| * Set version to 0.5.1.chriseth2018-11-142-1/+13
|/
* Merge pull request #5413 from ethereum/updateChangelogForReleasechriseth2018-11-142-1/+5
|\ | | | | Add release date to changelog.
| * 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 contract
| * | keccak256 does not call an external contractritzdorf2018-11-131-1/+1
| | | | | | | | | ``keccak256`` will be compiled to the ``SHA3`` opcode and not call an external contract.
* | | Merge pull request #5411 from ethereum/lll-docschriseth2018-11-132-0/+15
|\ \ \ | |_|/ |/| | Add LLL chapter in the documentation
| * | Add LLL chapter in the documentationAlex Beregszaszi2018-11-132-0/+15
| |/
* | Merge pull request #5342 from Mordax/issue-5177chriseth2018-11-131-1/+1
|\ \ | | | | | | Disable coverage cmake option
| * | Disable covereage cmake optionmordax2018-11-041-1/+1
| | |
* | | Merge pull request #5105 from ethereum/libsolc-apichriseth2018-11-138-379/+41
|\ \ \ | | | | | | | | Remove old libsolc API (compileJSON, compileJSONMulti, compileJSONCallback)
| * | | 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 SourceLocation
| * | 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: terminate sequences with a STOP
| * | 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.
| * | Update tests.chriseth2018-11-131-66/+66
|/ /
* | Merge pull request #5406 from ethereum/uninitializedStorageUnimplementedchriseth2018-11-134-2/+14
|\ \ | | | | | | Ignore unimplemented functions for detecting uninitialized storage returns.
| * | Ignore unimplemented functions for storage returns.Daniel Kirchner2018-11-134-2/+14
| | |
* | | Merge pull request #5333 from ethereum/joinPerformancechriseth2018-11-133-20/+718
|\ \ \ | | | | | | | | [Yul] Use map join algorithm for performance.
| * | | 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.
| * | | 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
|\ \ \ | |/ / |/| | [Yul] Deterministic YulStringRepository using string hashes.
| * | 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
|\ \ \ | | | | | | | | Docs: Clarify creating a contract example code
| * | | 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 points
| * | | Move control structure related FAQ pointsChris Ward2018-11-122-32/+20
|/ / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Updates from reviews clarify returning structs, and move returning arrays and strings from separate section Further clarifications Updates from review Final updates
* | | Merge pull request #4860 from ethereum/docs-2175-index-missingchriseth2018-11-121-8/+7
|\ \ \ | | | | | | | | Add mention of common subexpression elimination
| * | | Clarify term and tidy textChris Ward2018-11-121-8/+7
| |/ / | | | | | | | | | | | | | | | Use UK spelling in heading Remove colon
* | | Merge pull request #5364 from ethereum/chriseth-patch-5chriseth2018-11-121-0/+8
|\ \ \ | |/ / |/| | Add note about changing the storage layout.
| * | Add note about changing the storage layout.chriseth2018-11-121-0/+8
|/ /
* | Merge pull request #5395 from ethereum/fixStylechriseth2018-11-125-8/+8
|\ \ | | | | | | Fix style
| * | Fix for style.chriseth2018-11-121-3/+3
| | |
| * | Remove trailing whitespace.chriseth2018-11-124-5/+5
|/ /
* | Merge pull request #5275 from ↵chriseth2018-11-125-278/+532
|\ \ | | | | | | | | | | | | svenski123/20181018-4894-refactoring-split-bool-typechecker-visit-functioncall-into-multiple-functions Refactored bool TypeChecker::visit(FunctionCall const& _functionCall).
| * | Refactor of bool TypeChecker::visit(FunctionCall const& _functionCall).Kristofer Peterson2018-11-105-278/+532
|/ / | | | | | | | | | | Visit method now cleanly determines if node represents a function call, struct construction or type conversion. Type checking, validation and error message logic is moved to separate methods.
* | Merge pull request #5128 from ethereum/breakUnbreakchriseth2018-11-094-5/+74
|\ \ | | | | | | [Yul] Test case that shows that break / unbreak are more or less inverse
| * | 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.
| * | | Reset yul string repository.chriseth2018-11-093-2/+15
|/ / /
* | | Merge pull request #5265 from ethereum/cleanupsha3chriseth2018-11-0917-98/+36
|\ \ \ | |/ / |/| | Simplify sha3.
| * | 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
|\ \ \ | | | | | | | | [Yul] Remove side-effect-free statements.
| * | | 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 Fedora like distributions
| * | | Fix cmake Z3 import issue for FedoraDominik Harz2018-11-081-1/+1
| | | |
* | | | Merge pull request #5325 from ethereum/fixDataFlowchriseth2018-11-083-0/+117
|\ \ \ \ | | | | | | | | | | [Yul] Fix data flow analyzer for function definitions.
| * | | | Fix data flow analyzer for function definitions.chriseth2018-11-083-0/+117
| | | | |
* | | | | Merge pull request #5365 from ethereum/improveNameDispenserchriseth2018-11-0816-67/+66
|\ \ \ \ \ | | | | | | | | | | | | [Yul] Use single counter for name dispenser for performance reasons.
| * | | | | 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
|\ \ \ \ \ \ | |_|_|/ / / |/| | | | | [Yul] Add VarDeclPropagator to full suite and interactive optimizer.
| * | | | | 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.
| * | | | | Fix windows build.chriseth2018-11-081-0/+1
| |/ / / /
* | | | | Merge pull request #5352 from ethereum/docContractConversionschriseth2018-11-081-0/+8
|\ \ \ \ \ | | | | | | | | | | | | [DOCS] Document disallowed explicit conversions between unrelated contract types.
| * | | | | 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
|\ \ \ \ \ \ | | | | | | | | | | | | | | [DOCS] Document interoperability between 0.5.0 and pre-0.5.0 contracts.
| * | | | | | 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
|\ \ \ \ \ \ | | | | | | | | | | | | | | Relax type equality requirement of function types during conversion in code generation.
| * | | | | | 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.
| * | | | | 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.
| * | | | Add rematerializer to interactive optimizer.chriseth2018-10-281-1/+5
| | | | |
* | | | | Merge pull request #5334 from ethereum/stringPerformancechriseth2018-11-0859-243/+351
|\ \ \ \ \ | | | | | | | | | | | | [Yul] String performance
| * | | | | 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
|\ \ \ \ \ | | | | | | | | | | | | [DOCS] Integers cannot be implicitly converted to address
| * | | | | 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.
| * | | | | Eliminate `byte`-typedef and use `uint8_t` in all their places instead.Christian Parpart2018-11-0715-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/boostRationalNegativeDenominatorDaniel Kirchner2018-11-061-2/+0
|\ \ \ \ \ | |/ / / / |/| | | | Remove uses of boost::rational with negative denominator in tests.
| * | | | Remove uses of boost::rational with negative denominator, which breaks with ↵Daniel Kirchner2018-11-061-2/+0
|/ / / / | | | | | | | | | | | | boost 1.68.
* | | | Merge pull request #5343 from lshapton/patch-1chriseth2018-11-051-1/+1
|\ \ \ \ | |_|_|/ |/| | | Fixes small typo in documentation
| * | | Fixes typoLeanne2018-11-041-1/+1
|/ / /
* | | Merge pull request #5337 from ethereum/ubuntuVersionchriseth2018-10-301-1/+1
|\ \ \ | | | | | | | | Update ubuntu versions.
| * | | 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 issue
| * | | | 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
|\ \ \ \ | |/ / / |/| | | Do not crash when trying to encode too large arrays
| * | | 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 end
| * | | move CHECKLIST to the endLazaridis2018-10-291-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-assertschriseth2018-10-291-21/+37
|\ \ \ | | | | | | | | refine memory-store assertions, closes #4891
| * | | 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-propagation
| * | | | Yul: Implements empty-var-decl-propagationChristian Parpart2018-10-2612-0/+302
| | | | |
* | | | | Merge pull request #5315 from ethereum/yul-expr-joinerchriseth2018-10-282-36/+20
|\ \ \ \ \ | |_|_|/ / |/| | | | Refactor Yul's ExpressionJoiner
| * | | | [Yul] ExpressionJoiner: code cleanupChristian Parpart2018-10-262-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-1chriseth2018-10-281-1/+1
|\ \ \ \ | | | | | | | | | | add missing "p"
| * | | | add missing "p"Lazaridis2018-10-281-1/+1
|/ / / /
* | | | Merge pull request #5314 from berkerol/patch-1chriseth2018-10-261-0/+1
|\ \ \ \ | |/ / / |/| | | DOCS: Add check for whether voter has right to vote
| * | | 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 section
| * | | 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.
| * | | | Clarify import.chriseth2018-10-261-0/+4
|/ / / /
* | | | Merge pull request #5304 from ethereum/removeASTutilschriseth2018-10-252-102/+0
|\ \ \ \ | | | | | | | | | | Remove unused AST utils.
| * | | | Remove unused AST utils.chriseth2018-10-252-102/+0
| |/ / /
* | | | Merge pull request #5273 from ethereum/interactiveOptchriseth2018-10-252-0/+228
|\ \ \ \ | |/ / / |/| | | [Yul] Interactive optimizer tool
| * | | 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
|\ \ \ \ | | | | | | | | | | [SMTChecker] Support FixedBytes
| * | | | 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
|\ \ \ \ | | | | | | | | | | Some well-formedness checks for the Yul AST.
| * | | | 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
|\ \ \ \ \ | | | | | | | | | | | | [Yul] Full suite tests.
| * | | | | Full suite tests.chriseth2018-10-254-0/+197
| | |/ / / | |/| | |
* | | | | Merge pull request #5296 from ethereum/setPragmaToArbitrarychriseth2018-10-2592-2012/+52
|\ \ \ \ \ | |/ / / / |/| | | | Set pragma to arbitrary
| * | | | 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
|\ \ \ \ \ | | | | | | | | | | | | [SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhash
| * | | | | 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
|\ \ \ \ \ | |_|/ / / |/| | | | [Yul] Redundant assign eliminator.
| * | | | Redundant assign eliminator.chriseth2018-10-2422-0/+791
|/ / / /
* | | | Merge pull request #5288 from ethereum/docs-external-call-tx-faqchriseth2018-10-232-8/+4
|\ \ \ \ | | | | | | | | | | DOCS: Move FAQ item regarding contract to contract calls and tx
| * | | | 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 `libsolidity::Token` into a strongly typed enum
| * | | Refactor `solidity::Token` into an `enum class` with `TokenTraits` helper ↵Christian Parpart2018-10-2222-362/+355
|/ / / | | | | | | | | | namespace
* | | Merge pull request #5256 from ethereum/lvalueCleanupchriseth2018-10-192-42/+25
|\ \ \ | | | | | | | | Lvalue cleanup
| * | | 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.
| * | | | SSA transform - first step.chriseth2018-10-1914-0/+542
| | |_|/ | |/| |
* | | | Merge pull request #5260 from ethereum/flattenMorechriseth2018-10-191-0/+22
|\ \ \ \ | | | | | | | | | | Flatten more.
| * | | | Flatten more.chriseth2018-10-181-0/+22
| | |/ / | |/| |
* | | | Merge pull request #5258 from ethereum/coverage2chriseth2018-10-192-0/+56
|\ \ \ \ | | | | | | | | | | Add some simplification tests for operations.
| * | | | 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.
| * | | | 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
|\ \ \ \ | | | | | | | | | | Cleanup in some base utils
| * | | | Remove mostly unused writeFile implementation.chriseth2018-10-183-48/+9
| | |/ / | |/| |
* | | | Merge pull request #5213 from Mordax/issue-5103chriseth2018-10-191-0/+15
|\ \ \ \ | | | | | | | | | | Tests for flipping signs on signed type edge case
| * | | | 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.
| * | | | | Make full inliner more flexible.chriseth2018-10-183-13/+12
| | |/ / / | |/| | |
* | | | | Merge pull request #5269 from ethereum/cseBugfixchriseth2018-10-195-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.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
|\ \ \ \ | | | | | | | | | | [Yul] Limit name length created by dispenser
| * | | | 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
|\ \ \ \ \ | | | | | | | | | | | | [SMTChecker] Refactor expressions to use SymbolicVariable
| * | | | | 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
|\ \ \ \ \ \ | |_|_|_|/ / |/| | | | | DOCS: Add new resources section seperate from docs index
| * | | | | 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 spec
| * | | | 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
|\ \ \ \ \ | | | | | | | | | | | | [SMTChecker] Refactoring types
| * | | | | 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
|\ \ \ \ \ \ | | | | | | | | | | | | | | Fix compiler warning
| * | | | | | Retained move/copy semantics; removed const qualifier from Expression's ↵Bhargava Shastry2018-10-171-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 Shastry2018-10-171-2/+0
| |/ / / / / | | | | | | | | | | | | | | | | | | deleted for Expression object's copy and move constructors
* | | | | | Merge pull request #5232 from ethereum/inlineHeuristicchriseth2018-10-177-8/+170
|\ \ \ \ \ \ | | | | | | | | | | | | | | [Yul] Add simple inlining heuristic
| * | | | | | 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 Ethfiddle
| * | | | | | Add Ethfiddlechriseth2018-10-171-0/+3
| | |/ / / / | |/| | | |
* | | | | | Merge pull request #5227 from ethereum/doNotRemoveExternallyUsedFunctionchriseth2018-10-1710-19/+49
|\ \ \ \ \ \ | | | | | | | | | | | | | | Prevent externally used functions from being removed.
| * | | | | | 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 docs
| * | | | | 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 docs
| * | | | Update minor typo in Storage section of docsPritam Roy2018-10-161-1/+1
| | |/ / | |/| |
* | | | Merge pull request #5207 from ethereum/inlineViaBreakchriseth2018-10-1713-268/+285
|\ \ \ \ | | | | | | | | | | [Yul] Function inliner via "Expression Breaker"
| * | | | 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 correction
| * | | | minor spelling correctionJeffrey Anthony2018-10-171-1/+1
|/ / / / | | | | | | | | whas => was
* | | | Merge pull request #5147 from ethereum/simplifierViaBrokenchriseth2018-10-1623-16/+383
|\ \ \ \ | | | | | | | | | | [Yul] Simplifier via broken
| * | | | 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 step to circle
| * | | | Add clang7 build stepchriseth2018-10-161-0/+24
| |/ / /
* | | | Merge pull request #5225 from mestorlx/issue5007chriseth2018-10-163-6/+13
|\ \ \ \ | |/ / / |/| | | Prevent crash in case there are no contracts
| * | | fix issue##5007mestorlx2018-10-163-6/+13
| | | |
* | | | Merge pull request #5226 from ethereum/chriseth-patch-3chriseth2018-10-161-1/+2
|\ \ \ \ | | | | | | | | | | Correct include path
| * | | | Correct include pathchriseth2018-10-161-1/+2
| | | | |
* | | | | Merge pull request #5222 from ethereum/yul-block-flattenerchriseth2018-10-168-2/+171
|\ \ \ \ \ | |/ / / / |/| | | | [WIP] Yul: Introduces a block flattening pass
| * | | | 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
| * | | Bug fix: Add missing include in test/Options.h; otherwise compiler does not ↵Bhargava Shastry2018-10-151-1/+1
|/ / / | | | | | | | | | recognise the boost object that Options subclasses
* | | Merge pull request #5209 from ethereum/smt_ssa_refactorchriseth2018-10-159-37/+48
|\ \ \ | | | | | | | | [SMTChecker] Refactor SSAVariable such that it only uses Type and not Declaration
| * | | 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 functions
| * | | | [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 type
| * | | | Link and clarify ABI typeChris Ward2018-10-151-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Remove rogue ’s’ Clarify wording Revert other changes and just add link
* | | | | Merge pull request #5221 from ethereum/splitRenamingLeftoverschriseth2018-10-153-4/+4
|\ \ \ \ \ | |_|/ / / |/| | | | Some renaming leftovers.
| * | | | Some renaming leftovers.chriseth2018-10-153-4/+4
| | | | |
* | | | | Merge pull request #5208 from mestorlx/bug4156chriseth2018-10-155-4/+48
|\ \ \ \ \ | |/ / / / |/| | | | [WIP] Bad identifier suggestion in certain cases
| * | | | Updated MAXIMUM_STRING_DISTANCE to non static maximumStringDistance taking ↵mestorlx2018-10-135-4/+48
| | | | | | | | | | | | | | | | | | | | into account length of the identifier
* | | | | Merge pull request #5220 from ethereum/libjulia-to-libyulChristian Parpart2018-10-15185-243/+243
|\ \ \ \ \ | | | | | | | | | | | | Renames `libjulia` directory to `libyul` & namespace `dev::julia` to `dev::yul`
| * | | | | 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 Windows
| * | | | | 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
|\ \ \ \ \ | | | | | | | | | | | | Removes mention of submodules from docs and build scripts
| * | | | | 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.
| * | | | | 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
|\ \ \ \ \ | |/ / / / |/| | | | [Yul] Also substitute variables in Common Subexpression Eliminator
| * | | | Also substitute variables in CSE.chriseth2018-10-123-4/+67
|/ / / /
* | | | Merge pull request #5127 from ethereum/exprUnbreakerchriseth2018-10-1220-0/+545
|\ \ \ \ | | | | | | | | | | [Yul] Expression joiner.
| * | | | Expression joiner.chriseth2018-10-1220-0/+545
| | | | |
* | | | | Merge pull request #5206 from ethereum/splitConstantsToochriseth2018-10-125-34/+57
|\ \ \ \ \ | | | | | | | | | | | | [Yul] Split constants too
| * | | | | Also split constants.chriseth2018-10-125-34/+57
| |/ / / /
* | | | | Merge pull request #5145 from ethereum/hashLinkerchriseth2018-10-1211-20/+114
|\ \ \ \ \ | |/ / / / |/| | | | Hash linker
| * | | | 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 more yul optimizer tests
| * | | | 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
| | | | |
generated by cgit (git 2.34.1) at 2024-10-01 00:32:08 +0800