Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | tests: add a test that fetches the remote prelude | Nadrieril | 2020-12-08 | 1 | -1/+17 |
| | | | | It's too slow even in release mode. | ||||
* | Unify `skip_resolve_expr` with normal resolution | Nadrieril | 2020-12-07 | 1 | -0/+19 |
| | |||||
* | Expose binary parsing in the API | Nadrieril | 2020-11-20 | 1 | -0/+21 |
| | |||||
* | Fix clippy and formatting | Nadrieril | 2020-10-28 | 1 | -1/+3 |
| | |||||
* | Move some tests | Nadrieril | 2020-10-28 | 1 | -0/+59 |
| | |||||
* | Make type annotation optional to allow serializing SimpleValue | Nadrieril | 2020-10-28 | 1 | -2/+6 |
| | |||||
* | Implement serialization | Nadrieril | 2020-10-28 | 1 | -0/+145 |