summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcRec.c
Commit message (Collapse)AuthorAgeFilesLines
* Migrating to array-based traversal ID.Alan Mishchenko2012-09-231-1/+0
|
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-061-4/+4
|
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-3/+3
|
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+1
|
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-24/+24
|
* Changing 'if' to allow for delay optimization on sequential paths only.Alan Mishchenko2012-05-201-1/+2
|
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-171-19/+19
|
* Lazy man's logic synthesis.Alan Mishchenko2012-02-121-4/+20
|
* Lazy man's logic synthesis.Alan Mishchenko2012-02-011-86/+301
|
* Major restructuring of the code.Alan Mishchenko2012-01-211-12/+12
|
* Changes to the lazy man's synthesis code.Alan Mishchenko2012-01-171-22/+358
|
* Changes to the lazy man's synthesis code.Alan Mishchenko2012-01-151-1/+44
|
* Several small bug fixes in the mapper.Alan Mishchenko2012-01-151-1/+1
|
* Changes to the lazy man's synthesis code.Alan Mishchenko2012-01-141-2/+1
|
* Changes to the lazy man's synthesis code.Alan Mishchenko2012-01-141-44/+135
|
* Changes to the lazy man's synthesis code.Alan Mishchenko2012-01-111-200/+515
|
* Delay optimization using precomputed library.Alan Mishchenko2011-12-301-4/+11
|
* Delay optimization using precomputed library.Alan Mishchenko2011-12-301-1/+3
|
* Delay optimization using precomputed library.Alan Mishchenko2011-12-301-29/+29
|
* Delay optimization using precomputed library.Alan Mishchenko2011-12-301-5/+80
|
* Delay optimization using precomputed library.Alan Mishchenko2011-12-291-145/+943
|
* g++ portability changes.Alan Mishchenko2011-12-131-1/+1
|
* Added support for generating a library of real-life truth-tables.Alan Mishchenko2011-12-091-6/+6
|
* Added support for generating a library of real-life truth-tables.Alan Mishchenko2011-12-091-4/+46
|
* g++ portability changes.Alan Mishchenko2011-12-061-18/+18
|
* Added recording of AIG subgraphs.Alan Mishchenko2011-12-061-9/+9
|
* Added recording of AIG subgraphs.Alan Mishchenko2011-12-061-0/+1
|
* Added recording of AIG subgraphs.Alan Mishchenko2011-12-061-9/+9
|
* initial commit of public abcAlan Mishchenko2010-11-011-6/+11
|
* Version abc90215Alan Mishchenko2009-02-151-17/+17
|
* Version abc80702Alan Mishchenko2008-07-021-12/+3
|
* Version abc80517Alan Mishchenko2008-05-171-0/+1
|
* Version abc80130_2Alan Mishchenko2008-01-301-0/+1173
|
* Version abc80130Alan Mishchenko2008-01-301-1173/+0
|
* Version abc71001Alan Mishchenko2007-10-011-0/+1173
|
* Version abc70930Alan Mishchenko2007-09-301-1173/+0
|
* Version abc70328Alan Mishchenko2007-03-281-0/+1173