aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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
|/ / / / / /
* | | | | | Merge pull request #3047 from ethereum/abi-strictchriseth2018-10-181-0/+11
|\ \ \ \ \ \ | |/ / / / / |/| | | | |
| * | | | | Add strict encoding mode to the ABI specAlex Beregszaszi2018-07-061-0/+11
* | | | | | Merge pull request #5235 from ethereum/smt_refactor_typesLeonardo2018-10-1814-218/+378
|\ \ \ \ \ \
| * | | | | | Refactor SymbolicAddressVariable and SymbolicVariable allocationLeonardo Alt2018-10-178-51/+159
| * | | | | | Consistent renaming of 'counters' and 'sequence' to 'index'Leonardo Alt2018-10-1710-71/+71
| * | | | | | [SMTChecker] Refactoring typesLeonardo Alt2018-10-1712-150/+202
* | | | | | | Merge pull request #5224 from bshastry/compilerwarn-fixchriseth2018-10-171-2/+2
|\ \ \ \ \ \ \
| * | | | | | | Retained move/copy semantics; removed const qualifier from Expression's membe...Bhargava Shastry2018-10-171-2/+4
| * | | | | | | Fix compiler warning: clang-8 warns of explicitly-defined op implicitly delet...Bhargava Shastry2018-10-171-2/+0
| |/ / / / / /
* | | | | | | Merge pull request #5232 from ethereum/inlineHeuristicchriseth2018-10-177-8/+170
|\ \ \ \ \ \ \
| * | | | | | | Use metrics in the full inliner.chriseth2018-10-177-8/+170
* | | | | | | | Merge pull request #5245 from ethereum/chriseth-patch-2chriseth2018-10-171-0/+3
|\ \ \ \ \ \ \ \ | |_|_|_|/ / / / |/| | | | | | |
| * | | | | | | Add Ethfiddlechriseth2018-10-171-0/+3
| | |/ / / / / | |/| | | | |
* | | | | | | Merge pull request #5227 from ethereum/doNotRemoveExternallyUsedFunctionchriseth2018-10-1710-19/+49
|\ \ \ \ \ \ \
| * | | | | | | Handle externally supplied variables correctly in disambiguator.chriseth2018-10-173-4/+13
| * | | | | | | Prevent externally used functions from being removed.chriseth2018-10-177-15/+36
| | |/ / / / / | |/| | | | |
* | | | | | | Merge pull request #5248 from Karocyt/frenchdocchriseth2018-10-171-0/+1
|\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | |
| * | | | | | French translation (in progress) added to the docsKevin Azoulay2018-10-171-0/+1
|/ / / / / /
* | | | | | Merge pull request #5233 from pRoy24/developchriseth2018-10-171-1/+1
|\ \ \ \ \ \ | |/ / / / / |/| | | | |
| * | | | | Update minor typo in Storage section of docsPritam Roy2018-10-161-1/+1
| | |/ / / | |/| | |
* | | | | Merge pull request #5207 from ethereum/inlineViaBreakchriseth2018-10-1713-268/+285
|\ \ \ \ \
| * | | | | Inline each function separately.chriseth2018-10-164-69/+29
| * | | | | Test for crash via inlining.chriseth2018-10-161-0/+84
| * | | | | New full inliner.chriseth2018-10-1612-253/+226
* | | | | | Merge pull request #5243 from jeffanthony/patch-2chriseth2018-10-171-1/+1
|\ \ \ \ \ \ | |/ / / / / |/| | | | |
| * | | | | minor spelling correctionJeffrey Anthony2018-10-171-1/+1
|/ / / / /
* | | | | Merge pull request #5147 from ethereum/simplifierViaBrokenchriseth2018-10-1623-16/+383
|\ \ \ \ \
| * | | | | Add a "full simplify" test that applies multiple elementary transforms.chriseth2018-10-1617-0/+198
| * | | | | New simplifier via broken expressions.chriseth2018-10-165-16/+74
| * | | | | SSA value tracker.chriseth2018-10-162-0/+111
|/ / / / /
* | | | | Merge pull request #5236 from ethereum/clang7chriseth2018-10-161-0/+24
|\ \ \ \ \
| * | | | | Add clang7 build stepchriseth2018-10-161-0/+24
| |/ / / /
* | | | | Merge pull request #5225 from mestorlx/issue5007chriseth2018-10-163-6/+13
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | fix issue##5007mestorlx2018-10-163-6/+13
* | | | | Merge pull request #5226 from ethereum/chriseth-patch-3chriseth2018-10-161-1/+2
|\ \ \ \ \
| * | | | | Correct include pathchriseth2018-10-161-1/+2
* | | | | | Merge pull request #5222 from ethereum/yul-block-flattenerchriseth2018-10-168-2/+171
|\ \ \ \ \ \ | |/ / / / / |/| | | | |
| * | | | | Yul: Introduces a block flattening pass + testsChristian Parpart2018-10-168-2/+171
| |/ / / /
* | | | | Merge pull request #5223 from bshastry/testoptions-bugfixchriseth2018-10-161-1/+1
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | Bug fix: Add missing include in test/Options.h; otherwise compiler does not r...Bhargava Shastry2018-10-151-1/+1
|/ / / /
* | | | Merge pull request #5209 from ethereum/smt_ssa_refactorchriseth2018-10-159-37/+48
|\ \ \ \
| * | | | Refactor SSAVariable such that it only uses Type and not DeclarationLeonardo Alt2018-10-159-37/+48
* | | | | Merge pull request #5189 from ethereum/smt_function_callchriseth2018-10-1525-75/+534
|\ \ \ \ \
| * | | | | [SMTChecker] Inline calls to internal functionsLeonardo Alt2018-10-1525-75/+534
|/ / / / /
* | | | | Merge pull request #4843 from ethereum/docs-2177-abi-typechriseth2018-10-151-1/+1
|\ \ \ \ \
| * | | | | Link and clarify ABI typeChris Ward2018-10-151-1/+1
* | | | | | Merge pull request #5221 from ethereum/splitRenamingLeftoverschriseth2018-10-153-4/+4
|\ \ \ \ \ \ | |_|/ / / / |/| | | | |
| * | | | | Some renaming leftovers.chriseth2018-10-153-4/+4
* | | | | | Merge pull request #5208 from mestorlx/bug4156chriseth2018-10-155-4/+48
|\ \ \ \ \ \ | |/ / / / / |/| | | | |
generated by cgit (git 2.34.1) at 2024-11-19 01:13:55 +0800