Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
| * | Move conversion to SimpleVal/Ty to simple module | Nadrieril | 2020-03-31 | 3 | -84/+84 |