From 3d65ca01e44623aed4c582b97acc92575d47d119 Mon Sep 17 00:00:00 2001
From: Donald Sebastian Leung <dl@m-labs.hk>
Date: Wed, 14 Oct 2020 16:50:01 +0800
Subject: [PATCH] Update README

---
 README.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/README.md b/README.md
index 6618b49..1632d75 100644
--- a/README.md
+++ b/README.md
@@ -12,6 +12,11 @@ Formally verified implementation of the ARTIQ RTIO core in nMigen
 - - [x] `rtio.sed.output_network`
 - - [x] `rtio.sed.output_driver`
 - [ ] Add suitable assertions for verification (BMC / unbounded proof?)
+- - [ ] `rtio.cri` (`Interface` and `CRIDecoder` only)
+- - [ ] `rtio.rtlink`
+- - [ ] `rtio.sed.layouts`
+- - [ ] `rtio.sed.output_network` - Sorting network (high priority)
+- - [ ] `rtio.sed.output_driver
 
 ## License