Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | | | | Change scanner error diagnostics to be non-intrusive to the token API. | Christian Parpart | 2018-11-24 | 4 | -62/+83 | |
| * | | | | | | adapt to latest code changes | Lazaridis | 2018-11-24 | 11 | -36/+79 | |
| | |_|_|/ / | |/| | | | | ||||||
* | | | | | | Merge pull request #5497 from ethereum/langutil-SourceReferenceFormatter | chriseth | 2018-11-26 | 11 | -33/+19 | |
|\ \ \ \ \ \ | |_|/ / / / |/| | | | | | ||||||
| * | | | | | Moving SourceReferenceFormatter into langutil namespace. | Christian Parpart | 2018-11-24 | 11 | -33/+19 | |
| |/ / / / | ||||||
* | | | | | Merge pull request #5485 from ethereum/refactorCallableFunction | chriseth | 2018-11-26 | 4 | -33/+33 | |
|\ \ \ \ \ | ||||||
| * | | | | | Correct style. | chriseth | 2018-11-23 | 1 | -16/+16 | |
| * | | | | | Use callable function for virtual resolution. | chriseth | 2018-11-22 | 1 | -1/+1 | |
| * | | | | | Make asCallableFunction to never fail and assert abount parameter size if bou... | chriseth | 2018-11-22 | 2 | -8/+8 | |
| * | | | | | Rename 'asMemberFunction' to widen its purpose. | chriseth | 2018-11-22 | 2 | -9/+9 | |
* | | | | | | Merge pull request #5503 from davidlj95/patch-1 | chriseth | 2018-11-26 | 1 | -1/+1 | |
|\ \ \ \ \ \ | |_|_|/ / / |/| | | | | | ||||||
| * | | | | | Update types.rst | David Lozano Jarque | 2018-11-26 | 1 | -1/+1 | |
|/ / / / / | ||||||
* | | | | | Merge pull request #5500 from davidlj95/patch-1 | Alex Beregszaszi | 2018-11-26 | 2 | -2/+2 | |
|\ \ \ \ \ | ||||||
| * | | | | | Update installing-solidity.rst | David Lozano Jarque | 2018-11-26 | 1 | -1/+1 | |
| * | | | | | Update introduction-to-smart-contracts.rst | David Lozano Jarque | 2018-11-26 | 1 | -1/+1 | |
|/ / / / / | ||||||
* | | | | | Merge pull request #5499 from lazaridiscom/decouple-TestCase | Alex Beregszaszi | 2018-11-25 | 6 | -5/+5 | |
|\ \ \ \ \ | |_|/ / / |/| | | | | ||||||
| * | | | | decouple TestCase class from test/libsolidity | Lazaridis | 2018-11-25 | 6 | -5/+5 | |
|/ / / / | ||||||
* | | | | Merge pull request #5472 from ethereum/assemblyAnnotationOutput | chriseth | 2018-11-24 | 2 | -0/+3 | |
|\ \ \ \ | ||||||
| * | | | | Changelog entry. | chriseth | 2018-11-22 | 1 | -0/+1 | |
| * | | | | Jumps with annotations cannot be functional. | chriseth | 2018-11-22 | 1 | -0/+2 | |
* | | | | | Merge pull request #5491 from ethereum/libyul-as-library | chriseth | 2018-11-24 | 112 | -837/+608 | |
|\ \ \ \ \ | ||||||
| * | | | | | Remove superfluous libyul/ASTDataForward.h and include libyul/AsmDataForward ... | Christian Parpart | 2018-11-23 | 22 | -46/+21 | |
| * | | | | | Isolating libyul library API into its own namespace `yul`. | Christian Parpart | 2018-11-23 | 105 | -582/+366 | |
| * | | | | | CMake: Isolate libyul into its own static library | Christian Parpart | 2018-11-23 | 4 | -4/+48 | |
| * | | | | | Reorder some include files and group <libyul/>'s together (as much as possible) | Christian Parpart | 2018-11-23 | 39 | -60/+28 | |
| * | | | | | Rewrite header paths to adapt to recent `git mv` of libsolidity/inlineasm to ... | Christian Parpart | 2018-11-23 | 65 | -107/+107 | |
| * | | | | | Moving files from libsolidity/inlineasm/*.{cpp,h} to libyul/. | Christian Parpart | 2018-11-23 | 16 | -0/+0 | |
* | | | | | | Merge pull request #5492 from ethereum/audit-NULL-to-nullptr | Christian Parpart | 2018-11-23 | 1 | -8/+8 | |
|\ \ \ \ \ \ | ||||||
| * | | | | | | Replace all occurrences of NULL with nullptr. | Christian Parpart | 2018-11-23 | 1 | -8/+8 | |
| |/ / / / / | ||||||
* | | | | | | Merge pull request #3073 from ethereum/smtlib2_via_standardio | Alex Beregszaszi | 2018-11-23 | 24 | -26/+356 | |
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | ||||||
| * | | | | | Add SMTChecker tests for standard JSON | Leonardo Alt | 2018-11-23 | 13 | -2/+270 | |
| * | | | | | Testing with smtlib2 interface always there | Leonardo Alt | 2018-11-23 | 1 | -6/+1 | |
| * | | | | | Error message stays in the SMTChecker | Leonardo Alt | 2018-11-23 | 2 | -8/+9 | |
| * | | | | | Display better error message in SMTLib2 | Leonardo Alt | 2018-11-23 | 3 | -8/+10 | |
| * | | | | | Renaming json fields smtlib2queries and smtlib2responses | Leonardo Alt | 2018-11-23 | 1 | -2/+2 | |
| * | | | | | Rename function and warn if responses are supplied for Z3. | chriseth | 2018-11-23 | 3 | -7/+13 | |
| * | | | | | Inject SMTLIB2 queries and responses via standard-json-io. | chriseth | 2018-11-23 | 11 | -20/+78 | |
|/ / / / / | ||||||
* | | | | | Merge pull request #5489 from ethereum/chriseth-patch-1 | chriseth | 2018-11-23 | 1 | -7/+9 | |
|\ \ \ \ \ | ||||||
| * | | | | | Style | chriseth | 2018-11-23 | 1 | -7/+9 | |
* | | | | | | Merge pull request #5490 from ethereum/fixBytecode | chriseth | 2018-11-23 | 1 | -2/+2 | |
|\ \ \ \ \ \ | ||||||
| * | | | | | | Fix bytecode report file. | chriseth | 2018-11-23 | 1 | -2/+2 | |
| |/ / / / / | ||||||
* | | | | | | Merge pull request #5488 from lazaridiscom/patch-3 | chriseth | 2018-11-23 | 2 | -2/+3 | |
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | ||||||
| * | | | | | Update paths to CharStream, Scanner and Token files. | chriseth | 2018-11-23 | 1 | -1/+1 | |
| * | | | | | Mention third party licenses. | Lazaridis | 2018-11-23 | 1 | -1/+2 | |
|/ / / / / | ||||||
* | | | | | Merge pull request #4958 from liangdzou/issue_4494_error_out_when_no_output_r... | Alex Beregszaszi | 2018-11-23 | 1 | -80/+117 | |
|\ \ \ \ \ | ||||||
| * | | | | | Notify user on successful run without output. | liangdzou | 2018-11-23 | 1 | -80/+117 | |
| | |/ / / | |/| | | | ||||||
* | | | | | Merge pull request #5481 from ethereum/fix-byecodecompare | Alex Beregszaszi | 2018-11-23 | 1 | -5/+11 | |
|\ \ \ \ \ | ||||||
| * | | | | | Fix storebytecode.sh for bytecode comparison | Alex Beregszaszi | 2018-11-22 | 1 | -5/+11 | |
* | | | | | | Merge pull request #5451 from ethereum/bound_function_tests | chriseth | 2018-11-23 | 5 | -0/+46 | |
|\ \ \ \ \ \ | ||||||
| * | | | | | | Add assert and tests for bound functions | Leonardo Alt | 2018-11-22 | 5 | -0/+46 | |
* | | | | | | | Merge pull request #5482 from ethereum/smt_refactor_sort_patch4 | Alex Beregszaszi | 2018-11-23 | 6 | -44/+58 | |
|\ \ \ \ \ \ \ | ||||||
| * | | | | | | | [SMTChecker] Refactor setZeroValue and setUnknownValue | Leonardo Alt | 2018-11-22 | 6 | -44/+58 | |
|/ / / / / / / | ||||||
* | | | | | | | Merge pull request #4645 from ethereum/smt-syntax-tests | Alex Beregszaszi | 2018-11-22 | 47 | -593/+491 | |
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | | | ||||||
| * | | | | | | Organize smt tests in subdirectories | Leonardo Alt | 2018-11-22 | 46 | -0/+0 | |
| * | | | | | | Remove pragma ABIEncoderV2 from smt test | Leonardo Alt | 2018-11-22 | 1 | -6/+8 | |
| * | | | | | | Drop numbering in front of the SMTChecker tests | Alex Beregszaszi | 2018-11-22 | 46 | -0/+0 | |
| * | | | | | | Move most of SMTChecker tests from C++ to isoltest | Alex Beregszaszi | 2018-11-22 | 47 | -593/+489 | |
|/ / / / / / | ||||||
* | | | | | | Merge pull request #5478 from ethereum/smt_refactor_sort_patch3 | Alex Beregszaszi | 2018-11-22 | 5 | -2/+76 | |
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | ||||||
| * | | | | | [SMTChecker] Add ArraySort and array operations | Leonardo Alt | 2018-11-22 | 5 | -2/+76 | |
|/ / / / / | ||||||
* | | | | | Merge pull request #5471 from ethereum/smt_refactor_sort_patch2 | Alex Beregszaszi | 2018-11-22 | 14 | -128/+134 | |
|\ \ \ \ \ | |/ / / / |/| | | | | ||||||
| * | | | | [SMTChecker] Add FunctionSort and refactors the solver interface to create va... | Leonardo Alt | 2018-11-22 | 14 | -128/+134 | |
|/ / / / | ||||||
* | | | | Merge pull request #5328 from SuperblocksHQ/develop | Alex Beregszaszi | 2018-11-22 | 1 | -2/+4 | |
|\ \ \ \ | ||||||
| * | | | | Added Superblocks Lab IDE to the generic section | Javier Tarazaga | 2018-11-22 | 1 | -2/+4 | |
|/ / / / | ||||||
* | | | | Merge pull request #5434 from fulldecent/patch-8 | chriseth | 2018-11-22 | 1 | -1/+1 | |
|\ \ \ \ | ||||||
| * | | | | Qualify that storage slots are shared for contiguous data | William Entriken | 2018-11-15 | 1 | -1/+1 | |
* | | | | | Merge pull request #5427 from ethereum/liblangutil | chriseth | 2018-11-22 | 155 | -829/+1163 | |
|\ \ \ \ \ | ||||||
| * | | | | | Introduce namespace `langutil` in liblangutil directory. | Christian Parpart | 2018-11-22 | 118 | -287/+476 | |
| * | | | | | Ensure liblangutil is compiled and linked as its own static library. | Christian Parpart | 2018-11-22 | 3 | -3/+10 | |
| * | | | | | Splitting out CharStream from Scanner. | Christian Parpart | 2018-11-22 | 4 | -81/+216 | |
| * | | | | | Isolating files shared between Yul- and Solidity language frontend. | Christian Parpart | 2018-11-22 | 101 | -132/+135 | |
* | | | | | | Merge pull request #5473 from ethereum/tests-constructor | Alex Beregszaszi | 2018-11-22 | 1 | -1/+1 | |
|\ \ \ \ \ \ | |_|_|/ / / |/| | | | | | ||||||
| * | | | | | Fix constructor in AuctionRegistrar | Alex Beregszaszi | 2018-11-22 | 1 | -1/+1 | |
|/ / / / / | ||||||
* | | | | | Merge pull request #5439 from ethereum/docs-faq-types-array-length | chriseth | 2018-11-22 | 2 | -45/+3 | |
|\ \ \ \ \ | |/ / / / |/| | | | | ||||||
| * | | | | Remove length related FAQ item | Chris Ward | 2018-11-15 | 2 | -45/+3 | |
| | |/ / | |/| | | ||||||
* | | | | Merge pull request #2520 from ethereum/lll-with | chriseth | 2018-11-22 | 2 | -0/+52 | |
|\ \ \ \ | ||||||
| * | | | | LLL: implement WITH keyword | Alex Beregszaszi | 2018-11-21 | 2 | -0/+42 | |
| * | | | | LLL: add UNSET to remove a variable | Alex Beregszaszi | 2018-11-21 | 1 | -0/+10 | |
* | | | | | Merge pull request #4486 from ethereum/travisEmscriptenMinimal | Alex Beregszaszi | 2018-11-22 | 6 | -27/+29 | |
|\ \ \ \ \ | ||||||
| * | | | | | Changelog entry. | chriseth | 2018-11-21 | 1 | -0/+3 | |
| * | | | | | Use emscripten 1.37.21 and boost 1.67.0 on both travis and circle. | Daniel Kirchner | 2018-11-21 | 5 | -27/+26 | |
* | | | | | | Merge pull request #5436 from ethereum/docs-faq-types-rem-struct | chriseth | 2018-11-22 | 1 | -18/+0 | |
|\ \ \ \ \ \ | |_|/ / / / |/| | | | | | ||||||
| * | | | | | Remove Struct copy FAQ item | Chris Ward | 2018-11-15 | 1 | -18/+0 | |
| | |/ / / | |/| | | | ||||||
* | | | | | Merge pull request #5466 from ethereum/smt_refactor_sort_patch1 | Alex Beregszaszi | 2018-11-21 | 13 | -100/+102 | |
|\ \ \ \ \ | ||||||
| * | | | | | [SMTChecker] Refactor smt::Sort and its usage | Leonardo Alt | 2018-11-21 | 13 | -100/+102 | |
| | |/ / / | |/| | | | ||||||
* | | | | | Merge pull request #5444 from Mordax/issue-5168-rmvirtual | Alex Beregszaszi | 2018-11-21 | 36 | -650/+650 | |
|\ \ \ \ \ | ||||||
| * | | | | | Removing redundant virtual from override function declaration | mordax | 2018-11-21 | 36 | -650/+650 | |
| |/ / / / | ||||||
* | | | | | Merge pull request #5355 from ethereum/yul-forloop-pre-rewrite | chriseth | 2018-11-21 | 8 | -1/+159 | |
|\ \ \ \ \ | |/ / / / |/| | | | | ||||||
| * | | | | [Yul] Implements a pass to rewrite for-loop's pre block into the parent's Block. | Christian Parpart | 2018-11-16 | 8 | -1/+159 | |
* | | | | | Merge pull request #5309 from ethereum/smt_bound_functions | Alex Beregszaszi | 2018-11-19 | 6 | -0/+91 | |
|\ \ \ \ \ | ||||||
| * | | | | | [SMTChecker] Support bound function calls | Leonardo Alt | 2018-11-19 | 6 | -0/+91 | |
|/ / / / / | ||||||
* | | | | | Merge pull request #5307 from ethereum/smt_uf | Leonardo | 2018-11-17 | 17 | -27/+110 | |
|\ \ \ \ \ | |/ / / / |/| | | | | ||||||
| * | | | | [SMTChecker] Implement uninterpreted functions and use it for blockhash() | Leonardo Alt | 2018-11-15 | 17 | -27/+110 | |
| | |/ / | |/| | | ||||||
* | | | | Merge pull request #5441 from ethereum/github-vm-version | Alex Beregszaszi | 2018-11-15 | 1 | -0/+1 | |
|\ \ \ \ | |_|/ / |/| | | | ||||||
| * | | | Ask for target EVM version in issue template | Alex Beregszaszi | 2018-11-15 | 1 | -0/+1 | |
|/ / / | ||||||
* | | | Merge pull request #5430 from kn1g/patch-1 | Alex Beregszaszi | 2018-11-15 | 1 | -3/+3 | |
|\ \ \ | |/ / |/| | | ||||||
| * | | Fixed consistent use of `nameReg` | Yet another codejunkie | 2018-11-15 | 1 | -1/+1 | |
| * | | Consistent use of address() | Yet another codejunkie | 2018-11-15 | 1 | -3/+3 | |
* | | | Merge pull request #5368 from ethereum/noCleanupUnsigned | Alex Beregszaszi | 2018-11-15 | 3 | -2/+10 | |
|\ \ \ | ||||||
| * | | | Do not perform cleanup on unsigned integers when loading from calldata. | chriseth | 2018-11-15 | 3 | -2/+10 | |
* | | | | Merge pull request #5433 from ethereum/docs-fix | Alex Beregszaszi | 2018-11-15 | 1 | -3/+1 | |
|\ \ \ \ | |/ / / |/| | | | ||||||
| * | | | Fix indentation in documentation | Alex Beregszaszi | 2018-11-15 | 1 | -3/+1 | |
|/ / / | ||||||
* | | | Merge pull request #5428 from ethereum/yulObjectSpecChange | chriseth | 2018-11-15 | 1 | -6/+37 | |
|\ \ \ | |/ / |/| | | ||||||
| * | | Small changes to yul object specification. | chriseth | 2018-11-15 | 1 | -6/+37 | |
|/ / | ||||||
* | | Merge pull request #4523 from ethereum/micropayment-channel-example-polish | chriseth | 2018-11-15 | 1 | -124/+65 | |
|\ \ | ||||||
| * | | Begin review of micropayments example | Chris Ward | 2018-11-15 | 1 | -124/+65 | |
|/ / | ||||||
* | | Merge pull request #5323 from ethereum/docs-input-output-change-control-struct | chriseth | 2018-11-14 | 1 | -31/+49 | |
|\ \ | ||||||
| * | | Change terminology used for input output parameters | Chris Ward | 2018-11-14 | 1 | -31/+49 | |
* | | | Merge pull request #5423 from ethereum/enable-coverage | Alex Beregszaszi | 2018-11-14 | 1 | -1/+1 | |
|\ \ \ | |/ / |/| | | ||||||
| * | | Revert "Disable covereage cmake option" | Alex Beregszaszi | 2018-11-14 | 1 | -1/+1 | |
* | | | Merge pull request #5324 from ethereum/docs-input-output-change-types | chriseth | 2018-11-14 | 3 | -6/+5 | |
|\ \ \ | |/ / |/| | | ||||||
| * | | Update syntax used for input and output parameters | Chris Ward | 2018-11-14 | 3 | -6/+5 | |
|/ / | ||||||
* | | Merge pull request #4693 from ethereum/compilerstack | chriseth | 2018-11-14 | 1 | -16/+25 | |
|\ \ | ||||||
| * | | Add CompilerStack state assertions in internal methods | Alex Beregszaszi | 2018-11-14 | 1 | -6/+12 | |
| * | | Move lastContractName closer to contractNames | Alex Beregszaszi | 2018-11-14 | 1 | -13/+13 | |
| * | | Do not crash on filesystemFriendlyName if no contracts were compiled | Alex Beregszaszi | 2018-11-14 | 1 | -0/+3 | |
* | | | Merge pull request #5373 from ethereum/archlinuxCI | chriseth | 2018-11-14 | 1 | -0/+47 | |
|\ \ \ | |/ / |/| | | ||||||
| * | | Only run soltest with --no-ipc. | Daniel Kirchner | 2018-11-09 | 1 | -4/+2 | |
| * | | Add archlinux run on circleci. | Daniel Kirchner | 2018-11-09 | 1 | -0/+49 | |
* | | | Merge pull request #5410 from ethereum/lll-build | chriseth | 2018-11-14 | 8 | -6/+28 | |
|\ \ \ | ||||||
| * | | | Build with LLL on CircleCI | Alex Beregszaszi | 2018-11-14 | 1 | -0/+2 | |
| * | | | Move LLL tests into a single directory | Alex Beregszaszi | 2018-11-14 | 2 | -0/+0 | |
| * | | | Do not build tests for LLL if disabled | Alex Beregszaszi | 2018-11-14 | 2 | -3/+12 | |
| * | | | Do not build LLL unless requested via the LLL cmake option | Alex Beregszaszi | 2018-11-14 | 3 | -3/+14 | |
* | | | | Merge pull request #5419 from ethereum/fixcmdlinetests | chriseth | 2018-11-14 | 1 | -1/+1 | |
|\ \ \ \ | ||||||
| * | | | | Fix commandline tests. | chriseth | 2018-11-14 | 1 | -1/+1 | |
* | | | | | Merge pull request #5367 from ethereum/signedYul | chriseth | 2018-11-14 | 1 | -3/+3 | |
|\ \ \ \ \ | |/ / / / |/| | | | | ||||||
| * | | | | Rename some builtin yul functions for signed types. | chriseth | 2018-11-14 | 1 | -3/+3 | |
|/ / / / | ||||||
* | | | | Merge pull request #5420 from ethereum/release | chriseth | 2018-11-14 | 0 | -0/+0 | |
|\ \ \ \ | |/ / / |/| | / | | |/ | |/| | ||||||
| * | | Merge pull request #5416 from ethereum/develop | chriseth | 2018-11-14 | 1945 | -25957/+43906 | |
| |\ \ | ||||||
* | \ \ | Merge pull request #5417 from ethereum/version051 | chriseth | 2018-11-14 | 2 | -1/+13 | |
|\ \ \ \ | |_|/ / |/| | | | ||||||
| * | | | Set version to 0.5.1. | chriseth | 2018-11-14 | 2 | -1/+13 | |
|/ / / | ||||||
* | | | Merge pull request #5413 from ethereum/updateChangelogForRelease | chriseth | 2018-11-14 | 2 | -1/+5 | |
|\ \ \ | ||||||
| * | | | Add release date to changelog. | chriseth | 2018-11-13 | 2 | -1/+5 | |
* | | | | Merge pull request #5412 from ritzdorf/patch-2 | chriseth | 2018-11-13 | 1 | -1/+1 | |
|\ \ \ \ | ||||||
| * | | | | keccak256 does not call an external contract | ritzdorf | 2018-11-13 | 1 | -1/+1 | |
* | | | | | Merge pull request #5411 from ethereum/lll-docs | chriseth | 2018-11-13 | 2 | -0/+15 | |
|\ \ \ \ \ | |_|/ / / |/| | | | | ||||||
| * | | | | Add LLL chapter in the documentation | Alex Beregszaszi | 2018-11-13 | 2 | -0/+15 | |
| |/ / / | ||||||
* | | | | Merge pull request #5342 from Mordax/issue-5177 | chriseth | 2018-11-13 | 1 | -1/+1 | |
|\ \ \ \ | ||||||
| * | | | | Disable covereage cmake option | mordax | 2018-11-04 | 1 | -1/+1 | |
* | | | | | Merge pull request #5105 from ethereum/libsolc-api | chriseth | 2018-11-13 | 8 | -379/+41 | |
|\ \ \ \ \ | ||||||
| * | | | | | Fix bytecode tests for solc-js | chriseth | 2018-11-13 | 1 | -5/+14 | |
| * | | | | | Use latest solcjs and replace compileStandard by compile. | chriseth | 2018-11-13 | 2 | -2/+14 | |
| * | | | | | Remove old libsolc API (compileJSON, compileJSONMulti, compileJSONCallback) | Alex Beregszaszi | 2018-11-13 | 6 | -373/+14 | |
| | |/ / / | |/| | | | ||||||
* | | | | | Merge pull request #5398 from ethereum/smt_model_scanner | Leonardo | 2018-11-13 | 4 | -3/+15 | |
|\ \ \ \ \ | |/ / / / |/| | | | | ||||||
| * | | | | Add Scanner function that prints source based on SourceLocation | Leonardo Alt | 2018-11-13 | 4 | -3/+15 | |
* | | | | | Merge pull request #5020 from ethereum/lll-seq-fix | chriseth | 2018-11-13 | 3 | -479/+502 | |
|\ \ \ \ \ | |/ / / / |/| | | | | ||||||
| * | | | | LLL: ensure assembly tests have the correct arguments | Alex Beregszaszi | 2018-11-13 | 1 | -168/+168 | |
| * | | | | Add LLL error when assembly instruction causes stack underflow | Alex Beregszaszi | 2018-11-13 | 1 | -1/+6 | |
| * | | | | LLL: add test which has a sub assembly without a forced STOP | Alex Beregszaszi | 2018-11-13 | 1 | -0/+14 | |
| * | | | | LLL bytecode is padded by STOP in tests | Alex Beregszaszi | 2018-11-13 | 1 | -239/+239 | |
| * | | | | LLL: do not wrap opcode tests into sequence | Alex Beregszaszi | 2018-11-13 | 1 | -239/+239 | |
| * | | | | LLL: terminate sequences with a STOP | Alex Beregszaszi | 2018-11-13 | 1 | -0/+4 | |
|/ / / / | ||||||
* | | | | Merge pull request #5408 from ethereum/updateTests | chriseth | 2018-11-13 | 1 | -66/+66 | |
|\ \ \ \ | ||||||
| * | | | | Update tests. | chriseth | 2018-11-13 | 1 | -66/+66 | |
|/ / / / | ||||||
* | | | | Merge pull request #5406 from ethereum/uninitializedStorageUnimplemented | chriseth | 2018-11-13 | 4 | -2/+14 | |
|\ \ \ \ | ||||||
| * | | | | Ignore unimplemented functions for storage returns. | Daniel Kirchner | 2018-11-13 | 4 | -2/+14 | |
* | | | | | Merge pull request #5333 from ethereum/joinPerformance | chriseth | 2018-11-13 | 3 | -20/+718 | |
|\ \ \ \ \ | ||||||
| * | | | | | Remove variables that go out of scope from data structure. | chriseth | 2018-11-13 | 3 | -149/+199 | |
| * | | | | | Use map join algorithm for performance. | chriseth | 2018-11-13 | 3 | -10/+658 | |
| |/ / / / | ||||||
* | | | | | Merge pull request #5400 from ethereum/fixcheckstyle | chriseth | 2018-11-13 | 2 | -7/+4 | |
|\ \ \ \ \ | ||||||
| * | | | | | Fix check style script. | chriseth | 2018-11-13 | 1 | -5/+2 | |
| * | | | | | Fix style. | chriseth | 2018-11-13 | 1 | -2/+2 | |
| |/ / / / | ||||||
* | | | | | Merge pull request #5392 from ethereum/yulStringRepositoryHash | chriseth | 2018-11-13 | 5 | -44/+71 | |
|\ \ \ \ \ | |/ / / / |/| | | | | ||||||
| * | | | | Deterministic YulStringRepository using string hashes. | Daniel Kirchner | 2018-11-13 | 5 | -44/+71 | |
* | | | | | Merge pull request #5070 from ethereum/2661-clarify-contract-example | chriseth | 2018-11-12 | 1 | -13/+20 | |
|\ \ \ \ \ | ||||||
| * | | | | | Clarify creating a contract example as reported in #2661 | Chris Ward | 2018-11-12 | 1 | -13/+20 | |
|/ / / / / | ||||||
* | | | | | Merge pull request #4497 from ethereum/faq-reorg-control-structures | chriseth | 2018-11-12 | 2 | -32/+20 | |
|\ \ \ \ \ | ||||||
| * | | | | | Move control structure related FAQ points | Chris Ward | 2018-11-12 | 2 | -32/+20 | |
|/ / / / / | ||||||
* | | | | | Merge pull request #4860 from ethereum/docs-2175-index-missing | chriseth | 2018-11-12 | 1 | -8/+7 | |
|\ \ \ \ \ | ||||||
| * | | | | | Clarify term and tidy text | Chris Ward | 2018-11-12 | 1 | -8/+7 | |
| |/ / / / | ||||||
* | | | | | Merge pull request #5364 from ethereum/chriseth-patch-5 | chriseth | 2018-11-12 | 1 | -0/+8 | |
|\ \ \ \ \ | |/ / / / |/| | | | | ||||||
| * | | | | Add note about changing the storage layout. | chriseth | 2018-11-12 | 1 | -0/+8 | |
|/ / / / | ||||||
* | | | | Merge pull request #5395 from ethereum/fixStyle | chriseth | 2018-11-12 | 5 | -8/+8 | |
|\ \ \ \ | ||||||
| * | | | | Fix for style. | chriseth | 2018-11-12 | 1 | -3/+3 | |
| * | | | | Remove trailing whitespace. | chriseth | 2018-11-12 | 4 | -5/+5 | |
|/ / / / | ||||||
* | | | | Merge pull request #5275 from svenski123/20181018-4894-refactoring-split-bool... | chriseth | 2018-11-12 | 5 | -278/+532 | |
|\ \ \ \ | ||||||
| * | | | | Refactor of bool TypeChecker::visit(FunctionCall const& _functionCall). | Kristofer Peterson | 2018-11-10 | 5 | -278/+532 | |
|/ / / / | ||||||
* | | | | Merge pull request #5128 from ethereum/breakUnbreak | chriseth | 2018-11-09 | 4 | -5/+74 | |
|\ \ \ \ | ||||||
| * | | | | Test case that shows that break/unbreak are more or less inverse. | chriseth | 2018-11-09 | 4 | -5/+74 | |
* | | | | | Merge pull request #5377 from ethereum/resetYulString | chriseth | 2018-11-09 | 3 | -2/+15 | |
|\ \ \ \ \ | ||||||
| * | | | | | Reset yul string repository. | chriseth | 2018-11-09 | 3 | -2/+15 | |
|/ / / / / | ||||||
* | | | | | Merge pull request #5265 from ethereum/cleanupsha3 | chriseth | 2018-11-09 | 17 | -98/+36 | |
|\ \ \ \ \ | |/ / / / |/| | | | | ||||||
| * | | | | Renamed SHA3.{h,cpp} files. | chriseth | 2018-10-18 | 17 | -16/+17 | |
| * | | | | Simplify sha3. | chriseth | 2018-10-18 | 2 | -82/+19 | |
* | | | | | Merge pull request #5326 from ethereum/removeSideEffectFreeStatements | chriseth | 2018-11-09 | 5 | -7/+23 | |
|\ \ \ \ \ | |_|_|_|/ |/| | | | | ||||||
| * | | | | Remove side-effect-free statements. | chriseth | 2018-11-09 | 5 | -7/+23 | |
|/ / / / | ||||||
* | | | | Merge pull request #5371 from nud3l/develop | chriseth | 2018-11-08 | 1 | -1/+1 | |
|\ \ \ \ | ||||||
| * | | | | Fix cmake Z3 import issue for Fedora | Dominik Harz | 2018-11-08 | 1 | -1/+1 | |
* | | | | | Merge pull request #5325 from ethereum/fixDataFlow | chriseth | 2018-11-08 | 3 | -0/+117 | |
|\ \ \ \ \ | ||||||
| * | | | | | Fix data flow analyzer for function definitions. | chriseth | 2018-11-08 | 3 | -0/+117 | |
* | | | | | | Merge pull request #5365 from ethereum/improveNameDispenser | chriseth | 2018-11-08 | 16 | -67/+66 | |
|\ \ \ \ \ \ | ||||||
| * | | | | | | Use single counter for name dispenser for performance reasons. | chriseth | 2018-11-08 | 16 | -67/+67 | |
* | | | | | | | Merge pull request #5366 from ethereum/addVarDecl | chriseth | 2018-11-08 | 2 | -1/+12 | |
|\ \ \ \ \ \ \ | |_|_|/ / / / |/| | | | | | | ||||||
| * | | | | | | Add VarDeclPropagator to full suite and interactive optimizer. | chriseth | 2018-11-08 | 2 | -1/+12 | |
| | |/ / / / | |/| | | | | ||||||
* | | | | | | Merge pull request #5370 from ethereum/fixWindows | Daniel Kirchner | 2018-11-08 | 1 | -0/+1 | |
|\ \ \ \ \ \ | ||||||
| * | | | | | | Fix windows build. | chriseth | 2018-11-08 | 1 | -0/+1 | |
| |/ / / / / | ||||||
* | | | | | | Merge pull request #5352 from ethereum/docContractConversions | chriseth | 2018-11-08 | 1 | -0/+8 | |
|\ \ \ \ \ \ | ||||||
| * | | | | | | Document disallowed explicit conversions between unrelated contract types. | Daniel Kirchner | 2018-11-07 | 1 | -0/+8 | |
* | | | | | | | Merge pull request #5353 from ethereum/docInteroperability | chriseth | 2018-11-08 | 1 | -1/+79 | |
|\ \ \ \ \ \ \ | ||||||
| * | | | | | | | Document interoperability between 0.5.0 and pre-0.5.0 contracts. | Daniel Kirchner | 2018-11-07 | 1 | -1/+79 | |
| |/ / / / / / | ||||||
* | | | | | | | Merge pull request #5351 from ethereum/functionTypeConversion | chriseth | 2018-11-08 | 14 | -2/+144 | |
|\ \ \ \ \ \ \ | ||||||
| * | | | | | | | Function type conversion test cases. | Daniel Kirchner | 2018-11-08 | 14 | -4/+144 | |
| * | | | | | | | Relax identity requirement of function type conversions during code generation. | Daniel Kirchner | 2018-11-06 | 1 | -0/+2 | |
| |/ / / / / / | ||||||
* | | | | | | | Merge pull request #5348 from ethereum/boostRationalNegativeDenominatorFix | chriseth | 2018-11-08 | 3 | -2/+16 | |
|\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | | | ||||||
| * | | | | | | Fix negative denominator in ``boost::rational`` during exponentiation. | Daniel Kirchner | 2018-11-06 | 3 | -2/+16 | |
| |/ / / / / | ||||||
* | | | | | | Merge pull request #5327 from ethereum/rematerializerSmall | chriseth | 2018-11-08 | 1 | -1/+5 | |
|\ \ \ \ \ \ | |_|/ / / / |/| | | | | | ||||||
| * | | | | | Add rematerializer to interactive optimizer. | chriseth | 2018-10-28 | 1 | -1/+5 | |
* | | | | | | Merge pull request #5334 from ethereum/stringPerformance | chriseth | 2018-11-08 | 59 | -243/+351 | |
|\ \ \ \ \ \ | ||||||
| * | | | | | | Performance: Replace string by special single-copy YulString class. | chriseth | 2018-11-08 | 59 | -243/+351 | |
|/ / / / / / | ||||||
* | | | | | | Merge pull request #5346 from ethereum/chriseth-patch-4 | chriseth | 2018-11-07 | 1 | -2/+1 | |
|\ \ \ \ \ \ | ||||||
| * | | | | | | Integers cannot be implicitly converted to address | chriseth | 2018-11-06 | 1 | -2/+1 | |
* | | | | | | | Merge pull request #5359 from ethereum/cpp17-forward-compat | chriseth | 2018-11-07 | 15 | -206/+204 | |
|\ \ \ \ \ \ \ | |_|_|/ / / / |/| | | | | | | ||||||
| * | | | | | | Eliminate `byte`-typedef and use `uint8_t` in all their places instead. | Christian Parpart | 2018-11-07 | 15 | -206/+204 | |
|/ / / / / / | ||||||
* | | | | | | Merge pull request #5347 from ethereum/boostRationalNegativeDenominator | Daniel Kirchner | 2018-11-06 | 1 | -2/+0 | |
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | ||||||
| * | | | | | Remove uses of boost::rational with negative denominator, which breaks with b... | Daniel Kirchner | 2018-11-06 | 1 | -2/+0 | |
|/ / / / / | ||||||
* | | | | | Merge pull request #5343 from lshapton/patch-1 | chriseth | 2018-11-05 | 1 | -1/+1 | |
|\ \ \ \ \ | |_|_|/ / |/| | | | | ||||||
| * | | | | Fixes typo | Leanne | 2018-11-04 | 1 | -1/+1 | |
|/ / / / | ||||||
* | | | | Merge pull request #5337 from ethereum/ubuntuVersion | chriseth | 2018-10-30 | 1 | -1/+1 | |
|\ \ \ \ | ||||||
| * | | | | Update ubuntu versions. | chriseth | 2018-10-30 | 1 | -1/+1 | |
* | | | | | Merge pull request #5336 from Eitan-Lev/Update-newcomers-tag | chriseth | 2018-10-30 | 1 | -1/+1 | |
|\ \ \ \ \ | ||||||
| * | | | | | up-for-grabs swapped for good first issue | Eitan Levin | 2018-10-30 | 1 | -1/+1 | |
| |/ / / / | ||||||
* | | | | | Merge pull request #5188 from ethereum/large-array-encoding | chriseth | 2018-10-30 | 5 | -0/+30 | |
|\ \ \ \ \ | |/ / / / |/| | | | | ||||||
| * | | | | Fixes crash while encoding too large arrays. | Erik Kundt | 2018-10-30 | 5 | -0/+30 | |
|/ / / / | ||||||
* | | | | Merge pull request #5331 from lazaridiscom/patch-2 | chriseth | 2018-10-29 | 1 | -8/+8 | |
|\ \ \ \ | ||||||
| * | | | | move CHECKLIST to the end | Lazaridis | 2018-10-29 | 1 | -8/+8 | |
|/ / / / | ||||||
* | | | | Merge pull request #5316 from lazaridiscom/4891-memory-store-asserts | chriseth | 2018-10-29 | 1 | -21/+37 | |
|\ \ \ \ | ||||||
| * | | | | refine memory-store assertions, closes #4891 | Lazaridis | 2018-10-27 | 1 | -21/+37 | |
* | | | | | Merge pull request #5247 from ethereum/yul-vardecl-propagation | chriseth | 2018-10-29 | 12 | -0/+302 | |
|\ \ \ \ \ | ||||||
| * | | | | | Yul: Implements empty-var-decl-propagation | Christian Parpart | 2018-10-26 | 12 | -0/+302 | |
* | | | | | | Merge pull request #5315 from ethereum/yul-expr-joiner | chriseth | 2018-10-28 | 2 | -36/+20 | |
|\ \ \ \ \ \ | |_|_|/ / / |/| | | | | | ||||||
| * | | | | | [Yul] ExpressionJoiner: code cleanup | Christian Parpart | 2018-10-26 | 2 | -36/+20 | |
| |/ / / / | ||||||
* | | | | | Merge pull request #5320 from lazaridiscom/patch-1 | chriseth | 2018-10-28 | 1 | -1/+1 | |
|\ \ \ \ \ | ||||||
| * | | | | | add missing "p" | Lazaridis | 2018-10-28 | 1 | -1/+1 | |
|/ / / / / | ||||||
* | | | | | Merge pull request #5314 from berkerol/patch-1 | chriseth | 2018-10-26 | 1 | -0/+1 | |
|\ \ \ \ \ | |/ / / / |/| | | | | ||||||
| * | | | | Add check for whether voter has right to vote | Berk Erol | 2018-10-26 | 1 | -0/+1 | |
|/ / / / | ||||||
* | | | | Merge pull request #5122 from ethereum/docs-contributing-pt3 | chriseth | 2018-10-26 | 1 | -11/+10 | |
|\ \ \ \ | ||||||
| * | | | | Final contribution review in fuzzer section | Chris Ward | 2018-10-26 | 1 | -11/+10 | |
* | | | | | Merge pull request #5311 from ethereum/chriseth-patch-3 | chriseth | 2018-10-26 | 1 | -0/+4 | |
|\ \ \ \ \ | ||||||
| * | | | | | Clarify import. | chriseth | 2018-10-26 | 1 | -0/+4 | |
|/ / / / / | ||||||
* | | | | | Merge pull request #5304 from ethereum/removeASTutils | chriseth | 2018-10-25 | 2 | -102/+0 | |
|\ \ \ \ \ | ||||||
| * | | | | | Remove unused AST utils. | chriseth | 2018-10-25 | 2 | -102/+0 | |
| |/ / / / | ||||||
* | | | | | Merge pull request #5273 from ethereum/interactiveOpt | chriseth | 2018-10-25 | 2 | -0/+228 | |
|\ \ \ \ \ | |/ / / / |/| | | | | ||||||
| * | | | | Add redundant assign and ssa. | chriseth | 2018-10-24 | 1 | -1/+10 | |
| * | | | | Interactive optimizer tool. | chriseth | 2018-10-24 | 2 | -0/+219 | |
* | | | | | Merge pull request #5283 from ethereum/smt_fixed_bytes | chriseth | 2018-10-25 | 15 | -288/+160 | |
|\ \ \ \ \ | ||||||
| * | | | | | Grouping of symbolic variables in the same file and support to FixedBytes | Leonardo Alt | 2018-10-25 | 15 | -288/+160 | |
| |/ / / / | ||||||
* | | | | | Merge pull request #5242 from ethereum/someChecks | chriseth | 2018-10-25 | 9 | -4/+95 | |
|\ \ \ \ \ | ||||||
| * | | | | | Added some tests. | chriseth | 2018-10-24 | 4 | -0/+44 | |
| * | | | | | Some well-formedness checks for the Yul AST. | chriseth | 2018-10-22 | 5 | -4/+51 | |
* | | | | | | Merge pull request #5271 from ethereum/fullSuite | chriseth | 2018-10-25 | 4 | -0/+197 | |
|\ \ \ \ \ \ | ||||||
| * | | | | | | Full suite tests. | chriseth | 2018-10-25 | 4 | -0/+197 | |
| | |/ / / / | |/| | | | |