From 8929132951202312033766593fb9f22e868745d1 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 6 Oct 2012 19:44:26 -0700 Subject: Updating readme. --- readme | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/readme b/readme index 3060ce43..5e8c440d 100644 --- a/readme +++ b/readme @@ -1,4 +1,4 @@ -ABC: System for Sequential Logic Synthesis and Formal Verification +ABC: System for Sequential Logic Synthesis and Formal Verification ABC is always changing but the current snapshot is believed to be stable. @@ -101,10 +101,11 @@ add these steps in the readme to help folks compiling this on Solaris." Final remarks: -Unfortunately, there is no regression test. Good luck! +Unfortunately, there is no comprehensive regression test. Good luck! -Alan Mishchenko +This system is maintained by Alan Mishchenko . Consider also +using ZZ framework developed by Niklas Een: https://bitbucket.org/niklaseen/abc-zz This file was last modified on Oct 6, 2012 -- cgit v1.2.3