| Commit message (Expand) | Author | Files | Lines |
|---|
| 2019-04-14 | Add import tests | Nadrieril | 1 | -0/+12 |
| 2019-04-13 | Improve error display on test failure | Nadrieril | 1 | -10/+20 |
| 2019-04-12 | Restrict public API to its most minimal expression | Nadrieril | 1 | -1/+1 |
| 2019-04-11 | Add lifetime parameters to Parsed and Resolved | Nadrieril | 1 | -1/+2 |
| 2019-04-11 | Abstract get_type() into a trait | Nadrieril | 1 | -2/+3 |
| 2019-04-11 | Handle untyped case differently from the type of Sort | Nadrieril | 1 | -1/+1 |
| 2019-04-10 | Simplify test harness | Nadrieril | 1 | -114/+92 |
| 2019-04-10 | Allow providing type for typechecking in API | Nadrieril | 1 | -12/+11 |
| 2019-04-10 | Mild cleanup imports | Nadrieril | 1 | -4/+4 |
| 2019-04-10 | Cleanup error handling | Nadrieril | 1 | -12/+9 |
| 2019-04-10 | s/load_from/parse/ | Nadrieril | 1 | -15/+15 |
| 2019-04-08 | Limit public API | Nadrieril | 1 | -2/+4 |
| 2019-04-08 | Move spec tests into the relevant files | Nadrieril | 1 | -9/+9 |
| 2019-04-07 | Restrict public API | Nadrieril | 1 | -16/+47 |
| 2019-04-07 | Avoid constructing exprs manually when possible | Nadrieril | 1 | -1/+1 |
| 2019-04-07 | Augment stack size for typecheck tests | Nadrieril | 1 | -5/+15 |
| 2019-04-06 | Move binary decoding to new API | Nadrieril | 1 | -14/+11 |
| 2019-04-06 | Massage import loading into new API | Nadrieril | 1 | -2/+7 |
| 2019-04-06 | s/DhallError/ImportError/ | Nadrieril | 1 | -3/+3 |
| 2019-04-06 | Add type-inference tests | Nadrieril | 1 | -0/+16 |
| 2019-03-31 | Move recursion out of Expr | Nadrieril | 1 | -1/+1 |
| 2019-03-21 | Improve import handling in parser | Nadrieril | 1 | -4/+9 |
| 2019-03-21 | Reorganize dhall_core a bit | Nadrieril | 1 | -1/+1 |
| 2019-03-20 | Make parser implementation non-recursive | Nadrieril | 1 | -16/+1 |
| 2019-03-20 | Cleanup parser code | Nadrieril | 1 | -1/+1 |
| 2019-03-20 | Handle simple parsing cases with new macros | Nadrieril | 1 | -1/+1 |
| 2019-03-19 | rustfmt | Nadrieril | 1 | -1/+1 |
| 2019-03-19 | Test printer in parser tests | Nadrieril | 1 | -0/+5 |
| 2019-03-19 | Add travis integration | Nadrieril | 1 | -11/+15 |
| 2019-03-18 | Considerably simplify subst, shift and typechecking | Nadrieril | 1 | -4/+1 |
| 2019-03-17 | Use Rc consistently everywhere | Nadrieril | 1 | -9/+9 |
| 2019-03-15 | Split different tests features into their own files | Nadrieril | 1 | -1/+2 |
| 2019-03-15 | Rework test harness | Nadrieril | 1 | -54/+30 |
| 2019-03-14 | Handle and parse interpolated strings | Nadrieril | 1 | -3/+5 |
| 2019-03-14 | Implement binary decoding | Nadrieril | 1 | -3/+13 |
| 2019-03-12 | Greatly reduce parser stack usage | Nadrieril | 1 | -1/+1 |
| 2019-03-09 | Add typecheck tests | Nadrieril | 1 | -0/+21 |
| 2019-03-09 | Remove the pervasive Label type parameter | Nadrieril | 1 | -3/+1 |
| 2019-03-09 | Use new Label type everywhere | Nadrieril | 1 | -3/+3 |
| 2019-03-09 | First import works ! | Nadrieril | 1 | -23/+8 |
| 2019-03-08 | Rename Expr back to its true name | Nadrieril | 1 | -1/+1 |
| 2019-03-08 | Finally get rid of all the &'i str | Nadrieril | 1 | -2/+3 |
| 2019-03-08 | rustfmt | Nadrieril | 1 | -4/+8 |
| 2019-03-08 | Slowly propagate the new type parameter throughout the codebase | Nadrieril | 1 | -3/+3 |
| 2019-03-07 | Make test harness less macro-y | Nadrieril | 1 | -59/+80 |
| 2019-03-06 | Finally get rid of old parser | Nadrieril | 1 | -7/+2 |
| 2019-03-06 | Merge dhall_normalize back into dhall; that was unnecessary | Nadrieril | 1 | -1/+0 |
| 2019-03-06 | Split-off normalization into its own crate | Nadrieril | 1 | -0/+1 |
| 2019-03-06 | Split-off core into its own crate | Nadrieril | 1 | -0/+1 |
| 2019-03-06 | rustfmt | Nadrieril | 1 | -20/+35 |
