summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Move BinOp and Builtin definitions in the relevant moduleNadrieril2020-04-0612-180/+182
|
* Move builtins module up a levelNadrieril2020-04-065-7/+6
|
* Extract operation-related code to a new moduleNadrieril2020-04-0613-882/+900
|
* Only need to store OpKind in NirNadrieril2020-04-062-82/+77
|
* Fix normalization bugNadrieril2020-04-061-49/+49
|
* oopsNadrieril2020-04-061-1/+1
|
* Avoid a few allocationsNadrieril2020-04-062-16/+20
|
* Factor our operations in normalizationNadrieril2020-04-062-300/+257
|
* Factor out operations in typecheckNadrieril2020-04-062-417/+438
|
* Split off operations from main expr enumNadrieril2020-04-0612-359/+431
|
* Merge pull request #158 from Nadrieril/hashNadrieril2020-04-0610-29/+109
|\ | | | | Implement semantic hashing (but no caching yet)
| * Fix import bugNadrieril2020-04-052-15/+12
| |
| * Check code hashes in importNadrieril2020-04-057-18/+57
| |
| * Add semantic-hash testsNadrieril2020-04-054-1/+45
|/
* Merge pull request #157 from Nadrieril/releaseNadrieril2020-04-0513-21/+85
|\ | | | | Release v0.5.0
| * Fix cargo-release substitutionsNadrieril2020-04-053-3/+9
| |
| * Release serde_dhall version 0.5.0Nadrieril2020-04-053-5/+8
| |
| * Release dhall_proc_macros version 0.5.0Nadrieril2020-04-054-5/+5
| |
| * Release dhall version 0.5.0Nadrieril2020-04-054-5/+5
| |
| * Release abnf_to_pest version 0.5.0Nadrieril2020-04-054-5/+5
| |
| * Setup cargo-releaseNadrieril2020-04-057-5/+51
| |
| * Doc tweaksNadrieril2020-04-052-1/+10
|/
* Merge pull request #154 from Nadrieril/cleanup-apiNadrieril2020-04-0551-905/+1563
|\ | | | | Rewrite serde_dhall API
| * Fix clippy warningsNadrieril2020-04-055-15/+13
| |
| * Final doc tweaksNadrieril2020-04-054-58/+59
| |
| * TweaksNadrieril2020-04-052-11/+13
| |
| * Borrow type annotationNadrieril2020-04-051-10/+8
| |
| * Rewrite builder with state machine to allow parse::<>Nadrieril2020-04-053-97/+140
| |
| * Make Deserializer functions the only functionsNadrieril2020-04-059-315/+37
| |
| * Document Deserializer methodsNadrieril2020-04-053-18/+199
| |
| * Rename Deserialize trait to FromDhallNadrieril2020-04-056-14/+14
| |
| * Rename Options to DeserializerNadrieril2020-04-051-13/+21
| |
| * Add a testNadrieril2020-04-053-4/+10
| |
| * More docNadrieril2020-03-314-74/+128
| |
| * Hide serde Error internalsNadrieril2020-03-315-18/+27
| |
| * Go mad with doc macrosNadrieril2020-03-313-106/+267
| |
| * Document moreNadrieril2020-03-313-26/+58
| |
| * Move mod simple into valueNadrieril2020-03-315-245/+240
| |
| * Hide Value from APINadrieril2020-03-312-5/+5
| |
| * Rework SimpleValueNadrieril2020-03-313-50/+35
| |
| * Rework SimpleTypeNadrieril2020-03-318-89/+125
| |
| * Hide SimpleValue from apiNadrieril2020-03-313-9/+6
| |
| * Add a bunch of TODOsNadrieril2020-03-318-4/+25
| |
| * Reorganize API and internals of serde_dhall a bitNadrieril2020-03-3112-76/+152
| |
| * Ensure version numbers are kept in syncNadrieril2020-03-317-0/+171
| |
| * Test README code samples using doc_commentNadrieril2020-03-314-1/+14
| |
| * Introduce option builderNadrieril2020-03-3110-39/+173
| |
| * Fix versions of dependent local cratesNadrieril2020-03-311-2/+2
| |
| * Expose simple::Val/Ty properly in the APINadrieril2020-03-317-169/+132
| |
| * Move Value, SimpleValue and SimpleType to serdeNadrieril2020-03-318-248/+257
| |
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 14:23:07 +0000