Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | spec: remove Unicode character from `dhall.abnf` | Nadrieril | 2020-06-25 | 1 | -1/+0 |
| | |||||
* | spec: fix precedence of `===` and `with` | Nadrieril | 2020-06-25 | 1 | -1/+1 |
| | |||||
* | refactor: remove old test harness | Nadrieril | 2020-06-24 | 1 | -343/+1 |
| | |||||
* | fix: assuage clippy on ci | Nadrieril | 2020-06-20 | 1 | -3/+3 |
| | |||||
* | Commit grammar file locally | Nadrieril | 2020-05-30 | 1 | -1/+1 |
| | | | | | The crate publishing process does not allow access to files outside the current crate. | ||||
* | Use dhall.abnf directly instead of via symlink | Nadrieril | 2020-05-30 | 1 | -2/+2 |
| | | | | Because windows doesn't support symlinks properly | ||||
* | feat: Add cache resolution on resolve | fteychene | 2020-05-15 | 1 | -2/+0 |
| | |||||
* | Remove potentially problematic change detection in build.rs | Nadrieril | 2020-04-09 | 1 | -6/+1 |
| | |||||
* | Implement remaining record simplification | Nadrieril | 2020-04-07 | 1 | -3/+0 |
| | |||||
* | Fix import bug | Nadrieril | 2020-04-05 | 1 | -6/+1 |
| | |||||
* | Check code hashes in import | Nadrieril | 2020-04-05 | 1 | -4/+0 |
| | |||||
* | Add semantic-hash tests | Nadrieril | 2020-04-05 | 1 | -0/+20 |
| | |||||
* | Add coverage gathering with grcov | Nadrieril | 2020-03-20 | 1 | -2/+2 |
| | |||||
* | Reduce duplication in build.rs | Nadrieril | 2020-03-20 | 1 | -37/+40 |
| | |||||
* | Commit output of printer | Nadrieril | 2020-03-20 | 1 | -15/+26 |
| | |||||
* | Parse RFC3986 URLs | Nadrieril | 2020-03-20 | 1 | -22/+1 |
| | |||||
* | Run clippy | Nadrieril | 2020-03-17 | 1 | -2/+5 |
| | |||||
* | Circumvent weird rustfmt inconsistency | Nadrieril | 2020-03-17 | 1 | -2/+5 |
| | |||||
* | Upstream the `with` grammar tweak | Nadrieril | 2020-03-12 | 1 | -13/+0 |
| | |||||
* | Upstream all local tests | Nadrieril | 2020-03-10 | 1 | -5/+3 |
| | | | | See https://github.com/dhall-lang/dhall-lang/pull/933 | ||||
* | Add support for `with` keyword | Nadrieril | 2020-03-10 | 1 | -1/+14 |
| | |||||
* | Implement conservative sanity checking | Nadrieril | 2020-03-05 | 1 | -2/+0 |
| | |||||
* | Cache imports correctly | Nadrieril | 2020-03-05 | 1 | -3/+0 |
| | |||||
* | Implement remote imports and cleanup import chaining | Nadrieril | 2020-03-05 | 1 | -5/+2 |
| | |||||
* | Implement remote `as Location` resolution | Nadrieril | 2020-03-05 | 1 | -5/+10 |
| | |||||
* | Implement `as Text` imports | Nadrieril | 2020-03-05 | 1 | -11/+7 |
| | |||||
* | Implement `missing` and `env:VAR` imports | Nadrieril | 2020-03-05 | 1 | -11/+2 |
| | |||||
* | Add a lot of import tests | Nadrieril | 2020-03-05 | 1 | -1/+15 |
| | |||||
* | Implement `as Location` imports | Nadrieril | 2020-03-05 | 1 | -0/+1 |
| | |||||
* | Add a bunch of `as Location` unit tests | Nadrieril | 2020-03-05 | 1 | -0/+2 |
| | |||||
* | Allow some slow tests to only be run in release mode | Nadrieril | 2020-03-05 | 1 | -25/+36 |
| | |||||
* | Implement some normalization simplifications | Nadrieril | 2020-03-05 | 1 | -9/+2 |
| | |||||
* | Enable ProjectionByType tests | Basile Henry | 2020-03-02 | 1 | -8/+1 |
| | |||||
* | Update dhall-lang submodule | Nadrieril | 2020-02-20 | 1 | -0/+3 |
| | |||||
* | Add support for dotted field syntax | Nadrieril | 2020-02-20 | 1 | -20/+0 |
| | |||||
* | Add support for duplicate record fields | Nadrieril | 2020-02-20 | 1 | -0/+20 |
| | |||||
* | Desugar Completion during resolution | Nadrieril | 2020-02-15 | 1 | -3/+0 |
| | |||||
* | Track error output of parsing and binary decoding tests | Nadrieril | 2020-02-09 | 1 | -2/+2 |
| | |||||
* | Remove distinction between failure and error tests | Nadrieril | 2020-02-09 | 1 | -28/+0 |
| | |||||
* | Move ui outputs to a sensible place | Nadrieril | 2020-02-09 | 1 | -8/+8 |
| | |||||
* | Massively deduplicate test harness | Nadrieril | 2020-02-09 | 1 | -19/+44 |
| | |||||
* | Track output of import errors | Nadrieril | 2020-02-09 | 1 | -0/+16 |
| | |||||
* | Implement some record simplifications | Nadrieril | 2020-02-06 | 1 | -11/+6 |
| | |||||
* | Normalize toMap | Nadrieril | 2020-02-05 | 1 | -4/+0 |
| | |||||
* | Typecheck record completion | Nadrieril | 2020-02-05 | 1 | -13/+0 |
| | |||||
* | Typecheck projection by type | Nadrieril | 2020-02-05 | 1 | -10/+0 |
| | |||||
* | Implement typechecking of toMap | Nadrieril | 2020-02-04 | 1 | -25/+0 |
| | |||||
* | Add local test files on top of dhall-lang tests | Nadrieril | 2020-02-02 | 1 | -46/+56 |
| | |||||
* | Move parser files to syntax/ | Nadrieril | 2020-01-30 | 1 | -2/+2 |
| | |||||
* | Fix more bugs | Nadrieril | 2020-01-29 | 1 | -0/+4 |
| |