diff --git a/README.md b/README.md index 72569c9..b7c31ed 100644 --- a/README.md +++ b/README.md @@ -29,13 +29,11 @@ $ python -m rtio.test.sed.output_network - [ ] Add suitable assertions for verification (BMC / unbounded proof?) - - [ ] `rtio.cri` (`Interface` and `CRIDecoder` only) - - [ ] `rtio.rtlink` -- - [ ] `rtio.sed.layouts` - - [x] `rtio.sed.output_network` - Sorting network (high priority) - - [ ] `rtio.sed.output_driver` - [ ] Restructure to code to follow nMigen convention and re-validate existing assertions - - [ ] `rtio.cri` (`Interface` and `CRIDecoder` only) - - [ ] `rtio.rtlink` -- - [ ] `rtio.sed.layouts` - - [x] `rtio.sed.output_network` - - [ ] `rtio.sed.output_driver`