aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* [SMTChecker] Implement uninterpreted functions and use it for blockhash()Leonardo Alt2018-11-1517-27/+110
|
* Merge pull request #5368 from ethereum/noCleanupUnsignedAlex Beregszaszi2018-11-153-2/+10
|\ | | | | [Codegen] Do not perform cleanup on unsigned integers when loading from calldata.
| * Do not perform cleanup on unsigned integers when loading from calldata.chriseth2018-11-153-2/+10
| |
* | Merge pull request #5433 from ethereum/docs-fixAlex Beregszaszi2018-11-151-3/+1
|\ \ | |/ |/| Fix indentation in documentation
| * Fix indentation in documentationAlex Beregszaszi2018-11-151-3/+1
|/
* Merge pull request #5428 from ethereum/yulObjectSpecChangechriseth2018-11-151-6/+37
|\ | | | | Small changes to yul object specification.
| * Small changes to yul object specification.chriseth2018-11-151-6/+37
|/
* Merge pull request #4523 from ethereum/micropayment-channel-example-polishchriseth2018-11-151-124/+65
|\ | | | | Micropayment channel example polish
| * Begin review of micropayments exampleChris Ward2018-11-151-124/+65
|/ | | | | | | | | | | | | | Language tidy, add correct method and package namespaces and make more consistent with each project docs First changes from review Further fixes after review Fix line breaks Revert code changes Update
* Merge pull request #5323 from ethereum/docs-input-output-change-control-structchriseth2018-11-141-31/+49
|\ | | | | Change terminology used for input output parameters
| * Change terminology used for input output parametersChris Ward2018-11-141-31/+49
| | | | | | | | | | | | | | | | | | | | Change from review Changes from review Changes fro review Changes from review
* | Merge pull request #5423 from ethereum/enable-coverageAlex Beregszaszi2018-11-141-1/+1
|\ \ | |/ |/| Revert "Disable covereage cmake option"
| * Revert "Disable covereage cmake option"Alex Beregszaszi2018-11-141-1/+1
| | | | | | | | This reverts commit 5effc0eeb9cd5158b906facde69a3c4d52d95314.
* | Merge pull request #5324 from ethereum/docs-input-output-change-typeschriseth2018-11-143-6/+5
|\ \ | |/ |/| Change terminology used for input output parameters pt 2
| * Update syntax used for input and output parametersChris Ward2018-11-143-6/+5
|/
* Merge pull request #4693 from ethereum/compilerstackchriseth2018-11-141-16/+25
|\ | | | | Add CompilerStack state assertions to internal methods
| * Add CompilerStack state assertions in internal methodsAlex Beregszaszi2018-11-141-6/+12
| |
| * Move lastContractName closer to contractNamesAlex Beregszaszi2018-11-141-13/+13
| |
| * Do not crash on filesystemFriendlyName if no contracts were compiledAlex Beregszaszi2018-11-141-0/+3
| |
* | Merge pull request #5373 from ethereum/archlinuxCIchriseth2018-11-141-0/+47
|\ \ | |/ |/| Add archlinux run on circleci for testing against current versions of deps.
| * Only run soltest with --no-ipc.Daniel Kirchner2018-11-091-4/+2
| |
| * Add archlinux run on circleci.Daniel Kirchner2018-11-091-0/+49
| |
* | Merge pull request #5410 from ethereum/lll-buildchriseth2018-11-148-6/+28
|\ \ | | | | | | Do not build LLL unless requested via the LLL cmake option
| * | 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 #5419 from ethereum/fixcmdlinetestschriseth2018-11-141-1/+1
|\ \ \ | | | | | | | | Fix commandline tests.
| * | | Fix commandline tests.chriseth2018-11-141-1/+1
| | | |
* | | | Merge pull request #5367 from ethereum/signedYulchriseth2018-11-141-3/+3
|\ \ \ \ | |/ / / |/| | | [Yul] Rename some builtin yul functions for signed types.
| * | | Rename some builtin yul functions for signed types.chriseth2018-11-141-3/+3
|/ / /
* | | Merge pull request #5420 from ethereum/releasechriseth2018-11-140-0/+0
|\ \ \ | |/ / |/| | Merge release back into develop.
| * | Merge pull request #5416 from ethereum/developchriseth2018-11-141945-25957/+43906
| |\ \ | | | | | | | | Merge develop into release for 0.5.0
* | \ \ 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
|/ / / / / /
generated by cgit (git 2.34.1) at 2024-11-18 09:55:35 +0800