aboutsummaryrefslogtreecommitdiffstats
path: root/test/tools
Commit message (Collapse)AuthorAgeFilesLines
* Stabilize SSAReverser.Daniel Kirchner2019-01-181-1/+1
|
* Add SSAReverser to the yul optimiser.Daniel Kirchner2019-01-181-1/+5
|
* Add equivalent function combiner as Yul optimizer step.Daniel Kirchner2019-01-161-1/+5
|
* Take special functions that require literals into account.chriseth2019-01-081-1/+1
|
* Make the dialect available everywhere.chriseth2019-01-071-11/+12
|
* Use rematerializer if variable is unreferenced or value is "cheap".chriseth2019-01-071-1/+1
|
* Remove VarDeclPropagator.chriseth2018-12-131-3/+3
|
* Codegen for object access.chriseth2018-12-121-2/+4
|
* Have only one source where testsuits are definedMathias Baumann2018-12-101-56/+6
|
* Add structural simplifier as optimization step for Yul.Daniel Kirchner2018-12-071-1/+6
|
* Add tests.chriseth2018-12-062-3/+27
|
* Merge pull request #5554 from ethereum/cp-SourceReferenceFormatter-refactorchriseth2018-12-061-4/+4
|\ | | | | [2/3] Refactor SourceReferenceFormatter (split-out data extraction & make use of new SourceLocation knowledge)
| * liblangutil: refactor SourceReferenceFormatter, splitting out retrieval and ↵Christian Parpart2018-12-061-4/+4
| | | | | | | | making use of new SourceLocation's CharStream knowledge
* | Relax assertion about jumps in loose modeMathias Baumann2018-12-051-1/+1
|/
* Introduce the concept of builtin functions.chriseth2018-12-041-2/+2
|
* liblangutil: Scanner: remove superfluous sourceName field (it's in ↵Christian Parpart2018-12-011-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 Parpart2018-11-291-1/+1
| | | | (and adapt codebase to it)
* Merge pull request #5497 from ethereum/langutil-SourceReferenceFormatterchriseth2018-11-261-1/+1
|\ | | | | Moving SourceReferenceFormatter into langutil namespace.
| * Moving SourceReferenceFormatter into langutil namespace.Christian Parpart2018-11-241-1/+1
| |
* | decouple TestCase class from test/libsolidityLazaridis2018-11-251-1/+1
|/
* Merge pull request #5491 from ethereum/libyul-as-librarychriseth2018-11-241-11/+10
|\ | | | | Libyul as static library (version 3 ;( )
| * Isolating libyul library API into its own namespace `yul`.Christian Parpart2018-11-231-6/+5
| |
| * Rewrite header paths to adapt to recent `git mv` of libsolidity/inlineasm to ↵Christian Parpart2018-11-231-5/+5
| | | | | | | | libyul
* | Add SMTChecker tests for standard JSONLeonardo Alt2018-11-232-1/+13
|/
* Introduce namespace `langutil` in liblangutil directory.Christian Parpart2018-11-221-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 Parpart2018-11-221-2/+2
|
* [Yul] Implements a pass to rewrite for-loop's pre block into the parent's Block.Christian Parpart2018-11-161-1/+5
|
* Remove old libsolc API (compileJSON, compileJSONMulti, compileJSONCallback)Alex Beregszaszi2018-11-131-1/+1
|
* Add VarDeclPropagator to full suite and interactive optimizer.chriseth2018-11-081-1/+5
|
* Add rematerializer to interactive optimizer.chriseth2018-10-281-1/+5
|
* Add redundant assign and ssa.chriseth2018-10-241-1/+10
|
* Interactive optimizer tool.chriseth2018-10-242-0/+219
|
* [SMTChecker] Inline calls to internal functionsLeonardo Alt2018-10-151-0/+19
|
* Renaming namespace dev::julia to dev::yul.Christian Parpart2018-10-151-1/+1
|
* Renaming libjulia to libyulChristian Parpart2018-10-152-3/+3
|
* Add Yul optimizer test framework.chriseth2018-10-112-1/+15
|
* Combine test path discovery.chriseth2018-10-112-22/+5
|
* Extract test suite runs.chriseth2018-10-111-36/+39
|
* Extract function.chriseth2018-10-111-19/+25
|
* Merge pull request #5134 from ethereum/fuzzer-input-filechriseth2018-10-101-11/+27
|\ | | | | solfuzzer: adds --input-file=FILENAME command line argument (defaulting to stdin)
| * adds --input-file=FILENAME to solfuzzerChristian Parpart2018-10-101-11/+27
| |
* | Use nullptr instead of NULL where appropriateAlex Beregszaszi2018-10-101-1/+1
|/
* Do not use compileJSON wrapper in the fuzzerAlex Beregszaszi2018-09-291-45/+26
|
* Initialize ``TestTool::m_formatted``.Daniel Kirchner2018-08-081-1/+1
|
* Always count all test cases in isoltest and exit early on user request.Daniel Kirchner2018-08-081-12/+21
|
* Infrastructure for extracting JSON AST tests.Daniel Kirchner2018-08-042-4/+36
|
* More consistent catch statementsAlex Beregszaszi2018-07-251-1/+1
| | | | Also take const& in all cases.
* isoltest: adds support for properly handling ANSI escape sequences on ↵Christian Parpart2018-07-161-0/+26
| | | | Win32/Win64 builds.
* Catch the proper exceptions in solfuzzerAlex Beregszaszi2018-07-121-0/+4
|
* Refactor syntax test infrastructure to prepare introducing semantics tests.Daniel Kirchner2018-06-152-80/+34
|
* Improve exception handling in soltest and isoltest.Daniel Kirchner2018-06-121-22/+5
|
* Fix source location assertion in isoltestAlex Beregszaszi2018-05-161-2/+2
|
* Fix link error when using boost shared librarymingchuan2018-05-111-1/+1
|
* Add source locations to syntax test expectations.Daniel Kirchner2018-04-101-19/+52
|
* SyntaxTests: extend syntax tests and isoltest to support parser errors and ↵Daniel Kirchner2018-04-041-26/+39
| | | | compiler exceptions.
* Merge pull request #3744 from ethereum/useUsrBinEditorAlex Beregszaszi2018-03-211-0/+2
|\ | | | | Use /usr/bin/editor if exists.
| * Use /usr/bin/editor if exists.chriseth2018-03-161-0/+2
| |
* | Only consider files ending with .sol and not starting with ~ in syntax tests.Daniel Kirchner2018-03-161-1/+3
|/
* Add interactive test tool isoltest.Daniel Kirchner2018-03-152-0/+349
|
* Move test tools to the subdirectory test/tools and adjust CMakeLists.txt.Daniel Kirchner2018-03-132-0/+218
generated by cgit (git 2.34.1) at 2024-11-18 12:05:30 +0800