Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge pull request #5630 from ethereum/warn_functions_empty_body | chriseth | 2018-12-13 | 35 | -75/+0 |
|\ | | | | | Supress unused var and state mut warnings for functions with empty body | ||||
| * | Disable state mutability warning for functions with empty body | Leonardo Alt | 2018-12-12 | 31 | -45/+0 |
| | | |||||
| * | Disable unused var warning for functions with empty body | Leonardo Alt | 2018-12-12 | 15 | -30/+0 |
| | | |||||
* | | Refactoring of the ControlFlowGraph and use for detecting all uninitialized ↵ | Daniel Kirchner | 2018-12-12 | 22 | -46/+122 |
|/ | | | | storage accesses. | ||||
* | Codegen for object access. | chriseth | 2018-12-12 | 11 | -16/+192 |
| | |||||
* | Merge pull request #5454 from ethereum/smt_math_functions | chriseth | 2018-12-12 | 6 | -18/+35 |
|\ | | | | | [SMTChecker] Abstract math functions | ||||
| * | [SMTChecker] Use SymbolicFunctionVariable for uninterpreted functions | Leonardo Alt | 2018-12-11 | 6 | -18/+35 |
| | | |||||
* | | Merge pull request #4779 from ethereum/optimise-string-literals | chriseth | 2018-12-12 | 6 | -1/+114 |
|\ \ | |/ |/| | Decide better in storing string literals as data | ||||
| * | Tests for gas costs. | chriseth | 2018-12-11 | 6 | -1/+114 |
| | | |||||
* | | Add tests for implcit conversions from literals to fixed-point numbers. | Yi Huang | 2018-12-11 | 3 | -1/+18 |
| | | |||||
* | | Have only one source where testsuits are defined | Mathias Baumann | 2018-12-10 | 3 | -96/+87 |
|/ | |||||
* | Tests for stack reusing code generator. | chriseth | 2018-12-10 | 1 | -0/+353 |
| | |||||
* | Adds more detailed type errors and tests. | Erik Kundt | 2018-12-07 | 5 | -15/+21 |
| | |||||
* | Adds an additional message to failing type conversions. | Erik Kundt | 2018-12-07 | 5 | -10/+25 |
| | |||||
* | Merge pull request #4936 from ethereum/binSelect | chriseth | 2018-12-07 | 6 | -0/+194 |
|\ | | | | | Binary search for dispatch. | ||||
| * | Gas tests for the binary search dispatch routine. | chriseth | 2018-12-06 | 6 | -0/+194 |
| | | |||||
* | | Add structural simplifier as optimization step for Yul. | Daniel Kirchner | 2018-12-07 | 12 | -11/+87 |
| | | |||||
* | | Add tests. | chriseth | 2018-12-06 | 14 | -3/+417 |
| | | |||||
* | | Merge pull request #5554 from ethereum/cp-SourceReferenceFormatter-refactor | chriseth | 2018-12-06 | 8 | -20/+16 |
|\ \ | |/ |/| | [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 | 8 | -20/+16 |
| | | | | | | | | making use of new SourceLocation's CharStream knowledge | ||||
* | | 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 | 2 | -1/+2 |
|\ \ | | | | | | | Remove unary + from the type system | ||||
| * | | Update test | Albert | 2018-12-06 | 1 | -1/+1 |
| | | | |||||
| * | | Fix #5470 | Albert | 2018-12-06 | 1 | -0/+1 |
| | | | | | | | | | | | | Remove unary + from the type system | ||||
* | | | Remove `w` parameter for toHex. | chriseth | 2018-12-06 | 4 | -6/+6 |
|/ / | |||||
* | | add a 'readable' format for large hex values | Kevin Kelley | 2018-12-06 | 8 | -10/+154 |
| | | |||||
* | | 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 | 1 | -0/+14 |
|\ \ | | | | | | | Fix expression simplifier asserting on default values | ||||
| * | | Test for unhandled default values in expression simplifier | Mathias Baumann | 2018-12-05 | 1 | -0/+14 |
| | | | |||||
* | | | Merge pull request #5592 from ethereum/fix-issue-5446 | chriseth | 2018-12-05 | 1 | -1/+1 |
|\ \ \ | |_|/ |/| | | Relax assertion about jumps in loose mode | ||||
| * | | Relax assertion about jumps in loose mode | Mathias Baumann | 2018-12-05 | 1 | -1/+1 |
| |/ | |||||
* | | Merge pull request #5390 from ethereum/smt_one_loop | chriseth | 2018-12-05 | 17 | -8/+177 |
|\ \ | |/ |/| | [SMTChecker] Unroll loops once | ||||
| * | [SMTChecker] Loops are unrolled once | Leonardo Alt | 2018-12-04 | 17 | -8/+177 |
| | | |||||
* | | Builtin functions for yul analysis. | chriseth | 2018-12-04 | 1 | -0/+19 |
| | | |||||
* | | 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 |
| | | |||||
* | | Merge pull request #5573 from ethereum/builtins | chriseth | 2018-12-04 | 4 | -10/+10 |
|\ \ | | | | | | | [Yul] Introduce the concept of builtin functions. | ||||
| * | | Introduce the concept of builtin functions. | chriseth | 2018-12-04 | 4 | -10/+10 |
| |/ | |||||
* / | Properly recurse in ForLoopInitRewriter | Daniel Kirchner | 2018-12-04 | 2 | -5/+53 |
|/ | |||||
* | 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 | 2 | -6/+3 |
| | |||||
* | Fix internal compiler error for unimplemented base contract function. | Anurag Dashputre | 2018-12-03 | 2 | -0/+20 |
| | |||||
* | Merge pull request #5341 from ethereum/optimizeAssemblyCommandline | chriseth | 2018-12-03 | 1 | -4/+39 |
|\ | | | | | 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 |
| | | |||||
* | | Merge pull request #5557 from ↵ | chriseth | 2018-12-03 | 5 | -0/+33 |
|\ \ | | | | | | | | | | | | | ethereum/fixInterfaceImplementedByPublicStateVariable Public state variables are implementing external functions. | ||||
| * | | Public state variables are implementing external functions. | chriseth | 2018-12-03 | 5 | -0/+33 |
| |/ | |||||
* | | Merge pull request #5537 from ethereum/cp-SourceLocation-related-refactoring | chriseth | 2018-12-01 | 12 | -101/+111 |
|\ \ | |/ |/| | [1/3] SourceLocation related refactoring. | ||||
| * | liblangutil: SourceLocation: Retricts == and != operator | Christian Parpart | 2018-12-01 | 1 | -1/+2 |
| | | |||||
| * | liblangutil: Scanner: remove superfluous sourceName field (it's in ↵ | Christian Parpart | 2018-12-01 | 4 | -17/+17 |
| | | | | | | | | | | | | | | 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 | 4 | -26/+35 |
| | | | | | | | | | | | | 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 | 9 | -75/+75 |
| | | | | | | | | (and adapt codebase to it) | ||||
* | | Test. | chriseth | 2018-11-30 | 2 | -0/+26 |
| | | |||||
* | | 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 | 2 | -0/+27 |
|\ \ \ | | | | | | | | | 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 | 2 | -0/+27 |
| |/ / | |||||
* / / | Disallow inline arrays of mapping type. | chriseth | 2018-11-30 | 1 | -0/+8 |
|/ / | |||||
* | | Report deprecation error on functions sha3 and suicide also without call. | Leonardo Alt | 2018-11-29 | 7 | -2/+58 |
| | | |||||
* | | Fix ICE when function type struct parameter has field of non-existent type | Leonardo Alt | 2018-11-29 | 2 | -0/+19 |
| | | |||||
* | | Merge pull request #5526 from ethereum/fixGetterNewCoder | chriseth | 2018-11-29 | 4 | -0/+32 |
|\ \ | |/ |/| | Fix: Disallow structs in getters for old encoder. | ||||
| * | Tests. | chriseth | 2018-11-28 | 4 | -0/+32 |
| | | |||||
* | | Remove boost test checks from SMTCheckerJSONTest | Leonardo Alt | 2018-11-28 | 1 | -31/+56 |
|/ | |||||
* | Tests. | chriseth | 2018-11-27 | 1 | -0/+257 |
| | |||||
* | Use yul parser in assembly stack. | chriseth | 2018-11-27 | 1 | -3/+6 |
| | |||||
* | Merge pull request #5382 from ethereum/libraryMappingPublic | chriseth | 2018-11-27 | 8 | -14/+88 |
|\ | | | | | Allow mapping arguments for public and external library functions. | ||||
| * | Allow mapping arguments for public and external library functions. | Daniel Kirchner | 2018-11-26 | 8 | -14/+88 |
| | | |||||
* | | Changelog entry and tests. | chriseth | 2018-11-26 | 2 | -0/+11 |
| | | |||||
* | | Tests. | Daniel Kirchner | 2018-11-26 | 9 | -0/+166 |
|/ | |||||
* | Merge pull request #5486 from ethereum/allowExternalPublicOverride | chriseth | 2018-11-26 | 4 | -1/+32 |
|\ | | | | | Allow external public override | ||||
| * | Changelog entry and tests. | chriseth | 2018-11-26 | 4 | -1/+32 |
| | | |||||
* | | Merge pull request #5494 from ethereum/scanner-error-handling | chriseth | 2018-11-26 | 8 | -11/+16 |
|\ \ | | | | | | | Improved Scanner error diagnostics. | ||||
| * | | Adapting tests to Scanner's lexical error diagnostics change. | Christian Parpart | 2018-11-24 | 8 | -30/+32 |
| | | | |||||
| * | | adapt to latest code changes | Lazaridis | 2018-11-24 | 8 | -23/+26 |
| | | | |||||
* | | | Merge pull request #5497 from ethereum/langutil-SourceReferenceFormatter | chriseth | 2018-11-26 | 6 | -7/+7 |
|\ \ \ | |_|/ |/| | | Moving SourceReferenceFormatter into langutil namespace. | ||||
| * | | Moving SourceReferenceFormatter into langutil namespace. | Christian Parpart | 2018-11-24 | 6 | -7/+7 |
| |/ | |||||
* / | decouple TestCase class from test/libsolidity | Lazaridis | 2018-11-25 | 6 | -5/+5 |
|/ | |||||
* | Merge pull request #5491 from ethereum/libyul-as-library | chriseth | 2018-11-24 | 9 | -80/+64 |
|\ | | | | | Libyul as static library (version 3 ;( ) | ||||
| * | Isolating libyul library API into its own namespace `yul`. | Christian Parpart | 2018-11-23 | 8 | -55/+42 |
| | | |||||
| * | CMake: Isolate libyul into its own static library | Christian Parpart | 2018-11-23 | 1 | -1/+1 |
| | | |||||
| * | Reorder some include files and group <libyul/>'s together (as much as possible) | Christian Parpart | 2018-11-23 | 3 | -9/+6 |
| | | |||||
| * | Rewrite header paths to adapt to recent `git mv` of libsolidity/inlineasm to ↵ | Christian Parpart | 2018-11-23 | 6 | -16/+16 |
| | | | | | | | | libyul | ||||
* | | Add SMTChecker tests for standard JSON | Leonardo Alt | 2018-11-23 | 11 | -2/+255 |
|/ | |||||
* | Merge pull request #5451 from ethereum/bound_function_tests | chriseth | 2018-11-23 | 4 | -0/+43 |
|\ | | | | | Add assert and tests for bound functions | ||||
| * | Add assert and tests for bound functions | Leonardo Alt | 2018-11-22 | 4 | -0/+43 |
| | | |||||
* | | 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 |
|/ | | | | But keep divison in C++ because results differ between different solvers | ||||
* | Merge pull request #5427 from ethereum/liblangutil | chriseth | 2018-11-22 | 37 | -56/+86 |
|\ | | | | | Factor out langutil, a new static library that is shared between libyul/libsolidity | ||||
| * | Introduce namespace `langutil` in liblangutil directory. | Christian Parpart | 2018-11-22 | 27 | -25/+52 |
| | | | | | | | | | | | | | | Also: - Use {}-style list initialisation for SourceLocation construction - Introduce new system includes - Changes the API of the Scanner to take source as value (with move) as opposed to as a reference | ||||
| * | Isolating files shared between Yul- and Solidity language frontend. | Christian Parpart | 2018-11-22 | 25 | -35/+38 |
| | | |||||
* | | Fix constructor in AuctionRegistrar | Alex Beregszaszi | 2018-11-22 | 1 | -1/+1 |
|/ | |||||
* | LLL: implement WITH keyword | Alex Beregszaszi | 2018-11-21 | 1 | -0/+13 |
| | |||||
* | Merge pull request #5444 from Mordax/issue-5168-rmvirtual | Alex Beregszaszi | 2018-11-21 | 2 | -6/+6 |
|\ | | | | | Removing redundant virtual from override function declaration | ||||
| * | Removing redundant virtual from override function declaration | mordax | 2018-11-21 | 2 | -6/+6 |
| | | | | | | | | | | | | Remove trailing whitespace Remove changelog change | ||||
* | | Merge pull request #5355 from ethereum/yul-forloop-pre-rewrite | chriseth | 2018-11-21 | 5 | -1/+75 |
|\ \ | |/ |/| | [Yul] Implements a pass to rewrite for-loop's pre block into the parent's Block | ||||
| * | [Yul] Implements a pass to rewrite for-loop's pre block into the parent's Block. | Christian Parpart | 2018-11-16 | 5 | -1/+75 |
| | | |||||
* | | [SMTChecker] Support bound function calls | Leonardo Alt | 2018-11-19 | 4 | -0/+78 |
| | | |||||
* | | [SMTChecker] Implement uninterpreted functions and use it for blockhash() | Leonardo Alt | 2018-11-15 | 1 | -2/+6 |
|/ | |||||
* | Do not perform cleanup on unsigned integers when loading from calldata. | chriseth | 2018-11-15 | 1 | -1/+1 |
| | |||||
* | Merge pull request #5410 from ethereum/lll-build | chriseth | 2018-11-14 | 4 | -3/+12 |
|\ | | | | | Do not build LLL unless requested via the LLL cmake option | ||||
| * | 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 |
| | | |||||
* | | Fix commandline tests. | chriseth | 2018-11-14 | 1 | -1/+1 |
|/ | |||||
* | Use latest solcjs and replace compileStandard by compile. | chriseth | 2018-11-13 | 1 | -1/+12 |
| | |||||
* | Remove old libsolc API (compileJSON, compileJSONMulti, compileJSONCallback) | Alex Beregszaszi | 2018-11-13 | 2 | -141/+4 |
| | |||||
* | LLL: ensure assembly tests have the correct arguments | Alex Beregszaszi | 2018-11-13 | 1 | -168/+168 |
| | |||||
* | 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 |
| | |||||
* | Update tests. | chriseth | 2018-11-13 | 1 | -66/+66 |
| | |||||
* | Merge pull request #5406 from ethereum/uninitializedStorageUnimplemented | chriseth | 2018-11-13 | 2 | -0/+8 |
|\ | | | | | Ignore unimplemented functions for detecting uninitialized storage returns. | ||||
| * | Ignore unimplemented functions for storage returns. | Daniel Kirchner | 2018-11-13 | 2 | -0/+8 |
| | | |||||
* | | Merge pull request #5333 from ethereum/joinPerformance | chriseth | 2018-11-13 | 1 | -0/+654 |
|\ \ | | | | | | | [Yul] Use map join algorithm for performance. | ||||
| * | | Remove variables that go out of scope from data structure. | chriseth | 2018-11-13 | 1 | -139/+170 |
| | | | |||||
| * | | Use map join algorithm for performance. | chriseth | 2018-11-13 | 1 | -0/+623 |
| |/ | |||||
* / | Deterministic YulStringRepository using string hashes. | Daniel Kirchner | 2018-11-13 | 3 | -11/+10 |
|/ | |||||
* | Remove trailing whitespace. | chriseth | 2018-11-12 | 2 | -2/+2 |
| | |||||
* | Refactor of bool TypeChecker::visit(FunctionCall const& _functionCall). | Kristofer Peterson | 2018-11-10 | 3 | -1/+11 |
| | | | | | | Visit method now cleanly determines if node represents a function call, struct construction or type conversion. Type checking, validation and error message logic is moved to separate methods. | ||||
* | Merge pull request #5128 from ethereum/breakUnbreak | chriseth | 2018-11-09 | 4 | -5/+74 |
|\ | | | | | [Yul] Test case that shows that break / unbreak are more or less inverse | ||||
| * | Test case that shows that break/unbreak are more or less inverse. | chriseth | 2018-11-09 | 4 | -5/+74 |
| | | |||||
* | | Reset yul string repository. | chriseth | 2018-11-09 | 1 | -0/+2 |
| | | |||||
* | | Merge pull request #5265 from ethereum/cleanupsha3 | chriseth | 2018-11-09 | 4 | -4/+4 |
|\ \ | |/ |/| | Simplify sha3. | ||||
| * | Renamed SHA3.{h,cpp} files. | chriseth | 2018-10-18 | 4 | -4/+4 |
| | | |||||
* | | Remove side-effect-free statements. | chriseth | 2018-11-09 | 2 | -3/+9 |
| | | |||||
* | | Merge pull request #5325 from ethereum/fixDataFlow | chriseth | 2018-11-08 | 2 | -0/+104 |
|\ \ | | | | | | | [Yul] Fix data flow analyzer for function definitions. | ||||
| * | | Fix data flow analyzer for function definitions. | chriseth | 2018-11-08 | 2 | -0/+104 |
| | | | |||||
* | | | Merge pull request #5365 from ethereum/improveNameDispenser | chriseth | 2018-11-08 | 13 | -63/+63 |
|\ \ \ | | | | | | | | | [Yul] Use single counter for name dispenser for performance reasons. | ||||
| * | | | Use single counter for name dispenser for performance reasons. | chriseth | 2018-11-08 | 13 | -63/+63 |
| | | | | |||||
* | | | | Merge pull request #5366 from ethereum/addVarDecl | chriseth | 2018-11-08 | 1 | -1/+5 |
|\ \ \ \ | | | | | | | | | | | [Yul] Add VarDeclPropagator to full suite and interactive optimizer. | ||||
| * | | | | Add VarDeclPropagator to full suite and interactive optimizer. | chriseth | 2018-11-08 | 1 | -1/+5 |
| | |/ / | |/| | | |||||
* | | | | Merge pull request #5351 from ethereum/functionTypeConversion | chriseth | 2018-11-08 | 13 | -0/+128 |
|\ \ \ \ | | | | | | | | | | | Relax type equality requirement of function types during conversion in code generation. | ||||
| * | | | | Function type conversion test cases. | Daniel Kirchner | 2018-11-08 | 13 | -0/+128 |
| | | | | | |||||
* | | | | | Merge pull request #5348 from ethereum/boostRationalNegativeDenominatorFix | chriseth | 2018-11-08 | 1 | -0/+5 |
|\ \ \ \ \ | |_|/ / / |/| | | | | Fix negative denominator in ``boost::rational`` during exponentiation. | ||||
| * | | | | Fix negative denominator in ``boost::rational`` during exponentiation. | Daniel Kirchner | 2018-11-06 | 1 | -0/+5 |
| |/ / / | |||||
* | | | | Merge pull request #5327 from ethereum/rematerializerSmall | chriseth | 2018-11-08 | 1 | -1/+5 |
|\ \ \ \ | |_|/ / |/| | | | Add rematerializer to interactive optimizer. | ||||
| * | | | Add rematerializer to interactive optimizer. | chriseth | 2018-10-28 | 1 | -1/+5 |
| | | | | |||||
* | | | | Performance: Replace string by special single-copy YulString class. | chriseth | 2018-11-08 | 1 | -4/+4 |
| | | | | |||||
* | | | | Eliminate `byte`-typedef and use `uint8_t` in all their places instead. | Christian Parpart | 2018-11-07 | 3 | -154/+154 |
| |/ / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This change is made to (easily) be forward compatible with future C++ standards, in order to allow compiling the code with newer standards at some point in the future. * Removed the `using byte = uint8_t;` line from Common.h * Mechanically change all uses of `byte` to `uint8_t`. Tested with GCC 7.3 in C++11/14/17 modes :-) | ||||
* | | | Remove uses of boost::rational with negative denominator, which breaks with ↵ | Daniel Kirchner | 2018-11-06 | 1 | -2/+0 |
| | | | | | | | | | | | | boost 1.68. | ||||
* | | | Fixes crash while encoding too large arrays. | Erik Kundt | 2018-10-30 | 3 | -0/+26 |
| | | | |||||
* | | | Yul: Implements empty-var-decl-propagation | Christian Parpart | 2018-10-26 | 9 | -0/+105 |
|/ / | |||||
* | | Merge pull request #5273 from ethereum/interactiveOpt | chriseth | 2018-10-25 | 2 | -0/+228 |
|\ \ | | | | | | | [Yul] Interactive optimizer tool | ||||
| * | | 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 | 3 | -8/+16 |
|\ \ \ | | | | | | | | | [SMTChecker] Support FixedBytes | ||||
| * | | | Grouping of symbolic variables in the same file and support to FixedBytes | Leonardo Alt | 2018-10-25 | 3 | -8/+16 |
| |/ / | |||||
* | | | Merge pull request #5242 from ethereum/someChecks | chriseth | 2018-10-25 | 4 | -0/+44 |
|\ \ \ | | | | | | | | | Some well-formedness checks for the Yul AST. | ||||
| * | | | Added some tests. | chriseth | 2018-10-24 | 4 | -0/+44 |
| | | | | |||||
* | | | | Merge pull request #5271 from ethereum/fullSuite | chriseth | 2018-10-25 | 2 | -0/+29 |
|\ \ \ \ | | | | | | | | | | | [Yul] Full suite tests. | ||||
| * | | | | Full suite tests. | chriseth | 2018-10-25 | 2 | -0/+29 |
| | |/ / | |/| | | |||||
* | | | | Merge pull request #5296 from ethereum/setPragmaToArbitrary | chriseth | 2018-10-25 | 92 | -2012/+52 |
|\ \ \ \ | |/ / / |/| | | | Set pragma to arbitrary | ||||
| * | | | Remove pragma changer. | chriseth | 2018-10-24 | 1 | -2/+0 |
| | | | | |||||
| * | | | Set pragma to arbitrary. | chriseth | 2018-10-24 | 52 | -52/+52 |
| | | | | |||||
| * | | | Only run zeppelin as external tests. | chriseth | 2018-10-24 | 39 | -1958/+0 |
| | | | | |||||
* | | | | Merge pull request #5272 from ethereum/smt_special_vars | chriseth | 2018-10-24 | 10 | -17/+128 |
|\ \ \ \ | | | | | | | | | | | [SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhash | ||||
| * | | | | Add gasleft constraint and use full member access name | Leonardo Alt | 2018-10-23 | 2 | -0/+14 |
| | | | | | |||||
| * | | | | [SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhash | Leonardo Alt | 2018-10-19 | 9 | -17/+114 |
| | |/ / | |/| | | |||||
* | | | | Redundant assign eliminator. | chriseth | 2018-10-24 | 20 | -0/+413 |
| |/ / |/| | | |||||
* | | | Refactor `solidity::Token` into an `enum class` with `TokenTraits` helper ↵ | Christian Parpart | 2018-10-22 | 1 | -3/+3 |
|/ / | | | | | | | namespace | ||||
* | | Merge pull request #5256 from ethereum/lvalueCleanup | chriseth | 2018-10-19 | 1 | -0/+18 |
|\ \ | | | | | | | Lvalue cleanup | ||||
| * | | Add a test for delete x.length | chriseth | 2018-10-18 | 1 | -0/+18 |
| | | | |||||
* | | | Merge pull request #5267 from ethereum/ssatransform | chriseth | 2018-10-19 | 12 | -0/+314 |
|\ \ \ | | | | | | | | | SSA transform - first step. | ||||
| * | | | SSA transform - first step. | chriseth | 2018-10-19 | 12 | -0/+314 |
| | |/ | |/| | |||||
* | | | Merge pull request #5260 from ethereum/flattenMore | chriseth | 2018-10-19 | 1 | -0/+22 |
|\ \ \ | | | | | | | | | Flatten more. | ||||
| * | | | Flatten more. | chriseth | 2018-10-18 | 1 | -0/+22 |
| | |/ | |/| | |||||
* | | | Merge pull request #5258 from ethereum/coverage2 | chriseth | 2018-10-19 | 2 | -0/+56 |
|\ \ \ | | | | | | | | | Add some simplification tests for operations. | ||||
| * | | | Add some simplification tests for operations. | chriseth | 2018-10-18 | 2 | -0/+56 |
| |/ / | |||||
* | | | Merge pull request #5213 from Mordax/issue-5103 | chriseth | 2018-10-19 | 1 | -0/+15 |
|\ \ \ | | | | | | | | | Tests for flipping signs on signed type edge case | ||||
| * | | | Added test for flipping signs on signed type edge case | mordax | 2018-10-16 | 1 | -0/+15 |
| | | | | |||||
* | | | | Merge pull request #5270 from ethereum/inlineFlexible | chriseth | 2018-10-19 | 1 | -1/+1 |
|\ \ \ \ | | | | | | | | | | | Make full inliner more flexible. | ||||
| * | | | | Make full inliner more flexible. | chriseth | 2018-10-18 | 1 | -1/+1 |
| | |_|/ | |/| | | |||||
* | | | | Fix a bug in CSE where a variable that was already out of scope was used. | chriseth | 2018-10-18 | 1 | -1/+1 |
| | | | | |||||
* | | | | Test case that shows a CSE bug related to scopes. | chriseth | 2018-10-18 | 1 | -0/+25 |
|/ / / | |||||
* | | | Merge pull request #5240 from ethereum/limitDispenserSize | chriseth | 2018-10-18 | 3 | -6/+40 |
|\ \ \ | |_|/ |/| | | [Yul] Limit name length created by dispenser | ||||
| * | | Limit size of generated names and add convenience constructors. | chriseth | 2018-10-17 | 3 | -6/+40 |
| | | | |||||
* | | | Merge pull request #5232 from ethereum/inlineHeuristic | chriseth | 2018-10-17 | 3 | -0/+97 |
|\ \ \ | |/ / |/| | | [Yul] Add simple inlining heuristic | ||||
| * | | Use metrics in the full inliner. | chriseth | 2018-10-17 | 3 | -0/+97 |
| | | | |||||
* | | | Handle externally supplied variables correctly in disambiguator. | chriseth | 2018-10-17 | 1 | -1/+1 |
|/ / | |||||
* | | Inline each function separately. | chriseth | 2018-10-16 | 2 | -41/+16 |
| | | |||||
* | | Test for crash via inlining. | chriseth | 2018-10-16 | 1 | -0/+84 |
| | | |||||
* | | New full inliner. | chriseth | 2018-10-16 | 10 | -56/+124 |
| | | |||||
* | | Add a "full simplify" test that applies multiple elementary transforms. | chriseth | 2018-10-16 | 17 | -0/+198 |
| | | |||||
* | | New simplifier via broken expressions. | chriseth | 2018-10-16 | 1 | -1/+1 |
| | | |||||
* | | Merge pull request #5225 from mestorlx/issue5007 | chriseth | 2018-10-16 | 1 | -0/+8 |
|\ \ | |/ |/| | Prevent crash in case there are no contracts | ||||
| * | fix issue##5007 | mestorlx | 2018-10-16 | 1 | -0/+8 |
| | | |||||
* | | Merge pull request #5226 from ethereum/chriseth-patch-3 | chriseth | 2018-10-16 | 1 | -1/+2 |
|\ \ | | | | | | | Correct include path | ||||
| * | | Correct include path | chriseth | 2018-10-16 | 1 | -1/+2 |
| | | | |||||
* | | | Merge pull request #5222 from ethereum/yul-block-flattener | chriseth | 2018-10-16 | 5 | -0/+93 |
|\ \ \ | |/ / |/| | | [WIP] Yul: Introduces a block flattening pass | ||||
| * | | Yul: Introduces a block flattening pass + tests | Christian Parpart | 2018-10-16 | 5 | -0/+93 |
| |/ | |||||
* / | Bug fix: Add missing include in test/Options.h; otherwise compiler does not ↵ | Bhargava Shastry | 2018-10-15 | 1 | -1/+1 |
|/ | | | | recognise the boost object that Options subclasses | ||||
* | [SMTChecker] Inline calls to internal functions | Leonardo Alt | 2018-10-15 | 22 | -7/+290 |
| | |||||
* | Merge pull request #5221 from ethereum/splitRenamingLeftovers | chriseth | 2018-10-15 | 1 | -1/+1 |
|\ | | | | | Some renaming leftovers. | ||||
| * | Some renaming leftovers. | chriseth | 2018-10-15 | 1 | -1/+1 |
| | | |||||
* | | Merge pull request #5208 from mestorlx/bug4156 | chriseth | 2018-10-15 | 3 | -0/+43 |
|\ \ | |/ |/| | [WIP] Bad identifier suggestion in certain cases | ||||
| * | Updated MAXIMUM_STRING_DISTANCE to non static maximumStringDistance taking ↵ | mestorlx | 2018-10-13 | 3 | -0/+43 |
| | | | | | | | | into account length of the identifier | ||||
* | | Renaming namespace dev::julia to dev::yul. | Christian Parpart | 2018-10-15 | 7 | -13/+13 |
| | | |||||
* | | Renaming libjulia to libyul | Christian Parpart | 2018-10-15 | 119 | -30/+30 |
| | | |||||
* | | Merge pull request #5149 from ethereum/fix_assertion_on_inval_tuple_call | chriseth | 2018-10-15 | 2 | -0/+16 |
|\ \ | | | | | | | Fixes invalid function calls to literals inside tuple assignment's LHS. | ||||
| * | | Fixes invalid function calls to literals inside tuple assignment's LHS. | Christian Parpart | 2018-10-15 | 2 | -0/+16 |
| |/ | |||||
* / | Also substitute variables in CSE. | chriseth | 2018-10-12 | 1 | -0/+27 |
|/ | |||||
* | Merge pull request #5127 from ethereum/exprUnbreaker | chriseth | 2018-10-12 | 17 | -0/+236 |
|\ | | | | | [Yul] Expression joiner. | ||||
| * | Expression joiner. | chriseth | 2018-10-12 | 17 | -0/+236 |
| | | |||||
* | | Merge pull request #5206 from ethereum/splitConstantsToo | chriseth | 2018-10-12 | 4 | -33/+56 |
|\ \ | | | | | | | [Yul] Split constants too | ||||
| * | | Also split constants. | chriseth | 2018-10-12 | 4 | -33/+56 |
| |/ | |||||
* | | Merge pull request #5145 from ethereum/hashLinker | chriseth | 2018-10-12 | 2 | -1/+19 |
|\ \ | |/ |/| | Hash linker | ||||
| * | Change library placeholder to `__$<hash>$__`. | chriseth | 2018-10-12 | 1 | -1/+1 |
| | | |||||
| * | Use hash for library placeholders. | chriseth | 2018-10-12 | 2 | -1/+19 |
| | | |||||
* | | Move unused pruner tests. | chriseth | 2018-10-12 | 12 | -129/+113 |
| | | |||||
* | | Move expression simplifier tests. | chriseth | 2018-10-12 | 18 | -178/+158 |
| | | |||||
* | | Move rematerialiser tests. | chriseth | 2018-10-12 | 19 | -179/+292 |
| | | |||||
* | | Move main function tests. | chriseth | 2018-10-12 | 7 | -87/+117 |
| | | |||||
* | | Move tests for full inliner. | chriseth | 2018-10-12 | 9 | -175/+205 |
| | | |||||
* | | Move expression inliner tests. | chriseth | 2018-10-12 | 9 | -95/+124 |
| | | |||||
* | | Move function hoister tests. | chriseth | 2018-10-12 | 7 | -85/+97 |
| | | |||||
* | | Move function grouper tests. | chriseth | 2018-10-12 | 7 | -85/+102 |
| | | |||||
* | | Move expression splitter tests. | chriseth | 2018-10-12 | 7 | -156/+106 |
| | | |||||
* | | Move common subexpression eliminator tests. | chriseth | 2018-10-12 | 8 | -102/+81 |
|/ | |||||
* | Remove old disambiguator test. | chriseth | 2018-10-11 | 1 | -105/+0 |
| | |||||
* | Disambiguator tests. | chriseth | 2018-10-11 | 9 | -0/+159 |
| | |||||
* | Add Yul optimizer test framework. | chriseth | 2018-10-11 | 6 | -2/+266 |
| | |||||
* | Combine test path discovery. | chriseth | 2018-10-11 | 5 | -41/+93 |
| | |||||
* | Extract test suite runs. | chriseth | 2018-10-11 | 1 | -36/+39 |
| | |||||
* | Extract function. | chriseth | 2018-10-11 | 1 | -19/+25 |
| | |||||
* | Adds syntax tests for array index access. | Erik Kundt | 2018-10-11 | 5 | -0/+31 |
| | |||||
* | Merge pull request #5195 from ethereum/unsigned-array-index | chriseth | 2018-10-11 | 4 | -0/+40 |
|\ | | | | | Do not crash on non-unsigned array index | ||||
| * | Fixes crash on non-unsigned array index. | Erik Kundt | 2018-10-11 | 4 | -0/+40 |
| | | |||||
* | | Improved error message for lookup in function types. | Martin Diz | 2018-10-10 | 5 | -0/+85 |
| | | |||||
* | | Merge pull request #5186 from ethereum/renameBreaker | chriseth | 2018-10-10 | 1 | -3/+3 |
|\ \ | | | | | | | Rename ExpressionBreaker to ExpressionSplitter. | ||||
| * | | Rename ExpressionBreaker to ExpressionSplitter. | chriseth | 2018-10-10 | 1 | -3/+3 |
| | | | |||||
* | | | Merge pull request #5134 from ethereum/fuzzer-input-file | chriseth | 2018-10-10 | 1 | -11/+27 |
|\ \ \ | |/ / |/| | | solfuzzer: adds --input-file=FILENAME command line argument (defaulting to stdin) | ||||
| * | | adds --input-file=FILENAME to solfuzzer | Christian Parpart | 2018-10-10 | 1 | -11/+27 |
| | | | |||||
* | | | Merge pull request #5184 from ethereum/viewFunctionDocs | chriseth | 2018-10-10 | 1 | -0/+25 |
|\ \ \ | |_|/ |/| | | Library view functions | ||||
| * | | Documents library view functions and adds unit test. | Erik Kundt | 2018-10-10 | 1 | -0/+25 |
| | | | |||||
* | | | Merge pull request #5180 from ethereum/cpp-cleanup | chriseth | 2018-10-10 | 4 | -5/+3 |
|\ \ \ | |_|/ |/| | | Some C++ cleanup | ||||
| * | | Do not require ctype/stdio if not needed | Alex Beregszaszi | 2018-10-10 | 2 | -2/+0 |
| | | | |||||
| * | | Use nullptr instead of NULL where appropriate | Alex Beregszaszi | 2018-10-10 | 2 | -3/+3 |
| | | | |||||
* | | | Merge pull request #5076 from ethereum/exprBreaker | chriseth | 2018-10-09 | 2 | -0/+253 |
|\ \ \ | | | | | | | | | [Yul] Expression breaker. | ||||
| * | | | Expression breaker. | chriseth | 2018-10-09 | 2 | -0/+253 |
| | | | | |||||
* | | | | Fixes large rational number literals being wrongly interpreted. | Christian Parpart | 2018-10-09 | 2 | -0/+18 |
|/ / / | | | | | | | | | | Fixes #5052. | ||||
* | | | Merge pull request #5124 from lazaridiscom/1802-hex-error-reporting | chriseth | 2018-10-09 | 1 | -4/+8 |
|\ \ \ | | | | | | | | | use Token type for hex error, draft re #1802 | ||||
| * | | | provide general hex-literal error message, fixes #1802 | Lazaridis | 2018-10-09 | 1 | -4/+8 |
| |/ / | | | | | | | | | | dummy | ||||
* / / | Fix commandline tests for release version. | chriseth | 2018-10-09 | 7 | -9/+4 |
|/ / | |||||
* | | Fix ast json test for function kind. | chriseth | 2018-10-09 | 2 | -1/+2 |
| | | |||||
* | | Merge pull request #4734 from ethereum/astUpdate | chriseth | 2018-10-09 | 29 | -10/+571 |
|\ \ | |/ |/| | JSON AST: replace ``isConstructor`` by ``kind`` which also supports fallbacks | ||||
| * | Restore ``isConstructor`` in the legacy AST. | Daniel Kirchner | 2018-09-11 | 13 | -0/+13 |
| | | |||||
| * | Add new test cases. | Daniel Kirchner | 2018-09-11 | 9 | -0/+548 |
| | | |||||
| * | Replace ``isConstructor`` field in the JSON AST by a ``kind`` field. | Daniel Kirchner | 2018-09-11 | 20 | -20/+20 |
| | | |||||
* | | soltest: provides sane defaults for --testpath command line option | Christian Parpart | 2018-10-08 | 1 | -0/+23 |
| | |