Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
| * | Move mod simple into value | Nadrieril | 2020-03-31 | 5 | -245/+240 |
| * | Hide Value from API | Nadrieril | 2020-03-31 | 2 | -5/+5 |
| * | Rework SimpleValue | Nadrieril | 2020-03-31 | 3 | -50/+35 |
| * | Rework SimpleType | Nadrieril | 2020-03-31 | 8 | -89/+125 |
| * | Hide SimpleValue from api | Nadrieril | 2020-03-31 | 3 | -9/+6 |
| * | Add a bunch of TODOs | Nadrieril | 2020-03-31 | 8 | -4/+25 |
| * | Reorganize API and internals of serde_dhall a bit | Nadrieril | 2020-03-31 | 12 | -76/+152 |
| * | Ensure version numbers are kept in sync | Nadrieril | 2020-03-31 | 7 | -0/+171 |