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