Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | 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 | |
| * | Test README code samples using doc_comment | Nadrieril | 2020-03-31 | 4 | -1/+14 | |
| * | Introduce option builder | Nadrieril | 2020-03-31 | 10 | -39/+173 | |
| * | Fix versions of dependent local crates | Nadrieril | 2020-03-31 | 1 | -2/+2 | |
| * | Expose simple::Val/Ty properly in the API | Nadrieril | 2020-03-31 | 7 | -169/+132 | |
| * | Move Value, SimpleValue and SimpleType to serde | Nadrieril | 2020-03-31 | 8 | -248/+257 | |
| * | Brutally make all of dhall pub | Nadrieril | 2020-03-31 | 28 | -124/+125 | |
| * | Revert "Start overengineering SimpleVal/Ty" | Nadrieril | 2020-03-31 | 1 | -120/+31 | |
| * | Start overengineering SimpleVal/Ty | Nadrieril | 2020-03-31 | 1 | -31/+120 | |
| * | Nir::normalize isn't useful | Nadrieril | 2020-03-31 | 4 | -90/+3 | |
| * | Improve handling of builtin types in Nir | Nadrieril | 2020-03-31 | 5 | -86/+66 | |
| * | Reorganize serde modules | Nadrieril | 2020-03-31 | 7 | -209/+182 |