summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* Issue #162 was fixed in a2132ccNadrieril2020-04-121-0/+1
|
* Merge pull request #161 from Nadrieril/catchup-specNadrieril2020-04-112-1/+2
|\ | | | | Move to v15 of the standard
| * Update dhall-lang submoduleNadrieril2020-04-111-0/+0
| |
| * Update spec to v15Nadrieril2020-04-112-1/+2
|/
* Merge pull request #160 from Nadrieril/toMapNadrieril2020-04-108-10/+74
|\ | | | | Deserialize `Prelude.Map` and `toMap` to a map instead of a list
| * Deserialize `Prelude.Map` and `toMap` to a map instead of a listNadrieril2020-04-108-10/+74
|/
* Move Label escaping out of its Display implNadrieril2020-04-094-23/+49
|
* Revert "Don't care about 0.5.1 in README"Nadrieril2020-04-091-1/+4
| | | | This reverts commit 158589f17b0c59dcb0705115f70159a5fbfd05b5.
* Remove potentially problematic change detection in build.rsNadrieril2020-04-091-6/+1
|
* Don't care about 0.5.1 in READMENadrieril2020-04-091-4/+1
|
* Release serde_dhall version 0.5.1Nadrieril2020-04-094-5/+8
|
* Release dhall version 0.5.1Nadrieril2020-04-094-5/+5
|
* Force a version of pest_generator that uses quote 1.0Nadrieril2020-04-091-1/+1
|
* Merge pull request #159 from Nadrieril/operationsNadrieril2020-04-0738-1712/+1537
|\ | | | | Factor out operations
| * ClippyNadrieril2020-04-071-3/+3
| |
| * Split operations module into submodulesNadrieril2020-04-074-397/+414
| |
| * Implement remaining record simplificationNadrieril2020-04-072-12/+22
| |
| * Swap diff order in tests for UI filesNadrieril2020-04-071-1/+1
| | | | | | | | It was super confusing
| * Move duplicate field checking to parserNadrieril2020-04-0724-402/+132
| |
| * 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
| |
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 20:01:53 +0000