summaryrefslogtreecommitdiffstats
path: root/src/aig/kit
Commit message (Collapse)AuthorAgeFilesLines
* Added support for generating a library of real-life truth-tables.Alan Mishchenko2011-12-092-0/+103
|
* Added recording of AIG subgraphs.Alan Mishchenko2011-12-061-10/+9
|
* Experiments with variable permutation.Alan Mishchenko2011-11-061-2/+2
|
* Experiments with variable permutation.Alan Mishchenko2011-11-061-1/+55
|
* Removed some recently added file, which broke compilation.Alan Mishchenko2011-10-271-1/+0
|
* New truth table permutation procedure.Alan Mishchenko2011-10-262-0/+302
|
* Fixing built-in resource limit when converting truth-tables to AIGs.Alan Mishchenko2011-10-082-1/+6
|
* Fixed the problem in mapping with the new check.Alan Mishchenko2011-06-263-3/+3
|
* Added new procedure and other small changes.Alan Mishchenko2011-03-162-0/+128
|\
* | Several bug fixes and other improvements.Alan Mishchenko2011-03-121-13/+14
|/
* initial commit of public abcAlan Mishchenko2010-11-0116-83/+1309
|
* Version abc90408Alan Mishchenko2009-04-081-2/+2
|
* Version abc90215Alan Mishchenko2009-02-157-106/+64
|
* Version abc90118Alan Mishchenko2009-01-183-37/+230
|
* Version abc81029Alan Mishchenko2008-10-291-1/+12
|
* Version abc80702Alan Mishchenko2008-07-025-12/+24
|
* Version abc80429Alan Mishchenko2008-04-293-0/+60
|
* Version abc80413Alan Mishchenko2008-04-133-0/+315
|
* Version abc80402Alan Mishchenko2008-04-021-2/+2
|
* Version abc80314Alan Mishchenko2008-03-142-0/+59
|
* Version abc80307Alan Mishchenko2008-03-072-40/+38
|
* Version abc80130_2Alan Mishchenko2008-01-3015-0/+8747
|
* Version abc80130Alan Mishchenko2008-01-3015-8747/+0
|
* Version abc71216Alan Mishchenko2007-12-161-1/+1
|
* Version abc71001Alan Mishchenko2007-10-0115-0/+8747
|
* Version abc70930Alan Mishchenko2007-09-3015-8752/+0
|
* Version abc70926Alan Mishchenko2007-09-265-33/+182
|
* Version abc70911Alan Mishchenko2007-09-111-1/+1
|
* Version abc70909Alan Mishchenko2007-09-097-27/+1929
|
* Version abc70906Alan Mishchenko2007-09-064-31/+258
|
* Version abc70831Alan Mishchenko2007-08-312-8/+81
|
* Version abc70723Alan Mishchenko2007-07-231-0/+1
|
* Version abc70712Alan Mishchenko2007-07-1211-0/+6400