Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Use rematerializer if variable is unreferenced or value is "cheap". | chriseth | 2019-01-07 | 1 | -1/+1 |
| | |||||
* | Remove VarDeclPropagator. | chriseth | 2018-12-13 | 1 | -3/+3 |
| | |||||
* | Codegen for object access. | chriseth | 2018-12-12 | 1 | -2/+4 |
| | |||||
* | Have only one source where testsuits are defined | Mathias Baumann | 2018-12-10 | 1 | -56/+6 |
| | |||||
* | Add structural simplifier as optimization step for Yul. | Daniel Kirchner | 2018-12-07 | 1 | -1/+6 |
| | |||||
* | Add tests. | chriseth | 2018-12-06 | 2 | -3/+27 |
| | |||||
* | Merge pull request #5554 from ethereum/cp-SourceReferenceFormatter-refactor | chriseth | 2018-12-06 | 1 | -4/+4 |
|\ | | | | | [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 | 1 | -4/+4 |
| | | | | | | | | making use of new SourceLocation's CharStream knowledge | ||||
* | | Relax assertion about jumps in loose mode | Mathias Baumann | 2018-12-05 | 1 | -1/+1 |
|/ | |||||
* | Introduce the concept of builtin functions. | chriseth | 2018-12-04 | 1 | -2/+2 |
| | |||||
* | liblangutil: Scanner: remove superfluous sourceName field (it's in ↵ | Christian Parpart | 2018-12-01 | 1 | -1/+1 |
| | | | | | | | CharStream already) Also, ParserBase::sourceName() was dead code. Eliminating it should increase test coverage (how sneaky) :-) | ||||
* | liblangutil: extends CharStream to know about the respective (file-)name ↵ | Christian Parpart | 2018-11-29 | 1 | -1/+1 |
| | | | | (and adapt codebase to it) | ||||
* | Merge pull request #5497 from ethereum/langutil-SourceReferenceFormatter | chriseth | 2018-11-26 | 1 | -1/+1 |
|\ | | | | | Moving SourceReferenceFormatter into langutil namespace. | ||||
| * | Moving SourceReferenceFormatter into langutil namespace. | Christian Parpart | 2018-11-24 | 1 | -1/+1 |
| | | |||||
* | | decouple TestCase class from test/libsolidity | Lazaridis | 2018-11-25 | 1 | -1/+1 |
|/ | |||||
* | Merge pull request #5491 from ethereum/libyul-as-library | chriseth | 2018-11-24 | 1 | -11/+10 |
|\ | | | | | Libyul as static library (version 3 ;( ) | ||||
| * | Isolating libyul library API into its own namespace `yul`. | Christian Parpart | 2018-11-23 | 1 | -6/+5 |
| | | |||||
| * | Rewrite header paths to adapt to recent `git mv` of libsolidity/inlineasm to ↵ | Christian Parpart | 2018-11-23 | 1 | -5/+5 |
| | | | | | | | | libyul | ||||
* | | Add SMTChecker tests for standard JSON | Leonardo Alt | 2018-11-23 | 2 | -1/+13 |
|/ | |||||
* | Introduce namespace `langutil` in liblangutil directory. | Christian Parpart | 2018-11-22 | 1 | -2/+3 |
| | | | | | | | 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 | 1 | -2/+2 |
| | |||||
* | [Yul] Implements a pass to rewrite for-loop's pre block into the parent's Block. | Christian Parpart | 2018-11-16 | 1 | -1/+5 |
| | |||||
* | Remove old libsolc API (compileJSON, compileJSONMulti, compileJSONCallback) | Alex Beregszaszi | 2018-11-13 | 1 | -1/+1 |
| | |||||
* | Add VarDeclPropagator to full suite and interactive optimizer. | chriseth | 2018-11-08 | 1 | -1/+5 |
| | |||||
* | Add rematerializer to interactive optimizer. | chriseth | 2018-10-28 | 1 | -1/+5 |
| | |||||
* | Add redundant assign and ssa. | chriseth | 2018-10-24 | 1 | -1/+10 |
| | |||||
* | Interactive optimizer tool. | chriseth | 2018-10-24 | 2 | -0/+219 |
| | |||||
* | [SMTChecker] Inline calls to internal functions | Leonardo Alt | 2018-10-15 | 1 | -0/+19 |
| | |||||
* | Renaming namespace dev::julia to dev::yul. | Christian Parpart | 2018-10-15 | 1 | -1/+1 |
| | |||||
* | Renaming libjulia to libyul | Christian Parpart | 2018-10-15 | 2 | -3/+3 |
| | |||||
* | Add Yul optimizer test framework. | chriseth | 2018-10-11 | 2 | -1/+15 |
| | |||||
* | Combine test path discovery. | chriseth | 2018-10-11 | 2 | -22/+5 |
| | |||||
* | Extract test suite runs. | chriseth | 2018-10-11 | 1 | -36/+39 |
| | |||||
* | Extract function. | chriseth | 2018-10-11 | 1 | -19/+25 |
| | |||||
* | 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 |
| | | |||||
* | | Use nullptr instead of NULL where appropriate | Alex Beregszaszi | 2018-10-10 | 1 | -1/+1 |
|/ | |||||
* | Do not use compileJSON wrapper in the fuzzer | Alex Beregszaszi | 2018-09-29 | 1 | -45/+26 |
| | |||||
* | Initialize ``TestTool::m_formatted``. | Daniel Kirchner | 2018-08-08 | 1 | -1/+1 |
| | |||||
* | Always count all test cases in isoltest and exit early on user request. | Daniel Kirchner | 2018-08-08 | 1 | -12/+21 |
| | |||||
* | Infrastructure for extracting JSON AST tests. | Daniel Kirchner | 2018-08-04 | 2 | -4/+36 |
| | |||||
* | More consistent catch statements | Alex Beregszaszi | 2018-07-25 | 1 | -1/+1 |
| | | | | Also take const& in all cases. | ||||
* | isoltest: adds support for properly handling ANSI escape sequences on ↵ | Christian Parpart | 2018-07-16 | 1 | -0/+26 |
| | | | | Win32/Win64 builds. | ||||
* | Catch the proper exceptions in solfuzzer | Alex Beregszaszi | 2018-07-12 | 1 | -0/+4 |
| | |||||
* | Refactor syntax test infrastructure to prepare introducing semantics tests. | Daniel Kirchner | 2018-06-15 | 2 | -80/+34 |
| | |||||
* | Improve exception handling in soltest and isoltest. | Daniel Kirchner | 2018-06-12 | 1 | -22/+5 |
| | |||||
* | Fix source location assertion in isoltest | Alex Beregszaszi | 2018-05-16 | 1 | -2/+2 |
| | |||||
* | Fix link error when using boost shared library | mingchuan | 2018-05-11 | 1 | -1/+1 |
| | |||||
* | Add source locations to syntax test expectations. | Daniel Kirchner | 2018-04-10 | 1 | -19/+52 |
| | |||||
* | SyntaxTests: extend syntax tests and isoltest to support parser errors and ↵ | Daniel Kirchner | 2018-04-04 | 1 | -26/+39 |
| | | | | compiler exceptions. | ||||
* | Merge pull request #3744 from ethereum/useUsrBinEditor | Alex Beregszaszi | 2018-03-21 | 1 | -0/+2 |
|\ | | | | | Use /usr/bin/editor if exists. | ||||
| * | Use /usr/bin/editor if exists. | chriseth | 2018-03-16 | 1 | -0/+2 |
| | | |||||
* | | Only consider files ending with .sol and not starting with ~ in syntax tests. | Daniel Kirchner | 2018-03-16 | 1 | -1/+3 |
|/ | |||||
* | Add interactive test tool isoltest. | Daniel Kirchner | 2018-03-15 | 2 | -0/+349 |
| | |||||
* | Move test tools to the subdirectory test/tools and adjust CMakeLists.txt. | Daniel Kirchner | 2018-03-13 | 2 | -0/+218 |