summaryrefslogtreecommitdiffstats
path: root/src/aig/cec
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
* Adding constant correspondence.Alan Mishchenko2011-04-184-1/+17
* Fixed a number of small bugs and memory leaks.Alan Mishchenko2011-03-271-1/+1
* Bug fix in &fraig.Alan Mishchenko2011-03-031-1/+4
* 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-132-4/+4
* initial commit of public abcAlan Mishchenko2010-11-0118-333/+838
* Version abc90809Alan Mishchenko2015-06-221-4/+5
* Version abc90807Alan Mishchenko2015-06-222-0/+42
* Version abc90804Alan Mishchenko2015-06-2210-73/+237
* Version abc90714Alan Mishchenko2015-06-226-49/+196
* Version abc90528Alan Mishchenko2015-06-221-0/+52
* Version abc90424Alan Mishchenko2009-04-246-75/+1236
* Version abc90413Alan Mishchenko2009-04-132-1/+4
* Version abc90410Alan Mishchenko2009-04-107-43/+581
* Version abc90408Alan Mishchenko2009-04-089-58/+185
* Version abc90405Alan Mishchenko2009-04-0515-260/+247
* Version abc90329Alan Mishchenko2009-03-2911-43/+1236
* Version abc90315Alan Mishchenko2009-03-151-0/+3
* Version abc90313Alan Mishchenko2009-03-135-10/+15
* Version abc90311Alan Mishchenko2009-03-1110-23/+586
* Version abc90310Alan Mishchenko2009-03-1012-780/+1741
* Version abc90220Alan Mishchenko2009-02-201-1/+14
* Version abc90215Alan Mishchenko2009-02-1514-1813/+2142
* Version abc90118Alan Mishchenko2009-01-1811-178/+2458
* Version abc81004Alan Mishchenko2008-10-041-0/+284