Version abc60407

1 files changed, 5 insertions, 15 deletions

diff --git a/todo.txt b/todo.txt
index a6babe69..3ac5a386 100644
--- a/todo.txt
+++ b/todo.txt
@@ -1,28 +1,18 @@
 Minor things:
 
 - add required time support
-
 - clean end-of-line markers (CR is more preferable than CR-LF)
-
-- mysterious Mac problem (fixed?)
-- mysterious Solaris problem (fixed)
-
-- QR's compilation problems
-
+- mysterious Mac problem                                      
 - prevent node name clash between PO and internal names (i.e. [484])
-- add the output of ABC version/platform in the output files
-
-- fix gcc compiler warnings
-
-- update CVS regularly
-
+- add the output of ABC version/platform in the output files  
+- fix gcc compiler warnings                                   
 
 Major things:
 
 - substantially improving performance of FRAIGing 
 (used in equivalence checking and lossless synthesis)
 
-- developing a new (much more efficient and faster) AIG rewriting package
+- developing a new (more efficient and faster) AIG rewriting package
 
 - implementing additional rewriting options for delay optimization
 
@@ -31,7 +21,7 @@ on-demand cut computation currenlty available as a stand-alone command "cut"
 
 - experimenting with yield-aware standard-cell mapping
 
-- developing a hybrid mapper for arbitrary programmable macrocell 
+- developing a mapper for arbitrary programmable macrocell 
 architecture specified using a configuration file (this mapper should work 
 for both cell-evalution and mainstream FPGA mapping)