Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add SMTChecker tests for standard JSON | Leonardo Alt | 2018-11-23 | 1 | -0/+5 |
| | |||||
* | Introduce namespace `langutil` in liblangutil directory. | Christian Parpart | 2018-11-22 | 1 | -0/+1 |
| | | | | | | | 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 | ||||
* | Do not require ctype/stdio if not needed | Alex Beregszaszi | 2018-10-10 | 1 | -1/+0 |
| | |||||
* | Refactor syntax test infrastructure to prepare introducing semantics tests. | Daniel Kirchner | 2018-06-15 | 1 | -101/+53 |
| | |||||
* | Improve exception handling in soltest and isoltest. | Daniel Kirchner | 2018-06-12 | 1 | -3/+10 |
| | |||||
* | Add source locations to syntax test expectations. | Daniel Kirchner | 2018-04-10 | 1 | -10/+78 |
| | |||||
* | SyntaxTests: extend syntax tests and isoltest to support parser errors and ↵ | Daniel Kirchner | 2018-04-04 | 1 | -68/+30 |
| | | | | compiler exceptions. | ||||
* | Only consider files ending with .sol and not starting with ~ in syntax tests. | Daniel Kirchner | 2018-03-16 | 1 | -1/+9 |
| | |||||
* | Only colour error type, not error message in isoltest. | Daniel Kirchner | 2018-03-15 | 1 | -10/+16 |
| | |||||
* | Add formatted printing to SyntaxTest and expand its public interface. | Daniel Kirchner | 2018-03-15 | 1 | -13/+43 |
| | |||||
* | Store filenames in static variable to guarantee sufficient lifetime. | Daniel Kirchner | 2018-03-14 | 1 | -1/+5 |
| | |||||
* | Minor adjustments. | Daniel Kirchner | 2018-03-13 | 1 | -4/+4 |
| | |||||
* | Refactoring; fuse SyntaxTestParser and SyntaxTester to SyntaxTest. | Daniel Kirchner | 2018-03-13 | 1 | -0/+205 |