David Himmelstrup

Results 138 issues of David Himmelstrup

- [x] Get rid of PartialOrd. Use noisy_float or shaman. Both crates need work. - [x] Set up proptest. - [x] Update the playground to read the `?code=...` parameter. -...

Any spaces in cwd causes a Makefile to mess things up.

bug

**Summary of changes** Changes introduced in this pull request: - **Reference issue to close (if applicable)** Closes #1947 **Other information and links**

**Issue summary** - [x] Are there any changes to the actor data structures that we need to be aware of? - [x] Are there any changes to the network protocol?...

**Issue summary** - [x] Are there any changes to the actor data structures that we need to be aware of? - [x] Are there any changes to the network protocol?...

**Issue summary** Before switching the executor from async-std to tokio, we can gradually move away from async-std structures. This means using tokio channels, streams, etc instead of their async-std counterpart....

Priority: 4 - Low
Maintenance

**Issue summary** - [x] Are there any changes to the actor data structures that we need to be aware of? - [x] Are there any changes to the network protocol?...

**Issue summary** Checklist: - [x] Are there any changes to the actor data structures that we need to be aware of? - [x] Are there any changes to the network...

**Issue summary** Checklist: - [x] Are there any changes to the actor data structures that we need to be aware of? - [x] Are there any changes to the network...

**Issue summary** Use [quickcheck](https://docs.rs/quickcheck/latest/quickcheck/) to test that any value can be serialized and then de-serialized without loss of information. The list of types to be tested: - [x] BlockHeader -...

Priority: 2 - High
CI & Testing