From d3b63098cb31e38fe93b499a6bbbcc4d4ddf14df Mon Sep 17 00:00:00 2001 From: Donald Sebastian Leung Date: Tue, 27 Oct 2020 12:17:43 +0800 Subject: [PATCH] Remove rtio.rtlink from verification/restructuring TODO list --- README.md | 2 -- 1 file changed, 2 deletions(-) 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`