summaryrefslogtreecommitdiffstats
path: root/src/aig/cec/cecSeq.c
Commit message (Expand)AuthorAgeFilesLines
* Undoing previous change in 'resim' (do not initialize flops using their value...Alan Mishchenko2011-08-011-2/+12
* Added generation of counter-examples to induction in 'ind'.Alan Mishchenko2011-07-301-4/+3
* Updating testcext to ignore the diff in register count and other things.Alan Mishchenko2011-05-011-2/+2
* Removing useless printout in &resim.Alan Mishchenko2011-03-021-1/+1
* Implemented additional filtering of equivalences (&srm -sf).Alan Mishchenko2011-02-211-1/+1
* Changes to support sequential verification with reduction without speculation.Alan Mishchenko2011-02-191-1/+1
* Unified the use of counter-examples in three packages.Alan Mishchenko2011-02-131-2/+2
* initial commit of public abcAlan Mishchenko2010-11-011-33/+38
* Version abc90804Alan Mishchenko2015-06-221-20/+128
* Version abc90410Alan Mishchenko2009-04-101-1/+1
* Version abc90408Alan Mishchenko2009-04-081-8/+8
* Version abc90405Alan Mishchenko2009-04-051-1/+1
* Version abc90329Alan Mishchenko2009-03-291-10/+22
* Version abc90313Alan Mishchenko2009-03-131-1/+1
* Version abc90311Alan Mishchenko2009-03-111-0/+314