diff --git a/README.md b/README.md index 0fee243..a4092cb 100644 --- a/README.md +++ b/README.md @@ -28,12 +28,10 @@ $ python -m rtio.test.sed.output_network - - [x] `rtio.sed.output_driver` - [ ] Add suitable assertions for verification (BMC / unbounded proof?) - - [ ] `rtio.cri` (`Interface` and `CRIDecoder` only) -- - [ ] `rtio.rtlink` - - [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 (if any) - - [x] `rtio.cri` (`Interface` and `CRIDecoder` only) -- - [ ] `rtio.rtlink` - - [x] `rtio.sed.output_network` - - [ ] `rtio.sed.output_driver`