From 2006604530fb8fd214fe4e8e182bedacd71b49b3 Mon Sep 17 00:00:00 2001
From: azidar
Date: Sat, 2 May 2015 15:25:04 -0700
Subject: Added a infrastructure for check passes, and wrote a few

---
 TODO | 1 +
 1 file changed, 1 insertion(+)

(limited to 'TODO')

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
-- 
cgit v1.2.3