aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Expand)AuthorAgeFilesLines
* Support unassigned variables in the SSA value tracker and the data flow analy...chriseth2018-12-136-6/+50
* Refactoring of the ControlFlowGraph and use for detecting all uninitialized s...Daniel Kirchner2018-12-1222-46/+122
* Codegen for object access.chriseth2018-12-1211-16/+192
* Merge pull request #5454 from ethereum/smt_math_functionschriseth2018-12-126-18/+35
|\
| * [SMTChecker] Use SymbolicFunctionVariable for uninterpreted functionsLeonardo Alt2018-12-116-18/+35
* | Merge pull request #4779 from ethereum/optimise-string-literalschriseth2018-12-126-1/+114
|\ \ | |/ |/|
| * Tests for gas costs.chriseth2018-12-116-1/+114
* | Add tests for implcit conversions from literals to fixed-point numbers.Yi Huang2018-12-113-1/+18
* | Have only one source where testsuits are definedMathias Baumann2018-12-103-96/+87
|/
* Tests for stack reusing code generator.chriseth2018-12-101-0/+353
* Adds more detailed type errors and tests.Erik Kundt2018-12-075-15/+21
* Adds an additional message to failing type conversions.Erik Kundt2018-12-075-10/+25
* Merge pull request #4936 from ethereum/binSelectchriseth2018-12-076-0/+194
|\
| * Gas tests for the binary search dispatch routine.chriseth2018-12-066-0/+194
* | Add structural simplifier as optimization step for Yul.Daniel Kirchner2018-12-0712-11/+87
* | Add tests.chriseth2018-12-0614-3/+417
* | Merge pull request #5554 from ethereum/cp-SourceReferenceFormatter-refactorchriseth2018-12-068-20/+16
|\ \ | |/ |/|
| * liblangutil: refactor SourceReferenceFormatter, splitting out retrieval and m...Christian Parpart2018-12-068-20/+16
* | Extend capabilities of the generic commandline test.chriseth2018-12-0619-13/+25
* | Merge pull request #5514 from corollari/developchriseth2018-12-062-1/+2
|\ \
| * | Update testAlbert2018-12-061-1/+1
| * | Fix #5470Albert2018-12-061-0/+1
* | | Remove `w` parameter for toHex.chriseth2018-12-064-6/+6
|/ /
* | add a 'readable' format for large hex valuesKevin Kelley2018-12-068-10/+154
* | Tests for SSAValueTracker ignoring function call on rhsMathias Baumann2018-12-062-0/+26
* | Merge pull request #5593 from ethereum/issue-5384chriseth2018-12-061-0/+14
|\ \
| * | Test for unhandled default values in expression simplifierMathias Baumann2018-12-051-0/+14
* | | Merge pull request #5592 from ethereum/fix-issue-5446chriseth2018-12-051-1/+1
|\ \ \ | |_|/ |/| |
| * | Relax assertion about jumps in loose modeMathias Baumann2018-12-051-1/+1
| |/
* | Merge pull request #5390 from ethereum/smt_one_loopchriseth2018-12-0517-8/+177
|\ \ | |/ |/|
| * [SMTChecker] Loops are unrolled onceLeonardo Alt2018-12-0417-8/+177
* | Builtin functions for yul analysis.chriseth2018-12-041-0/+19
* | Tests for parser for builtins.chriseth2018-12-041-0/+17
* | Use dialect option in yul parser tests.chriseth2018-12-041-11/+13
* | Merge pull request #5573 from ethereum/builtinschriseth2018-12-044-10/+10
|\ \
| * | Introduce the concept of builtin functions.chriseth2018-12-044-10/+10
| |/
* / Properly recurse in ForLoopInitRewriterDaniel Kirchner2018-12-042-5/+53
|/
* Do not stop if there is more than one error.chriseth2018-12-041-1/+2
* Improve yul error messages around number of arguments and variables.chriseth2018-12-042-6/+3
* Fix internal compiler error for unimplemented base contract function.Anurag Dashputre2018-12-032-0/+20
* Merge pull request #5341 from ethereum/optimizeAssemblyCommandlinechriseth2018-12-031-4/+39
|\
| * Improves assembly output commandline tests.Erik Kundt2018-12-011-2/+28
| * Adds tests for --optimize in assembly mode.Erik Kundt2018-12-011-4/+13
* | Merge pull request #5557 from ethereum/fixInterfaceImplementedByPublicStateVa...chriseth2018-12-035-0/+33
|\ \
| * | Public state variables are implementing external functions.chriseth2018-12-035-0/+33
| |/
* | Merge pull request #5537 from ethereum/cp-SourceLocation-related-refactoringchriseth2018-12-0112-101/+111
|\ \ | |/ |/|
| * liblangutil: SourceLocation: Retricts == and != operatorChristian Parpart2018-12-011-1/+2
| * liblangutil: Scanner: remove superfluous sourceName field (it's in CharStream...Christian Parpart2018-12-014-17/+17
| * liblangutil: SourceLocation: adds (shared) pointer to underlying CharStream s...Christian Parpart2018-12-014-26/+35
| * liblangutil: extends CharStream to know about the respective (file-)name (and...Christian Parpart2018-11-299-75/+75
* | Test.chriseth2018-11-302-0/+26
* | Merge pull request #5550 from ethereum/moveSomeTestschriseth2018-11-3011-0/+0
|\ \
| * | Move inline array tests.chriseth2018-11-3011-0/+0
* | | Merge pull request #5548 from ethereum/fixMemberAccesschriseth2018-11-302-0/+27
|\ \ \
| * | | Fix bug related to state variables of function type accessed via base contract.chriseth2018-11-302-0/+27
| |/ /
* / / Disallow inline arrays of mapping type.chriseth2018-11-301-0/+8
|/ /
* | Report deprecation error on functions sha3 and suicide also without call.Leonardo Alt2018-11-297-2/+58
* | Fix ICE when function type struct parameter has field of non-existent typeLeonardo Alt2018-11-292-0/+19
* | Merge pull request #5526 from ethereum/fixGetterNewCoderchriseth2018-11-294-0/+32
|\ \ | |/ |/|
| * Tests.chriseth2018-11-284-0/+32
* | Remove boost test checks from SMTCheckerJSONTestLeonardo Alt2018-11-281-31/+56
|/
* Tests.chriseth2018-11-271-0/+257
* Use yul parser in assembly stack.chriseth2018-11-271-3/+6
* Merge pull request #5382 from ethereum/libraryMappingPublicchriseth2018-11-278-14/+88
|\
| * Allow mapping arguments for public and external library functions.Daniel Kirchner2018-11-268-14/+88
* | Changelog entry and tests.chriseth2018-11-262-0/+11
* | Tests.Daniel Kirchner2018-11-269-0/+166
|/
* Merge pull request #5486 from ethereum/allowExternalPublicOverridechriseth2018-11-264-1/+32
|\
| * Changelog entry and tests.chriseth2018-11-264-1/+32
* | Merge pull request #5494 from ethereum/scanner-error-handlingchriseth2018-11-268-11/+16
|\ \
| * | Adapting tests to Scanner's lexical error diagnostics change.Christian Parpart2018-11-248-30/+32
| * | adapt to latest code changesLazaridis2018-11-248-23/+26
* | | Merge pull request #5497 from ethereum/langutil-SourceReferenceFormatterchriseth2018-11-266-7/+7
|\ \ \ | |_|/ |/| |
| * | Moving SourceReferenceFormatter into langutil namespace.Christian Parpart2018-11-246-7/+7
| |/
* / decouple TestCase class from test/libsolidityLazaridis2018-11-256-5/+5
|/
* Merge pull request #5491 from ethereum/libyul-as-librarychriseth2018-11-249-80/+64
|\
| * Isolating libyul library API into its own namespace `yul`.Christian Parpart2018-11-238-55/+42
| * CMake: Isolate libyul into its own static libraryChristian Parpart2018-11-231-1/+1
| * Reorder some include files and group <libyul/>'s together (as much as possible)Christian Parpart2018-11-233-9/+6
| * Rewrite header paths to adapt to recent `git mv` of libsolidity/inlineasm to ...Christian Parpart2018-11-236-16/+16
* | Add SMTChecker tests for standard JSONLeonardo Alt2018-11-2311-2/+255
|/
* Merge pull request #5451 from ethereum/bound_function_testschriseth2018-11-234-0/+43
|\
| * Add assert and tests for bound functionsLeonardo Alt2018-11-224-0/+43
* | Organize smt tests in subdirectoriesLeonardo Alt2018-11-2246-0/+0
* | Remove pragma ABIEncoderV2 from smt testLeonardo Alt2018-11-221-6/+8
* | Drop numbering in front of the SMTChecker testsAlex Beregszaszi2018-11-2246-0/+0
* | Move most of SMTChecker tests from C++ to isoltestAlex Beregszaszi2018-11-2247-593/+489
|/
* Merge pull request #5427 from ethereum/liblangutilchriseth2018-11-2237-56/+86
|\
| * Introduce namespace `langutil` in liblangutil directory.Christian Parpart2018-11-2227-25/+52
| * Isolating files shared between Yul- and Solidity language frontend.Christian Parpart2018-11-2225-35/+38
* | Fix constructor in AuctionRegistrarAlex Beregszaszi2018-11-221-1/+1
|/
* LLL: implement WITH keywordAlex Beregszaszi2018-11-211-0/+13
* Merge pull request #5444 from Mordax/issue-5168-rmvirtualAlex Beregszaszi2018-11-212-6/+6
|\
| * Removing redundant virtual from override function declarationmordax2018-11-212-6/+6
* | Merge pull request #5355 from ethereum/yul-forloop-pre-rewritechriseth2018-11-215-1/+75
|\ \ | |/ |/|
| * [Yul] Implements a pass to rewrite for-loop's pre block into the parent's Block.Christian Parpart2018-11-165-1/+75
* | [SMTChecker] Support bound function callsLeonardo Alt2018-11-194-0/+78
* | [SMTChecker] Implement uninterpreted functions and use it for blockhash()Leonardo Alt2018-11-151-2/+6
|/
* Do not perform cleanup on unsigned integers when loading from calldata.chriseth2018-11-151-1/+1
* Merge pull request #5410 from ethereum/lll-buildchriseth2018-11-144-3/+12
|\
| * Move LLL tests into a single directoryAlex Beregszaszi2018-11-142-0/+0
| * Do not build tests for LLL if disabledAlex Beregszaszi2018-11-142-3/+12
* | Fix commandline tests.chriseth2018-11-141-1/+1
|/
* Use latest solcjs and replace compileStandard by compile.chriseth2018-11-131-1/+12
* Remove old libsolc API (compileJSON, compileJSONMulti, compileJSONCallback)Alex Beregszaszi2018-11-132-141/+4
* LLL: ensure assembly tests have the correct argumentsAlex Beregszaszi2018-11-131-168/+168
* LLL: add test which has a sub assembly without a forced STOPAlex Beregszaszi2018-11-131-0/+14
* LLL bytecode is padded by STOP in testsAlex Beregszaszi2018-11-131-239/+239
* LLL: do not wrap opcode tests into sequenceAlex Beregszaszi2018-11-131-239/+239
* Update tests.chriseth2018-11-131-66/+66
* Merge pull request #5406 from ethereum/uninitializedStorageUnimplementedchriseth2018-11-132-0/+8
|\
| * Ignore unimplemented functions for storage returns.Daniel Kirchner2018-11-132-0/+8
* | Merge pull request #5333 from ethereum/joinPerformancechriseth2018-11-131-0/+654
|\ \
| * | Remove variables that go out of scope from data structure.chriseth2018-11-131-139/+170
| * | Use map join algorithm for performance.chriseth2018-11-131-0/+623
| |/
* / Deterministic YulStringRepository using string hashes.Daniel Kirchner2018-11-133-11/+10
|/
* Remove trailing whitespace.chriseth2018-11-122-2/+2
* Refactor of bool TypeChecker::visit(FunctionCall const& _functionCall).Kristofer Peterson2018-11-103-1/+11
* Merge pull request #5128 from ethereum/breakUnbreakchriseth2018-11-094-5/+74
|\
| * Test case that shows that break/unbreak are more or less inverse.chriseth2018-11-094-5/+74
* | Reset yul string repository.chriseth2018-11-091-0/+2
* | Merge pull request #5265 from ethereum/cleanupsha3chriseth2018-11-094-4/+4
|\ \ | |/ |/|
| * Renamed SHA3.{h,cpp} files.chriseth2018-10-184-4/+4
* | Remove side-effect-free statements.chriseth2018-11-092-3/+9
* | Merge pull request #5325 from ethereum/fixDataFlowchriseth2018-11-082-0/+104
|\ \
| * | Fix data flow analyzer for function definitions.chriseth2018-11-082-0/+104
* | | Merge pull request #5365 from ethereum/improveNameDispenserchriseth2018-11-0813-63/+63
|\ \ \
| * | | Use single counter for name dispenser for performance reasons.chriseth2018-11-0813-63/+63
* | | | Merge pull request #5366 from ethereum/addVarDeclchriseth2018-11-081-1/+5
|\ \ \ \
| * | | | Add VarDeclPropagator to full suite and interactive optimizer.chriseth2018-11-081-1/+5
| | |/ / | |/| |
* | | | Merge pull request #5351 from ethereum/functionTypeConversionchriseth2018-11-0813-0/+128
|\ \ \ \
| * | | | Function type conversion test cases.Daniel Kirchner2018-11-0813-0/+128
* | | | | Merge pull request #5348 from ethereum/boostRationalNegativeDenominatorFixchriseth2018-11-081-0/+5
|\ \ \ \ \ | |_|/ / / |/| | | |
| * | | | Fix negative denominator in ``boost::rational`` during exponentiation.Daniel Kirchner2018-11-061-0/+5
| |/ / /
* | | | Merge pull request #5327 from ethereum/rematerializerSmallchriseth2018-11-081-1/+5
|\ \ \ \ | |_|/ / |/| | |
| * | | Add rematerializer to interactive optimizer.chriseth2018-10-281-1/+5
* | | | Performance: Replace string by special single-copy YulString class.chriseth2018-11-081-4/+4
* | | | Eliminate `byte`-typedef and use `uint8_t` in all their places instead.Christian Parpart2018-11-073-154/+154
| |/ / |/| |
* | | Remove uses of boost::rational with negative denominator, which breaks with b...Daniel Kirchner2018-11-061-2/+0
* | | Fixes crash while encoding too large arrays.Erik Kundt2018-10-303-0/+26
* | | Yul: Implements empty-var-decl-propagationChristian Parpart2018-10-269-0/+105
|/ /
* | Merge pull request #5273 from ethereum/interactiveOptchriseth2018-10-252-0/+228
|\ \
| * | Add redundant assign and ssa.chriseth2018-10-241-1/+10
| * | Interactive optimizer tool.chriseth2018-10-242-0/+219
* | | Merge pull request #5283 from ethereum/smt_fixed_byteschriseth2018-10-253-8/+16
|\ \ \
| * | | Grouping of symbolic variables in the same file and support to FixedBytesLeonardo Alt2018-10-253-8/+16
| |/ /
* | | Merge pull request #5242 from ethereum/someCheckschriseth2018-10-254-0/+44
|\ \ \
| * | | Added some tests.chriseth2018-10-244-0/+44
* | | | Merge pull request #5271 from ethereum/fullSuitechriseth2018-10-252-0/+29
|\ \ \ \
| * | | | Full suite tests.chriseth2018-10-252-0/+29
| | |/ / | |/| |
* | | | Merge pull request #5296 from ethereum/setPragmaToArbitrarychriseth2018-10-2592-2012/+52
|\ \ \ \ | |/ / / |/| | |
| * | | Remove pragma changer.chriseth2018-10-241-2/+0
| * | | Set pragma to arbitrary.chriseth2018-10-2452-52/+52
| * | | Only run zeppelin as external tests.chriseth2018-10-2439-1958/+0
* | | | Merge pull request #5272 from ethereum/smt_special_varschriseth2018-10-2410-17/+128
|\ \ \ \
| * | | | Add gasleft constraint and use full member access nameLeonardo Alt2018-10-232-0/+14
| * | | | [SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhashLeonardo Alt2018-10-199-17/+114
| | |/ / | |/| |
* | | | Redundant assign eliminator.chriseth2018-10-2420-0/+413
| |/ / |/| |
* | | Refactor `solidity::Token` into an `enum class` with `TokenTraits` helper nam...Christian Parpart2018-10-221-3/+3
|/ /
* | Merge pull request #5256 from ethereum/lvalueCleanupchriseth2018-10-191-0/+18
|\ \
| * | Add a test for delete x.lengthchriseth2018-10-181-0/+18
* | | Merge pull request #5267 from ethereum/ssatransformchriseth2018-10-1912-0/+314
|\ \ \
| * | | SSA transform - first step.chriseth2018-10-1912-0/+314
| | |/ | |/|
* | | Merge pull request #5260 from ethereum/flattenMorechriseth2018-10-191-0/+22
|\ \ \
| * | | Flatten more.chriseth2018-10-181-0/+22
| | |/ | |/|
* | | Merge pull request #5258 from ethereum/coverage2chriseth2018-10-192-0/+56
|\ \ \
| * | | Add some simplification tests for operations.chriseth2018-10-182-0/+56
| |/ /
* | | Merge pull request #5213 from Mordax/issue-5103chriseth2018-10-191-0/+15
|\ \ \
| * | | Added test for flipping signs on signed type edge casemordax2018-10-161-0/+15
* | | | Merge pull request #5270 from ethereum/inlineFlexiblechriseth2018-10-191-1/+1
|\ \ \ \
| * | | | Make full inliner more flexible.chriseth2018-10-181-1/+1
| | |_|/ | |/| |
* | | | Fix a bug in CSE where a variable that was already out of scope was used.chriseth2018-10-181-1/+1
* | | | Test case that shows a CSE bug related to scopes.chriseth2018-10-181-0/+25
|/ / /
* | | Merge pull request #5240 from ethereum/limitDispenserSizechriseth2018-10-183-6/+40
|\ \ \ | |_|/ |/| |
| * | Limit size of generated names and add convenience constructors.chriseth2018-10-173-6/+40
* | | Merge pull request #5232 from ethereum/inlineHeuristicchriseth2018-10-173-0/+97
|\ \ \ | |/ / |/| |
| * | Use metrics in the full inliner.chriseth2018-10-173-0/+97
* | | Handle externally supplied variables correctly in disambiguator.chriseth2018-10-171-1/+1
|/ /
* | Inline each function separately.chriseth2018-10-162-41/+16
* | Test for crash via inlining.chriseth2018-10-161-0/+84
* | New full inliner.chriseth2018-10-1610-56/+124
* | Add a "full simplify" test that applies multiple elementary transforms.chriseth2018-10-1617-0/+198
* | New simplifier via broken expressions.chriseth2018-10-161-1/+1
* | Merge pull request #5225 from mestorlx/issue5007chriseth2018-10-161-0/+8
|\ \ | |/ |/|
| * fix issue##5007mestorlx2018-10-161-0/+8
* | Merge pull request #5226 from ethereum/chriseth-patch-3chriseth2018-10-161-1/+2
|\ \
| * | Correct include pathchriseth2018-10-161-1/+2
* | | Merge pull request #5222 from ethereum/yul-block-flattenerchriseth2018-10-165-0/+93
|\ \ \ | |/ / |/| |
| * | Yul: Introduces a block flattening pass + testsChristian Parpart2018-10-165-0/+93
| |/
* / Bug fix: Add missing include in test/Options.h; otherwise compiler does not r...Bhargava Shastry2018-10-151-1/+1
|/
* [SMTChecker] Inline calls to internal functionsLeonardo Alt2018-10-1522-7/+290
* Merge pull request #5221 from ethereum/splitRenamingLeftoverschriseth2018-10-151-1/+1
|\
| * Some renaming leftovers.chriseth2018-10-151-1/+1
* | Merge pull request #5208 from mestorlx/bug4156chriseth2018-10-153-0/+43
|\ \ | |/ |/|
| * Updated MAXIMUM_STRING_DISTANCE to non static maximumStringDistance taking in...mestorlx2018-10-133-0/+43
* | Renaming namespace dev::julia to dev::yul.Christian Parpart2018-10-157-13/+13
* | Renaming libjulia to libyulChristian Parpart2018-10-15119-30/+30
* | Merge pull request #5149 from ethereum/fix_assertion_on_inval_tuple_callchriseth2018-10-152-0/+16
|\ \
| * | Fixes invalid function calls to literals inside tuple assignment's LHS.Christian Parpart2018-10-152-0/+16
| |/
* / Also substitute variables in CSE.chriseth2018-10-121-0/+27
|/
* Merge pull request #5127 from ethereum/exprUnbreakerchriseth2018-10-1217-0/+236
|\
| * Expression joiner.chriseth2018-10-1217-0/+236
* | Merge pull request #5206 from ethereum/splitConstantsToochriseth2018-10-124-33/+56
|\ \
| * | Also split constants.chriseth2018-10-124-33/+56
| |/
* | Merge pull request #5145 from ethereum/hashLinkerchriseth2018-10-122-1/+19
|\ \ | |/ |/|
| * Change library placeholder to `__$<hash>$__`.chriseth2018-10-121-1/+1
| * Use hash for library placeholders.chriseth2018-10-122-1/+19
* | Move unused pruner tests.chriseth2018-10-1212-129/+113
* | Move expression simplifier tests.chriseth2018-10-1218-178/+158
* | Move rematerialiser tests.chriseth2018-10-1219-179/+292
* | Move main function tests.chriseth2018-10-127-87/+117
* | Move tests for full inliner.chriseth2018-10-129-175/+205
* | Move expression inliner tests.chriseth2018-10-129-95/+124
* | Move function hoister tests.chriseth2018-10-127-85/+97
* | Move function grouper tests.chriseth2018-10-127-85/+102
* | Move expression splitter tests.chriseth2018-10-127-156/+106
* | Move common subexpression eliminator tests.chriseth2018-10-128-102/+81
|/
* Remove old disambiguator test.chriseth2018-10-111-105/+0
* Disambiguator tests.chriseth2018-10-119-0/+159
* Add Yul optimizer test framework.chriseth2018-10-116-2/+266
* Combine test path discovery.chriseth2018-10-115-41/+93
* Extract test suite runs.chriseth2018-10-111-36/+39
* Extract function.chriseth2018-10-111-19/+25
* Adds syntax tests for array index access.Erik Kundt2018-10-115-0/+31
* Merge pull request #5195 from ethereum/unsigned-array-indexchriseth2018-10-114-0/+40
|\
| * Fixes crash on non-unsigned array index.Erik Kundt2018-10-114-0/+40
* | Improved error message for lookup in function types.Martin Diz2018-10-105-0/+85
* | Merge pull request #5186 from ethereum/renameBreakerchriseth2018-10-101-3/+3
|\ \
| * | Rename ExpressionBreaker to ExpressionSplitter.chriseth2018-10-101-3/+3
* | | Merge pull request #5134 from ethereum/fuzzer-input-filechriseth2018-10-101-11/+27
|\ \ \ | |/ / |/| |
| * | adds --input-file=FILENAME to solfuzzerChristian Parpart2018-10-101-11/+27
* | | Merge pull request #5184 from ethereum/viewFunctionDocschriseth2018-10-101-0/+25
|\ \ \ | |_|/ |/| |
| * | Documents library view functions and adds unit test.Erik Kundt2018-10-101-0/+25
* | | Merge pull request #5180 from ethereum/cpp-cleanupchriseth2018-10-104-5/+3
|\ \ \ | |_|/ |/| |
| * | Do not require ctype/stdio if not neededAlex Beregszaszi2018-10-102-2/+0
| * | Use nullptr instead of NULL where appropriateAlex Beregszaszi2018-10-102-3/+3
* | | Merge pull request #5076 from ethereum/exprBreakerchriseth2018-10-092-0/+253
|\ \ \
| * | | Expression breaker.chriseth2018-10-092-0/+253
* | | | Fixes large rational number literals being wrongly interpreted.Christian Parpart2018-10-092-0/+18
|/ / /
* | | Merge pull request #5124 from lazaridiscom/1802-hex-error-reportingchriseth2018-10-091-4/+8
|\ \ \
| * | | provide general hex-literal error message, fixes #1802Lazaridis2018-10-091-4/+8
| |/ /
* / / Fix commandline tests for release version.chriseth2018-10-097-9/+4
|/ /
* | Fix ast json test for function kind.chriseth2018-10-092-1/+2
* | Merge pull request #4734 from ethereum/astUpdatechriseth2018-10-0929-10/+571
|\ \ | |/ |/|
| * Restore ``isConstructor`` in the legacy AST.Daniel Kirchner2018-09-1113-0/+13
| * Add new test cases.Daniel Kirchner2018-09-119-0/+548
| * Replace ``isConstructor`` field in the JSON AST by a ``kind`` field.Daniel Kirchner2018-09-1120-20/+20
* | soltest: provides sane defaults for --testpath command line optionChristian Parpart2018-10-081-0/+23
* | Fix typos.chriseth2018-10-041-1/+1
* | Fixes #5051 (introduced in #4684), effectively allowing underscores in addres...Christian Parpart2018-10-021-0/+1