Disabled ABC retime for now (elliptic_curve_group testcase in yosys-bigsim failed)

diff --git a/passes/abc/abc.cc b/passes/abc/abc.cc
index 8f873867dbeb497b454cc05f58cfe6fe90453f12..62a4474a085b72de27355114ac346327a450c059 100644 (file)
--- a/passes/abc/abc.cc
+++ b/passes/abc/abc.cc
@@ -29,10 +29,17 @@
 // Kahn, Arthur B. (1962), "Topological sorting of large networks", Communications of the ACM 5 (11): 558–562, doi:10.1145/368996.369025
 // http://en.wikipedia.org/wiki/Topological_sorting
 
+#if 0
 #define ABC_COMMAND_LIB "strash; retime; balance; dch; map; topo"
 #define ABC_COMMAND_CTR "strash; retime; balance; dch; map; topo; buffer; upsize; dnsize; stime"
 #define ABC_COMMAND_LUT "strash; retime; balance; dch; if"
 #define ABC_COMMAND_DFL "strash; retime; balance; dch; map"
+#else
+#define ABC_COMMAND_LIB "strash; balance; dch; map; topo"
+#define ABC_COMMAND_CTR "strash; balance; dch; map; topo; buffer; upsize; dnsize; stime"
+#define ABC_COMMAND_LUT "strash; balance; dch; if"
+#define ABC_COMMAND_DFL "strash; balance; dch; map"
+#endif
 
 #include "kernel/register.h"
 #include "kernel/sigtools.h"