Added a infrastructure for check passes, and wrote a few

1 files changed, 1 insertions, 0 deletions

diff --git a/TODO b/TODO
index d651b479..d5ff2955 100644
--- a/TODO
+++ b/TODO
@@ -31,6 +31,7 @@ Well-formed high firrtl
    node's value cannot be a bundle with a flip in it
    mems cannot be a bundle with flips
    2nd arg in dshr/l must be UInt
+   pred in conditionally must be of type UInt
 After adding dynamic assertions, insert bounds check with accessor expansion
 Well-formed low firrtl
    All things only assigned to once