aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* | | | | | Merge pull request #5488 from lazaridiscom/patch-3chriseth2018-11-232-2/+3
|\ \ \ \ \ \ | |/ / / / / |/| | | | |
| * | | | | Update paths to CharStream, Scanner and Token files.chriseth2018-11-231-1/+1
| * | | | | Mention third party licenses.Lazaridis2018-11-231-1/+2
|/ / / / /
* | | | | Merge pull request #4958 from liangdzou/issue_4494_error_out_when_no_output_r...Alex Beregszaszi2018-11-231-80/+117
|\ \ \ \ \
| * | | | | Notify user on successful run without output.liangdzou2018-11-231-80/+117
| | |/ / / | |/| | |
* | | | | Merge pull request #5481 from ethereum/fix-byecodecompareAlex Beregszaszi2018-11-231-5/+11
|\ \ \ \ \
| * | | | | Fix storebytecode.sh for bytecode comparisonAlex Beregszaszi2018-11-221-5/+11
* | | | | | Merge pull request #5451 from ethereum/bound_function_testschriseth2018-11-235-0/+46
|\ \ \ \ \ \
| * | | | | | Add assert and tests for bound functionsLeonardo Alt2018-11-225-0/+46
* | | | | | | Merge pull request #5482 from ethereum/smt_refactor_sort_patch4Alex Beregszaszi2018-11-236-44/+58
|\ \ \ \ \ \ \
| * | | | | | | [SMTChecker] Refactor setZeroValue and setUnknownValueLeonardo Alt2018-11-226-44/+58
|/ / / / / / /
* | | | | | | Merge pull request #4645 from ethereum/smt-syntax-testsAlex Beregszaszi2018-11-2247-593/+491
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | |
| * | | | | | Organize smt tests in subdirectoriesLeonardo Alt2018-11-2246-0/+0
| * | | | | | Remove pragma ABIEncoderV2 from smt testLeonardo Alt2018-11-221-6/+8
| * | | | | | Drop numbering in front of the SMTChecker testsAlex Beregszaszi2018-11-2246-0/+0
| * | | | | | Move most of SMTChecker tests from C++ to isoltestAlex Beregszaszi2018-11-2247-593/+489
|/ / / / / /
* | | | | | Merge pull request #5478 from ethereum/smt_refactor_sort_patch3Alex Beregszaszi2018-11-225-2/+76
|\ \ \ \ \ \ | |/ / / / / |/| | | | |
| * | | | | [SMTChecker] Add ArraySort and array operationsLeonardo Alt2018-11-225-2/+76
|/ / / / /
* | | | | Merge pull request #5471 from ethereum/smt_refactor_sort_patch2Alex Beregszaszi2018-11-2214-128/+134
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | [SMTChecker] Add FunctionSort and refactors the solver interface to create va...Leonardo Alt2018-11-2214-128/+134
|/ / / /
* | | | Merge pull request #5328 from SuperblocksHQ/developAlex Beregszaszi2018-11-221-2/+4
|\ \ \ \
| * | | | Added Superblocks Lab IDE to the generic sectionJavier Tarazaga2018-11-221-2/+4
|/ / / /
* | | | Merge pull request #5434 from fulldecent/patch-8chriseth2018-11-221-1/+1
|\ \ \ \
| * | | | Qualify that storage slots are shared for contiguous dataWilliam Entriken2018-11-151-1/+1
* | | | | Merge pull request #5427 from ethereum/liblangutilchriseth2018-11-22155-829/+1163
|\ \ \ \ \
| * | | | | Introduce namespace `langutil` in liblangutil directory.Christian Parpart2018-11-22118-287/+476
| * | | | | Ensure liblangutil is compiled and linked as its own static library.Christian Parpart2018-11-223-3/+10
| * | | | | Splitting out CharStream from Scanner.Christian Parpart2018-11-224-81/+216
| * | | | | Isolating files shared between Yul- and Solidity language frontend.Christian Parpart2018-11-22101-132/+135
* | | | | | Merge pull request #5473 from ethereum/tests-constructorAlex Beregszaszi2018-11-221-1/+1
|\ \ \ \ \ \ | |_|_|/ / / |/| | | | |
| * | | | | Fix constructor in AuctionRegistrarAlex Beregszaszi2018-11-221-1/+1
|/ / / / /
* | | | | Merge pull request #5439 from ethereum/docs-faq-types-array-lengthchriseth2018-11-222-45/+3
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | Remove length related FAQ itemChris Ward2018-11-152-45/+3
| | |/ / | |/| |
* | | | Merge pull request #2520 from ethereum/lll-withchriseth2018-11-222-0/+52
|\ \ \ \
| * | | | LLL: implement WITH keywordAlex Beregszaszi2018-11-212-0/+42
| * | | | LLL: add UNSET to remove a variableAlex Beregszaszi2018-11-211-0/+10
* | | | | Merge pull request #4486 from ethereum/travisEmscriptenMinimalAlex Beregszaszi2018-11-226-27/+29
|\ \ \ \ \
| * | | | | Changelog entry.chriseth2018-11-211-0/+3
| * | | | | Use emscripten 1.37.21 and boost 1.67.0 on both travis and circle.Daniel Kirchner2018-11-215-27/+26
* | | | | | Merge pull request #5436 from ethereum/docs-faq-types-rem-structchriseth2018-11-221-18/+0
|\ \ \ \ \ \ | |_|/ / / / |/| | | | |
| * | | | | Remove Struct copy FAQ itemChris Ward2018-11-151-18/+0
| | |/ / / | |/| | |
* | | | | Merge pull request #5466 from ethereum/smt_refactor_sort_patch1Alex Beregszaszi2018-11-2113-100/+102
|\ \ \ \ \
| * | | | | [SMTChecker] Refactor smt::Sort and its usageLeonardo Alt2018-11-2113-100/+102
| | |/ / / | |/| | |
* | | | | Merge pull request #5444 from Mordax/issue-5168-rmvirtualAlex Beregszaszi2018-11-2136-650/+650
|\ \ \ \ \
| * | | | | Removing redundant virtual from override function declarationmordax2018-11-2136-650/+650
| |/ / / /
* | | | | Merge pull request #5355 from ethereum/yul-forloop-pre-rewritechriseth2018-11-218-1/+159
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | [Yul] Implements a pass to rewrite for-loop's pre block into the parent's Block.Christian Parpart2018-11-168-1/+159
* | | | | Merge pull request #5309 from ethereum/smt_bound_functionsAlex Beregszaszi2018-11-196-0/+91
|\ \ \ \ \
| * | | | | [SMTChecker] Support bound function callsLeonardo Alt2018-11-196-0/+91
|/ / / / /
* | | | | Merge pull request #5307 from ethereum/smt_ufLeonardo2018-11-1717-27/+110
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | [SMTChecker] Implement uninterpreted functions and use it for blockhash()Leonardo Alt2018-11-1517-27/+110
| | |/ / | |/| |
* | | | Merge pull request #5441 from ethereum/github-vm-versionAlex Beregszaszi2018-11-151-0/+1
|\ \ \ \ | |_|/ / |/| | |
| * | | Ask for target EVM version in issue templateAlex Beregszaszi2018-11-151-0/+1
|/ / /
* | | Merge pull request #5430 from kn1g/patch-1Alex Beregszaszi2018-11-151-3/+3
|\ \ \ | |/ / |/| |
| * | Fixed consistent use of `nameReg` Yet another codejunkie2018-11-151-1/+1
| * | Consistent use of address()Yet another codejunkie2018-11-151-3/+3
* | | Merge pull request #5368 from ethereum/noCleanupUnsignedAlex Beregszaszi2018-11-153-2/+10
|\ \ \
| * | | 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 documentationAlex Beregszaszi2018-11-151-3/+1
|/ / /
* | | Merge pull request #5428 from ethereum/yulObjectSpecChangechriseth2018-11-151-6/+37
|\ \ \ | |/ / |/| |
| * | 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
|\ \
| * | Begin review of micropayments exampleChris Ward2018-11-151-124/+65
|/ /
* | Merge pull request #5323 from ethereum/docs-input-output-change-control-structchriseth2018-11-141-31/+49
|\ \
| * | Change terminology used for input output parametersChris Ward2018-11-141-31/+49
* | | Merge pull request #5423 from ethereum/enable-coverageAlex Beregszaszi2018-11-141-1/+1
|\ \ \ | |/ / |/| |
| * | Revert "Disable covereage cmake option"Alex Beregszaszi2018-11-141-1/+1
* | | Merge pull request #5324 from ethereum/docs-input-output-change-typeschriseth2018-11-143-6/+5
|\ \ \ | |/ / |/| |
| * | 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 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
|\ \ \ | |/ / |/| |
| * | 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
|\ \ \
| * | | 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.chriseth2018-11-141-1/+1
* | | | | Merge pull request #5367 from ethereum/signedYulchriseth2018-11-141-3/+3
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | 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 pull request #5416 from ethereum/developchriseth2018-11-141945-25957/+43906
| |\ \
* | \ \ Merge pull request #5417 from ethereum/version051chriseth2018-11-142-1/+13
|\ \ \ \ | |_|/ / |/| | |
| * | | 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.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
|/ / / / / /
generated by cgit (git 2.34.1) at 2024-11-17 14:14:25 +0800