| Commit message (Expand) | Author | Files | Lines | |
|---|---|---|---|---|
| 2021-05-08 | inject_types -> with_builtin_typessubstitutions | stuebinm | 1 | -10/+10 |
| 2021-05-02 | substitute_names -> inject_types | stuebinm | 1 | -2/+68 |
| 2021-04-26 | substitutions: add test to serde.rs | stuebinm | 1 | -0/+21 |
| 2020-12-08 | tests: add a test that fetches the remote prelude | Nadrieril | 1 | -1/+17 |
| 2020-12-07 | Unify `skip_resolve_expr` with normal resolution | Nadrieril | 1 | -0/+19 |
| 2020-11-20 | Expose binary parsing in the API | Nadrieril | 1 | -0/+21 |
| 2020-10-28 | Fix clippy and formatting | Nadrieril | 1 | -1/+3 |
| 2020-10-28 | Move some tests | Nadrieril | 1 | -0/+59 |
| 2020-10-28 | Make type annotation optional to allow serializing SimpleValue | Nadrieril | 1 | -2/+6 |
| 2020-10-28 | Implement serialization | Nadrieril | 1 | -0/+145 |
