From 7f8758420a2a46d7cf19441e9fbd1dba82cae612 Mon Sep 17 00:00:00 2001
From: azidar
Date: Thu, 23 Apr 2015 11:43:11 -0700
Subject: Fixed Pad inference bug

---
 TODO | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'TODO')

diff --git a/TODO b/TODO
index 4a099d94..818b78c3 100644
--- a/TODO
+++ b/TODO
@@ -7,8 +7,6 @@ on-reset
 Parser
    Error if incorrectly assign stuff, like use = instead of :=
    Update parser and update tests
-Change all primops to be strict on data widths
-Add pad!
 Make instances always male, flip the bundles on declaration
 dlsh,drsh
 move Infer-Widths to before vec expansion?
@@ -32,6 +30,12 @@ Well-formed high firrtl
 After adding dynamic assertions, insert bounds check with accessor expansion
 Well-formed low firrtl
    All things only assigned to once
+Width inference
+   No names
+   No Unknowns
+   All widths are positive
+   Pad's width is greater than value's width
+   pad's width is greater than value's width
 
 ======== Other Passes ========
 constant folding (partial eval) pass
-- 
cgit v1.2.3