Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Provide Dialect to EVMCodeTransform. | chriseth | 2018-12-12 | 6 | -17/+18 |
| | |||||
* | Merge pull request #5454 from ethereum/smt_math_functions | chriseth | 2018-12-12 | 11 | -103/+169 |
|\ | | | | | [SMTChecker] Abstract math functions | ||||
| * | [SMTChecker] Use SymbolicFunctionVariable for uninterpreted functions | Leonardo Alt | 2018-12-11 | 11 | -103/+169 |
| | | |||||
* | | Merge pull request #4779 from ethereum/optimise-string-literals | chriseth | 2018-12-12 | 8 | -2/+116 |
|\ \ | | | | | | | Decide better in storing string literals as data | ||||
| * | | Tests for gas costs. | chriseth | 2018-12-11 | 6 | -1/+114 |
| | | | |||||
| * | | Changelog entry. | chriseth | 2018-12-11 | 1 | -0/+1 |
| | | | |||||
| * | | Set codecopy limit for data to 32 bytes. | chriseth | 2018-12-11 | 1 | -1/+1 |
| | | | |||||
* | | | Merge pull request #5621 from ethereum/explainAST | chriseth | 2018-12-11 | 2 | -9/+21 |
|\ \ \ | |_|/ |/| | | Improve explanation how to get abi output. | ||||
| * | | Explain source IDs. | chriseth | 2018-12-11 | 2 | -4/+4 |
| | | | |||||
| * | | Improve explanation how to get abi output. | chriseth | 2018-12-11 | 1 | -5/+17 |
| | | | |||||
* | | | Merge pull request #5619 from ethereum/cleanup-abc | chriseth | 2018-12-11 | 16 | -89/+82 |
|\ \ \ | |/ / |/| | | Some code cleanup | ||||
| * | | Use curly-brackets initialization | Mathias Baumann | 2018-12-11 | 2 | -14/+14 |
| | | | |||||
| * | | Replace push_back with emplace_back where it makes sense | Mathias Baumann | 2018-12-11 | 15 | -75/+68 |
| |/ | |||||
* | | Merge pull request #5552 from 0yi0/5551-rational-convertible-to-fixed-point | chriseth | 2018-12-11 | 5 | -55/+86 |
|\ \ | | | | | | | Fix conversions from rational number literals to fixed-point types. | ||||
| * | | Add tests for implcit conversions from literals to fixed-point numbers. | Yi Huang | 2018-12-11 | 5 | -55/+86 |
|/ / | |||||
* | | Merge pull request #5599 from ethereum/cleanup-testsuite | chriseth | 2018-12-11 | 3 | -96/+87 |
|\ \ | | | | | | | Have only one source where testsuites are defined | ||||
| * | | Have only one source where testsuits are defined | Mathias Baumann | 2018-12-10 | 3 | -96/+87 |
| |/ | |||||
* | | Merge pull request #5615 from ethereum/contrib-link | chriseth | 2018-12-10 | 1 | -1/+1 |
|\ \ | |/ |/| | ContribDoc: Link formatted instead of raw version of coding guidlines | ||||
| * | ContribDoc: Link formatted instead of raw version of coding guidlines | Mathias Baumann | 2018-12-10 | 1 | -1/+1 |
|/ | |||||
* | Merge pull request #5008 from liangdzou/yul_stack_reuse | chriseth | 2018-12-10 | 12 | -54/+666 |
|\ | | | | | Reuse stack slots in Yul codegen | ||||
| * | Tests for stack reusing code generator. | chriseth | 2018-12-10 | 1 | -0/+353 |
| | | |||||
| * | Reuse stack slots in Yul to EVM code generation. | liangdzou | 2018-12-10 | 11 | -54/+313 |
| | | |||||
* | | Merge pull request #5610 from ethereum/shell-script-cleanups | chriseth | 2018-12-10 | 1 | -15/+13 |
|\ \ | | | | | | | build.sh bash script cleanup | ||||
| * | | build.sh bash script cleanup | Christian Parpart | 2018-12-10 | 1 | -15/+13 |
|/ / | | | | | | | | | | | | | | | | | | | | | | | * use `set -e` to abort script execution when error codes fail (and haven't been checked) * use [[ ]] instead of [ ] or test. * use ROOTDIR/BUILDDIR variables for better readability * use mktemp in order to avoid accidental name clashes. * use `make install` instead of `install ...` as cleaner installation process * this however doesn't install soltest anymore, which I believe is right, as normal users should not need it installed in their system. Those who want to run the test suite, can do so manually * allow optional passing of more additional custom args to cmake | ||||
* | | Merge pull request #5614 from ethereum/smt_symb_function | Leonardo | 2018-12-10 | 2 | -1/+56 |
|\ \ | |/ |/| | [SMTChecker] Introduce SymbolicFunctionVariable | ||||
| * | [SMTChecker] Introduce SymbolicFunctionVariable | Leonardo Alt | 2018-12-10 | 2 | -1/+56 |
|/ | |||||
* | Merge pull request #5391 from ethereum/improve-type-errors | chriseth | 2018-12-10 | 8 | -20/+41 |
|\ | | | | | Provide additional error messages during type checks | ||||
| * | Adds more detailed type errors and tests. | Erik Kundt | 2018-12-07 | 6 | -19/+25 |
| | | |||||
| * | Adds an additional message to failing type conversions. | Erik Kundt | 2018-12-07 | 8 | -19/+34 |
|/ | |||||
* | Merge pull request #5607 from enumatech/fix-makefiles | chriseth | 2018-12-07 | 1 | -1/+1 |
|\ | | | | | WIP: Fix makefiles to silence linker errors | ||||
| * | Fix makefiles | Lionello Lunesu | 2018-12-07 | 1 | -1/+1 |
| | | |||||
* | | Merge pull request #4936 from ethereum/binSelect | chriseth | 2018-12-07 | 10 | -6/+276 |
|\ \ | | | | | | | Binary search for dispatch. | ||||
| * | | Changelog entry. | chriseth | 2018-12-06 | 1 | -0/+1 |
| | | | |||||
| * | | Gas tests for the binary search dispatch routine. | chriseth | 2018-12-06 | 6 | -0/+194 |
| | | | |||||
| * | | Binary search for dispatch. | chriseth | 2018-12-06 | 3 | -6/+81 |
| | | | |||||
* | | | Merge pull request #5584 from ethereum/structuralSimplifier | chriseth | 2018-12-07 | 19 | -15/+292 |
|\ \ \ | | | | | | | | | [Yul] Add structural simplifier. | ||||
| * | | | Add structural simplifier as optimization step for Yul. | Daniel Kirchner | 2018-12-07 | 19 | -15/+292 |
|/ / / | |||||
* | | | Merge pull request #5587 from ethereum/yulCodeBuiltins | chriseth | 2018-12-06 | 4 | -1/+79 |
|\ \ \ | | | | | | | | | Builtin functions to access Yul objects. | ||||
| * | | | Provide Yul Object builtins. | chriseth | 2018-12-04 | 4 | -1/+79 |
| | | | | |||||
* | | | | Merge pull request #5589 from ethereum/yulObjectCodegen | chriseth | 2018-12-06 | 24 | -101/+755 |
|\ \ \ \ | | | | | | | | | | | Yul object codegen | ||||
| * | | | | Add tests. | chriseth | 2018-12-06 | 14 | -3/+417 |
| | | | | | |||||
| * | | | | Analyze and compile sub-objects. | chriseth | 2018-12-06 | 5 | -7/+133 |
| | | | | | |||||
| * | | | | Extend abstract assembly to be able to handle sub-objects. | chriseth | 2018-12-06 | 5 | -0/+77 |
| | | | | | |||||
| * | | | | Expose EthAssemblyAdapter. | chriseth | 2018-12-06 | 2 | -91/+128 |
|/ / / / | |||||
* | | | | Merge pull request #5554 from ethereum/cp-SourceReferenceFormatter-refactor | chriseth | 2018-12-06 | 16 | -126/+234 |
|\ \ \ \ | |_|/ / |/| | | | [2/3] Refactor SourceReferenceFormatter (split-out data extraction & make use of new SourceLocation knowledge) | ||||
| * | | | liblangutil: refactor SourceReferenceFormatter, splitting out retrieval and ↵ | Christian Parpart | 2018-12-06 | 16 | -126/+234 |
| | | | | | | | | | | | | | | | | making use of new SourceLocation's CharStream knowledge | ||||
* | | | | Merge pull request #5605 from ethereum/cmdlineTests | chriseth | 2018-12-06 | 19 | -13/+25 |
|\ \ \ \ | | | | | | | | | | | Extend capabilities of the generic commandline test. | ||||
| * | | | | Extend capabilities of the generic commandline test. | chriseth | 2018-12-06 | 19 | -13/+25 |
|/ / / / | |||||
* | | | | Merge pull request #5514 from corollari/develop | chriseth | 2018-12-06 | 3 | -5/+5 |
|\ \ \ \ | | | | | | | | | | | Remove unary + from the type system | ||||
| * | | | | Update test | Albert | 2018-12-06 | 1 | -1/+1 |
| | | | | | |||||
| * | | | | Fix #5470 | Albert | 2018-12-06 | 2 | -4/+4 |
| | | | | | | | | | | | | | | | | | | | | Remove unary + from the type system | ||||
* | | | | | Merge pull request #5600 from ethereum/simplifyToHex | chriseth | 2018-12-06 | 11 | -35/+38 |
|\ \ \ \ \ | |/ / / / |/| | | | | Simplify toHex() | ||||
| * | | | | Simplify hex prefix. | chriseth | 2018-12-06 | 1 | -1/+4 |
| | | | | | |||||
| * | | | | Remove `w` parameter for toHex. | chriseth | 2018-12-06 | 8 | -16/+15 |
| | | | | | |||||
| * | | | | Move toHex implementation to cpp file. | chriseth | 2018-12-06 | 2 | -19/+21 |
| | | | | | |||||
| * | | | | Restrict toHex to `bytes`. | chriseth | 2018-12-06 | 4 | -7/+6 |
|/ / / / | |||||
* | | | | Merge pull request #5476 from KevinKelley/readable-hex | chriseth | 2018-12-06 | 11 | -17/+264 |
|\ \ \ \ | | | | | | | | | | | add a 'readable' format for large hex values | ||||
| * | | | | add a 'readable' format for large hex values | Kevin Kelley | 2018-12-06 | 11 | -17/+264 |
|/ / / / | |||||
* | | | | Merge pull request #5595 from ethereum/ssavaluetracker-fix | chriseth | 2018-12-06 | 4 | -1/+29 |
|\ \ \ \ | | | | | | | | | | | SSAValueTracker should only use nullptr for default values | ||||
| * | | | | SSAValueTracker should only use nullptr for default values | Mathias Baumann | 2018-12-06 | 2 | -1/+3 |
| | | | | | |||||
| * | | | | Tests for SSAValueTracker ignoring function call on rhs | Mathias Baumann | 2018-12-06 | 2 | -0/+26 |
|/ / / / | |||||
* | | | | Merge pull request #5593 from ethereum/issue-5384 | chriseth | 2018-12-06 | 2 | -1/+16 |
|\ \ \ \ | | | | | | | | | | | Fix expression simplifier asserting on default values | ||||
| * | | | | Fix expression simplifier asserting on default values | Mathias Baumann | 2018-12-05 | 1 | -1/+2 |
| | | | | | |||||
| * | | | | Test for unhandled default values in expression simplifier | Mathias Baumann | 2018-12-05 | 1 | -0/+14 |
| | | | | | |||||
* | | | | | Merge pull request #5591 from ethereum/smt_simplify_sort | chriseth | 2018-12-06 | 2 | -29/+19 |
|\ \ \ \ \ | | | | | | | | | | | | | [SMTChecker] Simplify symbolic variables | ||||
| * | | | | | [SMTChecker] Simplify symbolic variables | Leonardo Alt | 2018-12-05 | 2 | -29/+19 |
| | |/ / / | |/| | | | |||||
* | | | | | Merge pull request #4098 from ethereum/typedResults | chriseth | 2018-12-05 | 4 | -102/+171 |
|\ \ \ \ \ | | | | | | | | | | | | | Introduce Result<T> for type checker functions | ||||
| * | | | | | Cleans up Result<T> and adds additional documentation. | Erik Kundt | 2018-12-05 | 1 | -8/+8 |
| | | | | | | |||||
| * | | | | | Simplifies Result<T> and prevents undefined behaviour. | Erik Kundt | 2018-12-05 | 2 | -29/+12 |
| | | | | | | |||||
| * | | | | | Introduces Result<T> for operator and implicit conversion type checks. | Erik Kundt | 2018-12-05 | 4 | -102/+188 |
| |/ / / / | |||||
* | | | | | Merge pull request #5594 from ethereum/fullInlinerNoHoister | chriseth | 2018-12-05 | 2 | -13/+23 |
|\ \ \ \ \ | | | | | | | | | | | | | [Yul] Relax dependency of FullInliner on FunctionHoister. | ||||
| * | | | | | Relax dependency of FullInliner on FunctionHoister. | Daniel Kirchner | 2018-12-05 | 2 | -13/+23 |
| |/ / / / | |||||
* | | | | | Merge pull request #5576 from ethereum/fixDockerScript | chriseth | 2018-12-05 | 1 | -0/+6 |
|\ \ \ \ \ | | | | | | | | | | | | | Fix manual deploy script for alpine. | ||||
| * | | | | | Fix manual deploy script for alpine. | chriseth | 2018-12-05 | 1 | -0/+6 |
|/ / / / / | |||||
* | | | | | Merge pull request #5592 from ethereum/fix-issue-5446 | chriseth | 2018-12-05 | 2 | -2/+4 |
|\ \ \ \ \ | |/ / / / |/| | | | | Relax assertion about jumps in loose mode | ||||
| * | | | | Relax assertion about jumps in loose mode | Mathias Baumann | 2018-12-05 | 2 | -2/+4 |
| |/ / / | |||||
* | | | | Merge pull request #5390 from ethereum/smt_one_loop | chriseth | 2018-12-05 | 18 | -18/+217 |
|\ \ \ \ | |/ / / |/| | | | [SMTChecker] Unroll loops once | ||||
| * | | | [SMTChecker] Loops are unrolled once | Leonardo Alt | 2018-12-04 | 18 | -18/+217 |
| | | | | |||||
* | | | | Merge pull request #5586 from ethereum/refactorEVMAssembly | chriseth | 2018-12-04 | 7 | -28/+20 |
|\ \ \ \ | |_|/ / |/| | | | Refactor evm assembly | ||||
| * | | | Switch namespaces. | chriseth | 2018-12-04 | 4 | -8/+12 |
| | | | | |||||
| * | | | Remove some includes. | chriseth | 2018-12-04 | 1 | -9/+0 |
| | | | | |||||
| * | | | Adjust include paths. | chriseth | 2018-12-04 | 5 | -10/+7 |
| | | | | |||||
| * | | | Move AsmCodeGen. | chriseth | 2018-12-04 | 4 | -1/+1 |
| | | | | |||||
* | | | | Merge pull request #5583 from ethereum/builtins3 | chriseth | 2018-12-04 | 3 | -16/+68 |
|\ \ \ \ | |/ / / |/| | | | Analysis phase for builtin funtions. | ||||
| * | | | Builtin functions for yul analysis. | chriseth | 2018-12-04 | 2 | -1/+26 |
| | | | | |||||
| * | | | Tests for parser for builtins. | chriseth | 2018-12-04 | 1 | -0/+17 |
| | | | | |||||
| * | | | Use dialect option in yul parser tests. | chriseth | 2018-12-04 | 1 | -11/+13 |
| | | | | |||||
| * | | | Use builtin functions in the yul parser. | chriseth | 2018-12-04 | 1 | -4/+12 |
|/ / / | |||||
* | | | Merge pull request #5573 from ethereum/builtins | chriseth | 2018-12-04 | 16 | -62/+148 |
|\ \ \ | | | | | | | | | [Yul] Introduce the concept of builtin functions. | ||||
| * | | | Introduce the concept of builtin functions. | chriseth | 2018-12-04 | 16 | -62/+148 |
| |/ / | |||||
* | | | Merge pull request #5585 from ethereum/forInitRewriteNested | chriseth | 2018-12-04 | 3 | -7/+62 |
|\ \ \ | |/ / |/| | | [Yul] Proper recursion in ForLoopInitRewriter. | ||||
| * | | Properly recurse in ForLoopInitRewriter | Daniel Kirchner | 2018-12-04 | 3 | -7/+62 |
|/ / | |||||
* | | Merge pull request #5582 from ethereum/yulErrorMessages | chriseth | 2018-12-04 | 5 | -16/+26 |
|\ \ | | | | | | | Improve error messages around invalid function argument count. | ||||
| * | | Do not stop if there is more than one error. | chriseth | 2018-12-04 | 1 | -1/+2 |
| | | | |||||
| * | | Improve yul error messages around number of arguments and variables. | chriseth | 2018-12-04 | 4 | -15/+24 |
|/ / | |||||
* | | Merge pull request #5578 from ethereum/yulStringRefactor | chriseth | 2018-12-04 | 2 | -16/+16 |
|\ \ | | | | | | | Use YulString also in expectAsmIdentifier. | ||||
| * | | Use YulString also in expectAsmIdentifier. | chriseth | 2018-12-04 | 2 | -16/+16 |
|/ / | |||||
* | | Merge pull request #5575 from ethereum/release | chriseth | 2018-12-04 | 0 | -0/+0 |
|\| | | | | | Merge release back into develop. | ||||
| * | Merge pull request #5571 from ethereum/develop | chriseth | 2018-12-03 | 425 | -4602/+7166 |
| |\ | | | | | | | Version 0.5.1 | ||||
* | \ | Merge pull request #5574 from ethereum/version0.5.2 | chriseth | 2018-12-03 | 2 | -1/+12 |
|\ \ \ | |_|/ |/| | | Set version to 0.5.2. | ||||
| * | | Set version to 0.5.2. | chriseth | 2018-12-03 | 2 | -1/+12 |
|/ / | |||||
* | | Merge pull request #5570 from ethereum/updateChangelog051 | chriseth | 2018-12-03 | 2 | -5/+9 |
|\ \ | | | | | | | Massage changelog for 0.5.1 | ||||
| * | | Massage changelog for 0.5.1 | chriseth | 2018-12-03 | 2 | -5/+9 |
|/ / | |||||
* | | Merge pull request #5558 from anurag-git/issue_5130 | chriseth | 2018-12-03 | 4 | -1/+23 |
|\ \ | | | | | | | Fix internal compiler error for unimplemented base contract function. | ||||
| * | | Fix internal compiler error for unimplemented base contract function. | Anurag Dashputre | 2018-12-03 | 4 | -1/+23 |
| | | | |||||
* | | | Merge pull request #5569 from ethereum/chriseth-patch-1 | chriseth | 2018-12-03 | 1 | -1/+3 |
|\ \ \ | |/ / |/| | | Add solc-js changes. | ||||
| * | | Add solc-js changes. | chriseth | 2018-12-03 | 1 | -1/+3 |
|/ / | |||||
* | | Merge pull request #5341 from ethereum/optimizeAssemblyCommandline | chriseth | 2018-12-03 | 6 | -10/+73 |
|\ \ | | | | | | | Apply the optimize commandline parameter to assembly mode. | ||||
| * | | Improves assembly output commandline tests. | Erik Kundt | 2018-12-01 | 1 | -2/+28 |
| | | | |||||
| * | | Adds tests for --optimize in assembly mode. | Erik Kundt | 2018-12-01 | 1 | -4/+13 |
| | | | |||||
| * | | Apply the optimize commandline parameter to assembly mode. | chriseth | 2018-12-01 | 5 | -6/+34 |
| | | | |||||
* | | | Merge pull request #5437 from ethereum/docs-faq-types-inline-array | chriseth | 2018-12-03 | 2 | -56/+19 |
|\ \ \ | | | | | | | | | DOCS: Move String literal and inline array FAQ items | ||||
| * | | | Move String literal and inline array FAQ items | Chris Ward | 2018-12-03 | 2 | -56/+19 |
|/ / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fix tab Update docs/types.rst Co-Authored-By: ChrisChinchilla <chriswhward@gmail.com> Update docs/types.rst Co-Authored-By: ChrisChinchilla <chriswhward@gmail.com> | ||||
* | | | Merge pull request #5524 from ethereum/yulGrammarChanges | chriseth | 2018-12-03 | 1 | -2/+1 |
|\ \ \ | | | | | | | | | Yul grammar changes. | ||||
| * | | | Yul grammar changes. | chriseth | 2018-11-28 | 1 | -2/+1 |
| | | | | | | | | | | | | | | | | | | | | - also the top level object needs to be named - code is not optional | ||||
* | | | | Merge pull request #5568 from ethereum/smt_remove_unary_plus | chriseth | 2018-12-03 | 1 | -3/+0 |
|\ \ \ \ | | | | | | | | | | | [SMTChecker] Remove unary plus operator | ||||
| * | | | | [SMTChecker] Remove unary plus operator | Leonardo Alt | 2018-12-03 | 1 | -3/+0 |
| | | | | | |||||
* | | | | | Merge pull request #5532 from ethereum/docs-style-add-mapping | chriseth | 2018-12-03 | 1 | -1/+17 |
|\ \ \ \ \ | | | | | | | | | | | | | DOCS: Add mapping guide to style docs | ||||
| * | | | | | Add mapping guide to style docs thanks to @aupiff | Chris Ward | 2018-12-03 | 1 | -1/+17 |
| | | | | | | |||||
* | | | | | | Merge pull request #5547 from ethereum/assemblySyntax | chriseth | 2018-12-03 | 1 | -8/+27 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Update assembly grammar part. | ||||
| * | | | | | | Update assembly grammar part. | chriseth | 2018-12-01 | 1 | -8/+27 |
| | |_|_|/ / | |/| | | | | |||||
* | | | | | | Merge pull request #5565 from ethereum/listTests | chriseth | 2018-12-03 | 1 | -0/+3 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Explain how to get a list of all tests. | ||||
| * | | | | | | Explain how to get a list of all tests. | chriseth | 2018-12-03 | 1 | -0/+3 |
| | |_|/ / / | |/| | | | | |||||
* | | | | | | Merge pull request #5557 from ↵ | chriseth | 2018-12-03 | 7 | -21/+66 |
|\ \ \ \ \ \ | |_|_|/ / / |/| | | | | | | | | | | | | | | | | | ethereum/fixInterfaceImplementedByPublicStateVariable Public state variables are implementing external functions. | ||||
| * | | | | | Public state variables are implementing external functions. | chriseth | 2018-12-03 | 7 | -21/+66 |
| | |/ / / | |/| | | | |||||
* | | | | | Merge pull request #5553 from ethereum/docs-add-link-structure | chriseth | 2018-12-03 | 2 | -1/+4 |
|\ \ \ \ \ | |_|/ / / |/| | | | | DOCS: Add link between functions in contract structure and more details | ||||
| * | | | | Add link between functions in contract structure and more details | Chris Ward | 2018-12-03 | 2 | -1/+4 |
|/ / / / | | | | | | | | | | | | | Fix missing label | ||||
* | | | | Merge pull request #5562 from Altrum/debugDocs | chriseth | 2018-12-03 | 1 | -0/+14 |
|\ \ \ \ | | | | | | | | | | | Updated docs on information about debugging and how to run commands. | ||||
| * | | | | Added information about debugging and examples on how to run subsets of tests. | Robert Chung | 2018-12-02 | 1 | -0/+14 |
| | | | | | |||||
* | | | | | Merge pull request #5537 from ethereum/cp-SourceLocation-related-refactoring | chriseth | 2018-12-01 | 28 | -208/+215 |
|\| | | | | |/ / / |/| | | | [1/3] SourceLocation related refactoring. | ||||
| * | | | liblangutil: SourceLocation: Retricts == and != operator | Christian Parpart | 2018-12-01 | 2 | -6/+5 |
| | | | | |||||
| * | | | liblangutil: small refactors wrt. API cleanups | Christian Parpart | 2018-12-01 | 3 | -16/+2 |
| | | | | | | | | | | | | | | | | Especially also remove SourceLocation ctor's that the compiler can default-implement. | ||||
| * | | | liblangutil: Scanner: remove superfluous sourceName field (it's in ↵ | Christian Parpart | 2018-12-01 | 11 | -35/+25 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | CharStream already) Also, ParserBase::sourceName() was dead code. Eliminating it should increase test coverage (how sneaky) :-) | ||||
| * | | | liblangutil: SourceLocation: adds (shared) pointer to underlying CharStream ↵ | Christian Parpart | 2018-12-01 | 17 | -102/+127 |
| | | | | | | | | | | | | | | | | | | | | | | | | source, eliminating sourceName Also, adapted affecting code to those changes. | ||||
| * | | | liblangutil: extends CharStream to know about the respective (file-)name ↵ | Christian Parpart | 2018-11-29 | 13 | -80/+83 |
| | | | | | | | | | | | | | | | | (and adapt codebase to it) | ||||
| * | | | liblangutil: adds Scanner.charStream() accessor | Christian Parpart | 2018-11-29 | 1 | -0/+2 |
| | | | | |||||
| * | | | liblangutil: adds ParserBase::charStream() accessor | Christian Parpart | 2018-11-29 | 1 | -0/+2 |
| | | | | |||||
* | | | | Merge pull request #5528 from ethereum/smt_sorts_virtual | chriseth | 2018-11-30 | 1 | -6/+16 |
|\ \ \ \ | | | | | | | | | | | [SMTChecker] Make smt::Sort::operator== virtual | ||||
| * | | | | [SMTChecker] Make smt::Sort::operator== virtual | Leonardo Alt | 2018-11-30 | 1 | -6/+16 |
| | | | | | |||||
* | | | | | Merge pull request #5541 from ethereum/clarifyCopyInheritance | chriseth | 2018-11-30 | 1 | -3/+4 |
|\ \ \ \ \ | | | | | | | | | | | | | [DOCS] Clarify "copying bytecode" in inheritance. | ||||
| * | | | | | Clarify "copying bytecode" in inheritance. | chriseth | 2018-11-29 | 1 | -3/+4 |
| | | | | | | |||||
* | | | | | | Merge pull request #5546 from ethereum/inheritanceChecker | chriseth | 2018-11-30 | 9 | -431/+585 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Move some checks out of type checker. | ||||
| * | | | | | | Changelog entry. | chriseth | 2018-11-30 | 1 | -0/+2 |
| | | | | | | | |||||
| * | | | | | | Move library related checks. | chriseth | 2018-11-30 | 4 | -16/+16 |
| | | | | | | | |||||
| * | | | | | | Move hash collisions checks. | chriseth | 2018-11-30 | 3 | -13/+18 |
| | | | | | | | |||||
| * | | | | | | Move external type clash check. | chriseth | 2018-11-30 | 4 | -40/+40 |
| | | | | | | | |||||
| * | | | | | | Move fallback function checks. | chriseth | 2018-11-30 | 3 | -20/+25 |
| | | | | | | | |||||
| * | | | | | | Move constructor checks. | chriseth | 2018-11-30 | 3 | -16/+21 |
| | | | | | | | |||||
| * | | | | | | Rename functions. | chriseth | 2018-11-30 | 2 | -15/+15 |
| | | | | | | | |||||
| * | | | | | | No need to visit structs early. | chriseth | 2018-11-30 | 1 | -7/+1 |
| | | | | | | | |||||
| * | | | | | | Test. | chriseth | 2018-11-30 | 2 | -0/+26 |
| | | | | | | | |||||
| * | | | | | | Move base constructor argument checks. | chriseth | 2018-11-30 | 4 | -93/+97 |
| | | | | | | | |||||
| * | | | | | | Move abstract function check. | chriseth | 2018-11-30 | 4 | -46/+46 |
| | | | | | | | |||||
| * | | | | | | Move override checks. | chriseth | 2018-11-30 | 4 | -87/+88 |
| | | | | | | | |||||
| * | | | | | | Move duplication checks. | chriseth | 2018-11-30 | 4 | -92/+93 |
| | | | | | | | |||||
| * | | | | | | Add skeleton for contract level checker. | chriseth | 2018-11-30 | 4 | -2/+113 |
| | |/ / / / | |/| | | | | |||||
* | | | | | | Merge pull request #5529 from ethereum/noCoverageOnRelease | chriseth | 2018-11-30 | 1 | -1/+2 |
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | Disable coverage generation for release branch. | ||||
| * | | | | | Disable coverage generation for release branch. | chriseth | 2018-11-29 | 1 | -1/+2 |
| | | | | | | |||||
* | | | | | | Merge pull request #5550 from ethereum/moveSomeTests | chriseth | 2018-11-30 | 11 | -0/+0 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Move inline array tests. | ||||
| * | | | | | | Move inline array tests. | chriseth | 2018-11-30 | 11 | -0/+0 |
| | | | | | | | |||||
* | | | | | | | Merge pull request #5548 from ethereum/fixMemberAccess | chriseth | 2018-11-30 | 4 | -3/+31 |
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | Fix bug related to state variables of function type accessed via base contract. | ||||
| * | | | | | | | Fix bug related to state variables of function type accessed via base contract. | chriseth | 2018-11-30 | 4 | -3/+31 |
| |/ / / / / / | |||||
* | | | | | | | Merge pull request #5549 from ethereum/disallowInlineArraysOfMappingType | chriseth | 2018-11-30 | 3 | -0/+12 |
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | | | Disallow inline arrays of mapping type. | ||||
| * | | | | | | Disallow inline arrays of mapping type. | chriseth | 2018-11-30 | 3 | -0/+12 |
|/ / / / / / | |||||
* | | | | | | Merge pull request #5543 from ethereum/fixSortMOve | chriseth | 2018-11-29 | 1 | -1/+2 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Fix move bug. | ||||
| * | | | | | | Fix move bug. | chriseth | 2018-11-29 | 1 | -1/+2 |
| | | | | | | | |||||
* | | | | | | | Merge pull request #5539 from ethereum/fix_deprecated_sha3_suicide | chriseth | 2018-11-29 | 9 | -22/+76 |
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | | | Report deprecation error on functions sha3 and suicide also without call | ||||
| * | | | | | | Report deprecation error on functions sha3 and suicide also without call. | Leonardo Alt | 2018-11-29 | 9 | -22/+76 |
|/ / / / / / | |||||
* | | | | | | Merge pull request #5513 from corollari/fedora-fix | chriseth | 2018-11-29 | 1 | -1/+1 |
|\ \ \ \ \ \ | |_|/ / / / |/| | | | | | Detect Fedora properly in install_deps.sh | ||||
| * | | | | | Fix #5512 | Albert | 2018-11-29 | 1 | -1/+1 |
| |/ / / / | | | | | | | | | | | | | | | | Make the double quotes around the distro name optional so it matches properly in Fedora (`NAME=Fedora`) | ||||
* | | | | | Merge pull request #5538 from hydai/static_uint256 | chriseth | 2018-11-29 | 6 | -22/+24 |
|\ \ \ \ \ | | | | | | | | | | | | | Replace IntegerType(256) with static function IntegerType::uint256() | ||||
| * | | | | | Replace IntegerType(256) with static function IntegerType::uint256() | hydai | 2018-11-29 | 6 | -22/+24 |
| | | | | | | |||||
* | | | | | | Merge pull request #5533 from ethereum/fix_function_type_struct_bug | chriseth | 2018-11-29 | 4 | -1/+27 |
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | Fix ICE when function type struct parameter has field of non-existent type | ||||
| * | | | | | Fix ICE when function type struct parameter has field of non-existent type | Leonardo Alt | 2018-11-29 | 4 | -1/+27 |
|/ / / / / | |||||
* | | | | | Merge pull request #5526 from ethereum/fixGetterNewCoder | chriseth | 2018-11-29 | 6 | -11/+65 |
|\ \ \ \ \ | |_|/ / / |/| | | | | Fix: Disallow structs in getters for old encoder. | ||||
| * | | | | Changelog entry. | chriseth | 2018-11-28 | 1 | -1/+2 |
| | | | | | |||||
| * | | | | Tests. | chriseth | 2018-11-28 | 4 | -0/+32 |
| | | | | | |||||
| * | | | | Properly check getter types to be old-abi-coder-compatible. | chriseth | 2018-11-28 | 1 | -10/+31 |
| |/ / / | |||||
* | | | | Merge pull request #5530 from ethereum/fix-ast-segfault | chriseth | 2018-11-28 | 2 | -6/+11 |
|\ \ \ \ | | | | | | | | | | | Fixes crash on empty runtime code. | ||||
| * | | | | Fixes crash on empty runtime code. | Erik Kundt | 2018-11-28 | 2 | -6/+11 |
| |/ / / | |||||
* | | | | Merge pull request #5289 from ethereum/docs-index-overhaul | chriseth | 2018-11-28 | 1 | -33/+31 |
|\ \ \ \ | | | | | | | | | | | DOCS: Updates to docs index file | ||||
| * | | | | Begin overhaul of documentation index | Chris Ward | 2018-11-28 | 1 | -33/+31 |
| |/ / / | |||||
* | | | | Merge pull request #5522 from juztin/develop | chriseth | 2018-11-28 | 5 | -18/+43 |
|\ \ \ \ | | | | | | | | | | | Builds both scratch & Alpine Docker images | ||||
| * | | | | Added Docker updates to changelog | Justin Wilson | 2018-11-28 | 1 | -0/+1 |
| | | | | | |||||
| * | | | | Builds both scratch & Alpine Docker images | Justin Wilson | 2018-11-28 | 4 | -18/+42 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | - Adds `Dockerfile_alpine`, which copies the complier from the scratch step into an Alpine image - Updates `docker_build.sh` to build the Alpine image - Updates `docker_deploy.sh` to tag and push the Alpine images - Updates `docker_deploy_manual.sh` to tag and push the Alpine images The tags that are pushed follow: - Scratch - ethereum/solc:stable - ethereum/solc:0.5.1 - ethereum/solc:nightly - ethereum/solc:nightly-0.5.1-bc7cb301e3d71756c8fbefe888aca53433302117 - ethereum/solc:nightly-0.5.1-bc7cb301e3d71756c8fbefe888aca53433302117 - Alpine - ethereum/solc:stable-alpine - ethereum/solc:0.5.1-alpine - ethereum/solc:nightly-alpine - ethereum/solc:nightly-alpine-0.5.1-bc7cb301e3d71756c8fbefe888aca53433302117 - ethereum/solc:nightly-alpine-0.5.1-bc7cb301e3d71756c8fbefe888aca53433302117 | ||||
* | | | | | Merge pull request #5527 from ethereum/smt_json_testcases | chriseth | 2018-11-28 | 1 | -31/+56 |
|\ \ \ \ \ | | | | | | | | | | | | | Remove boost test checks from SMTCheckerJSONTest | ||||
| * | | | | | Remove boost test checks from SMTCheckerJSONTest | Leonardo Alt | 2018-11-28 | 1 | -31/+56 |
|/ / / / / | |||||
* | | | | | Merge pull request #5525 from ethereum/obsoleteComment | chriseth | 2018-11-28 | 1 | -6/+1 |
|\ \ \ \ \ | |_|/ / / |/| | | | | Remove obsolete comment. | ||||
| * | | | | Remove obsolete comment. | chriseth | 2018-11-28 | 1 | -6/+1 |
| | |/ / | |/| | | |||||
* | | | | Merge pull request #5358 from ethereum/yulObjects | chriseth | 2018-11-28 | 10 | -34/+635 |
|\ \ \ \ | |_|/ / |/| | | | [Yul] Yul objects parser | ||||
| * | | | Changelog entry. | chriseth | 2018-11-28 | 1 | -0/+1 |
| | | | | |||||
| * | | | Tests. | chriseth | 2018-11-27 | 1 | -0/+257 |
| | | | | |||||
| * | | | Use yul parser in assembly stack. | chriseth | 2018-11-27 | 3 | -21/+23 |
| | | | | |||||
| * | | | Yul objects. | chriseth | 2018-11-27 | 7 | -18/+359 |
| |/ / | |||||
* | | | Merge pull request #5517 from ethereum/nondeterminismBoost | chriseth | 2018-11-27 | 2 | -1/+2 |
|\ \ \ | |/ / |/| | | Fix nondeterminism bug related to boost version. | ||||
| * | | Fix nondeterminism bug related to boost version. | chriseth | 2018-11-27 | 2 | -1/+2 |
|/ / | |||||
* | | Merge pull request #5277 from ethereum/docs-5175-require-revert | chriseth | 2018-11-27 | 1 | -7/+16 |
|\ \ | | | | | | | DOCS: Add mention that pure functions can require and revert | ||||
| * | | Add that pure functions can use revert and require | Chris Ward | 2018-11-27 | 1 | -7/+16 |
| | | | |||||
* | | | Merge pull request #5507 from ethereum/docs-move | chriseth | 2018-11-27 | 2 | -103/+102 |
|\ \ \ | | | | | | | | | Move function related content to contracts doc | ||||
| * | | | Move function related content to contracts doc | Chris Ward | 2018-11-27 | 2 | -103/+102 |
| |/ / | |||||
* | | | Merge pull request #5382 from ethereum/libraryMappingPublic | chriseth | 2018-11-27 | 11 | -27/+106 |
|\ \ \ | |/ / |/| | | Allow mapping arguments for public and external library functions. | ||||
| * | | Allow mapping arguments for public and external library functions. | Daniel Kirchner | 2018-11-26 | 11 | -27/+106 |
| | | | |||||
* | | | Merge pull request #5121 from ethereum/docs-contributing-pt2 | chriseth | 2018-11-27 | 1 | -30/+34 |
|\ \ \ | | | | | | | | | Review contributing docs for language and ease, tests sections | ||||
| * | | | Review contributing docs for language and ease | Chris Ward | 2018-11-27 | 1 | -30/+34 |
| | | | | |||||
* | | | | Merge pull request #5487 from ethereum/fixInterfaceOverrideTypeChange | chriseth | 2018-11-27 | 4 | -4/+15 |
|\ \ \ \ | |/ / / |/| | | | Fix interface override type change | ||||
| * | | | Changelog entry and tests. | chriseth | 2018-11-26 | 3 | -1/+12 |
| | | | | |||||
| * | | | Properly disallow different return types for interface overloads with ↵ | chriseth | 2018-11-26 | 1 | -3/+3 |
|/ / / | | | | | | | | | | different visibilities. | ||||
* | | | Merge pull request #5445 from ethereum/publicExternalOverwrite | chriseth | 2018-11-26 | 10 | -8/+176 |
|\ \ \ | |/ / |/| | | Allow overwriting external functions (with ``calldata`` arguments) with public functions (with ``memory`` arguments) | ||||
| * | | Tests. | Daniel Kirchner | 2018-11-26 | 9 | -0/+166 |
| | | | |||||
| * | | Use asCallableFunction for definition clashes in the same contract. | chriseth | 2018-11-26 | 1 | -1/+3 |
| | | | |||||
| * | | Use asCallableFunction for external interface clash check. | chriseth | 2018-11-26 | 1 | -2/+2 |
| | | | |||||
| * | | Use callable types for override check. | chriseth | 2018-11-26 | 1 | -4/+4 |
| | | | |||||
| * | | Use asCallableFunction in override check (part 1). | chriseth | 2018-11-26 | 1 | -1/+1 |
| | | | |||||
* | | | Merge pull request #5504 from ethereum/smt_fix_emscripten | chriseth | 2018-11-26 | 1 | -0/+4 |
|\ \ \ | | | | | | | | | [SMTChecker] Fix crash when SMTLib2Interface reports unknow for constant checks | ||||
| * | | | [SMTChecker] Unknown answer for constant condition check should not do anything | Leonardo Alt | 2018-11-26 | 1 | -0/+4 |
| | | | | |||||
* | | | | Merge pull request #5404 from ethereum/jumpFixes | chriseth | 2018-11-26 | 3 | -2/+9 |
|\ \ \ \ | | | | | | | | | | | Annotate jump from calldata decode to function as "jump in". | ||||
| * | | | | Changelog entry. | chriseth | 2018-11-26 | 1 | -0/+1 |
| | | | | | |||||
| * | | | | Use "in" tag for jumps from unpacker to function. | chriseth | 2018-11-26 | 2 | -2/+8 |
| | | | | | |||||
* | | | | | Merge pull request #5313 from cpurta/circle-ci-error-bot | chriseth | 2018-11-26 | 2 | -4/+55 |
|\ \ \ \ \ | | | | | | | | | | | | | Add error reporting script and use in check_style script | ||||
| * | | | | | Script that directly comments errors to the github pull request. | Chris Purta | 2018-11-26 | 2 | -4/+55 |
|/ / / / / | |||||
* | | | | | Merge pull request #5287 from ethereum/docs-update-input-parameters | chriseth | 2018-11-26 | 2 | -6/+15 |
|\ \ \ \ \ | | | | | | | | | | | | | DOCS: Merge FAQ into docs on multi-dimensional arrays | ||||
| * | | | | | Move FAQ point to input and output parameters and polish surrounding text | Chris Ward | 2018-11-26 | 2 | -6/+15 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Update docs/control-structures.rst Co-Authored-By: ChrisChinchilla <chriswhward@gmail.com> Remove line with no further details. Fix tabs Remove FAQ item | ||||
* | | | | | | Merge pull request #5506 from ethereum/fixMergeConflict | chriseth | 2018-11-26 | 2 | -1/+1 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Fix merge problem in CMake files. | ||||
| * | | | | | | Fix merge problem in CMake files. | chriseth | 2018-11-26 | 2 | -1/+1 |
| | | | | | | | |||||
* | | | | | | | Merge pull request #5438 from ethereum/docs-faq-types-undefined | chriseth | 2018-11-26 | 2 | -38/+5 |
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | | | DOCS: Move undefined FAQ item | ||||
| * | | | | | | Update docs/types.rst | Erik Kundt | 2018-11-24 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | | | | | | Co-Authored-By: ChrisChinchilla <chriswhward@gmail.com> | ||||
| * | | | | | | Add default value details | Chris Ward | 2018-11-23 | 1 | -1/+4 |
| | | | | | | | |||||
| * | | | | | | Update docs/types.rst | chriseth | 2018-11-23 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | | | | | | Co-Authored-By: ChrisChinchilla <chriswhward@gmail.com> | ||||
| * | | | | | | Move undefined FAQ item | Chris Ward | 2018-11-15 | 2 | -38/+2 |
| | | | | | | | |||||
* | | | | | | | Merge pull request #5435 from fulldecent/patch-9 | chriseth | 2018-11-26 | 1 | -0/+4 |
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | Define how inheritance affects storage | ||||
| * | | | | | | | Define how inheritance affects storage | William Entriken | 2018-11-26 | 1 | -0/+4 |
| | |_|_|_|/ / | |/| | | | | | |||||
* | | | | | | | Merge pull request #5493 from ethereum/cmake-no-globbing | chriseth | 2018-11-26 | 5 | -17/+100 |
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | | | [WIP] CMake: Explicitly state which files to compile instead of relying on globbing | ||||
| * | | | | | | CMake: Explicitly state which files to compile instead of relying on globbing. | Christian Parpart | 2018-11-26 | 5 | -17/+100 |
| | |_|/ / / | |/| | | | | | | | | | | | | | | | | | | | | | | Also remove header file lists, as there is no need to add them to add_library() or add_executable(), which should lower maintenance of the cmake files. | ||||
* | | | | | | Merge pull request #5486 from ethereum/allowExternalPublicOverride | chriseth | 2018-11-26 | 6 | -10/+39 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Allow external public override | ||||
| * | | | | | | Changelog entry and tests. | chriseth | 2018-11-26 | 5 | -1/+33 |
| | | | | | | | |||||
| * | | | | | | Allow visibility change from external to public. | chriseth | 2018-11-26 | 1 | -9/+6 |
| | | | | | | | |||||
* | | | | | | | Merge pull request #5494 from ethereum/scanner-error-handling | chriseth | 2018-11-26 | 12 | -32/+98 |
|\ \ \ \ \ \ \ | |_|_|_|_|/ / |/| | | | | | | Improved Scanner error diagnostics. | ||||
| * | | | | | | Adapting tests to Scanner's lexical error diagnostics change. | Christian Parpart | 2018-11-24 | 8 | -30/+32 |
| | | | | | | | |||||
| * | | | | | | Change scanner error diagnostics to be non-intrusive to the token API. | Christian Parpart | 2018-11-24 | 4 | -62/+83 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This also implicitly eliminates the magic-token Token::IllegalHex, and streamlines error diagnostics over a custom enum class. | ||||
| * | | | | | | 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. | ||||
| * | | | | | 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 |
|\ \ \ \ \ | | | | | | | | | | | | | Refactor callable function | ||||
| * | | | | | 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 ↵ | chriseth | 2018-11-22 | 2 | -8/+8 |
| | | | | | | | | | | | | | | | | | | | | | | | | bound instead. | ||||
| * | | | | | 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 | ||||
| * | | | | | Update types.rst | David Lozano Jarque | 2018-11-26 | 1 | -1/+1 |
|/ / / / / | | | | | | | | | | | RST note with incorrect syntax | ||||
* | | | | | Merge pull request #5500 from davidlj95/patch-1 | Alex Beregszaszi | 2018-11-26 | 2 | -2/+2 |
|\ \ \ \ \ | | | | | | | | | | | | | Documentation typo fixes |