Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Move Label escaping out of its Display impl | Nadrieril | 2020-04-09 | 4 | -23/+49 | |
* | Revert "Don't care about 0.5.1 in README" | Nadrieril | 2020-04-09 | 1 | -1/+4 | |
* | Remove potentially problematic change detection in build.rs | Nadrieril | 2020-04-09 | 1 | -6/+1 | |
* | Don't care about 0.5.1 in README | Nadrieril | 2020-04-09 | 1 | -4/+1 | |
* | Release serde_dhall version 0.5.1 | Nadrieril | 2020-04-09 | 4 | -5/+8 | |
* | Release dhall version 0.5.1 | Nadrieril | 2020-04-09 | 4 | -5/+5 | |
* | Force a version of pest_generator that uses quote 1.0 | Nadrieril | 2020-04-09 | 1 | -1/+1 | |
* | Merge pull request #159 from Nadrieril/operations | Nadrieril | 2020-04-07 | 38 | -1712/+1537 | |
|\ | ||||||
| * | Clippy | Nadrieril | 2020-04-07 | 1 | -3/+3 | |
| * | Split operations module into submodules | Nadrieril | 2020-04-07 | 4 | -397/+414 | |
| * | Implement remaining record simplification | Nadrieril | 2020-04-07 | 2 | -12/+22 | |
| * | Swap diff order in tests for UI files | Nadrieril | 2020-04-07 | 1 | -1/+1 | |
| * | Move duplicate field checking to parser | Nadrieril | 2020-04-07 | 24 | -402/+132 | |
| * | Move BinOp and Builtin definitions in the relevant module | Nadrieril | 2020-04-06 | 12 | -180/+182 | |
| * | Move builtins module up a level | Nadrieril | 2020-04-06 | 5 | -7/+6 | |
| * | Extract operation-related code to a new module | Nadrieril | 2020-04-06 | 13 | -882/+900 | |
| * | Only need to store OpKind in Nir | Nadrieril | 2020-04-06 | 2 | -82/+77 | |
| * | Fix normalization bug | Nadrieril | 2020-04-06 | 1 | -49/+49 | |
| * | oops | Nadrieril | 2020-04-06 | 1 | -1/+1 | |
| * | Avoid a few allocations | Nadrieril | 2020-04-06 | 2 | -16/+20 | |
| * | Factor our operations in normalization | Nadrieril | 2020-04-06 | 2 | -300/+257 | |
| * | Factor out operations in typecheck | Nadrieril | 2020-04-06 | 2 | -417/+438 | |
| * | Split off operations from main expr enum | Nadrieril | 2020-04-06 | 12 | -359/+431 | |
|/ | ||||||
* | Merge pull request #158 from Nadrieril/hash | Nadrieril | 2020-04-06 | 10 | -29/+109 | |
|\ | ||||||
| * | Fix import bug | Nadrieril | 2020-04-05 | 2 | -15/+12 | |
| * | Check code hashes in import | Nadrieril | 2020-04-05 | 7 | -18/+57 | |
| * | Add semantic-hash tests | Nadrieril | 2020-04-05 | 4 | -1/+45 | |
|/ | ||||||
* | Merge pull request #157 from Nadrieril/release | Nadrieril | 2020-04-05 | 13 | -21/+85 | |
|\ | ||||||
| * | Fix cargo-release substitutions | Nadrieril | 2020-04-05 | 3 | -3/+9 | |
| * | Release serde_dhall version 0.5.0 | Nadrieril | 2020-04-05 | 3 | -5/+8 | |
| * | Release dhall_proc_macros version 0.5.0 | Nadrieril | 2020-04-05 | 4 | -5/+5 | |
| * | Release dhall version 0.5.0 | Nadrieril | 2020-04-05 | 4 | -5/+5 | |
| * | Release abnf_to_pest version 0.5.0 | Nadrieril | 2020-04-05 | 4 | -5/+5 | |
| * | Setup cargo-release | Nadrieril | 2020-04-05 | 7 | -5/+51 | |
| * | Doc tweaks | Nadrieril | 2020-04-05 | 2 | -1/+10 | |
|/ | ||||||
* | Merge pull request #154 from Nadrieril/cleanup-api | Nadrieril | 2020-04-05 | 51 | -905/+1563 | |
|\ | ||||||
| * | Fix clippy warnings | Nadrieril | 2020-04-05 | 5 | -15/+13 | |
| * | Final doc tweaks | Nadrieril | 2020-04-05 | 4 | -58/+59 | |
| * | Tweaks | Nadrieril | 2020-04-05 | 2 | -11/+13 | |
| * | Borrow type annotation | Nadrieril | 2020-04-05 | 1 | -10/+8 | |
| * | Rewrite builder with state machine to allow parse::<> | Nadrieril | 2020-04-05 | 3 | -97/+140 | |
| * | Make Deserializer functions the only functions | Nadrieril | 2020-04-05 | 9 | -315/+37 | |
| * | Document Deserializer methods | Nadrieril | 2020-04-05 | 3 | -18/+199 | |
| * | Rename Deserialize trait to FromDhall | Nadrieril | 2020-04-05 | 6 | -14/+14 | |
| * | Rename Options to Deserializer | Nadrieril | 2020-04-05 | 1 | -13/+21 | |
| * | Add a test | Nadrieril | 2020-04-05 | 3 | -4/+10 | |
| * | More doc | Nadrieril | 2020-03-31 | 4 | -74/+128 | |
| * | Hide serde Error internals | Nadrieril | 2020-03-31 | 5 | -18/+27 | |
| * | Go mad with doc macros | Nadrieril | 2020-03-31 | 3 | -106/+267 | |
| * | Document more | Nadrieril | 2020-03-31 | 3 | -26/+58 |