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