summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcIf.c
Commit message (Collapse)AuthorAgeFilesLines
* Improvements to LMS code.Alan Mishchenko2012-10-281-3/+6
|
* Integrating GIA with LUT mapping.Alan Mishchenko2012-10-241-1/+0
|
* Updated code for lazy man's synthesis.Alan Mishchenko2012-07-151-1/+6
|
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-091-1/+1
|
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-5/+5
|
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+2
|
* Enabling mapping into multi-input AND/OR gates.Alan Mishchenko2012-03-271-3/+4
|
* Additional features for delay optimizationAlan Mishchenko2012-03-211-1/+2
|
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-1/+1
|
* Major restructuring of the code.Alan Mishchenko2012-01-211-5/+5
|
* Changes to the lazy man's synthesis code.Alan Mishchenko2012-01-171-2/+2
|
* Delay optimization using precomputed library.Alan Mishchenko2011-12-291-2/+7
|
* Performance bug fix in SOP balancing.Alan Mishchenko2011-12-061-1/+1
|
* Changes to Boolean matching.Alan Mishchenko2011-09-241-1/+1
|
* 64-bit portability changes.Alan Mishchenko2011-09-171-1/+1
|
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-08-241-0/+33
|
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-08-061-11/+51
|
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-08-061-0/+5
|
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-07-281-1/+1
|
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-07-211-5/+14
|
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-07-201-74/+339
|
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-07-161-1/+17
|
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-07-151-6/+56
|
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-07-151-0/+48
|
* Other changes to enable new features in the mapper.Alan Mishchenko2011-07-101-8/+25
|
* Initial changes to enable new features in the mapperAlan Mishchenko2011-07-081-1/+90
|
* Added switch to control duplication of logic after mapping.Alan Mishchenko2011-04-241-1/+1
|
* Enabled new BDD-based reachability engine 'reachy'.Alan Mishchenko2011-04-131-1/+1
|
* Made abc.h independent of CUDD and Extra.Alan Mishchenko2011-03-031-2/+2
|
* initial commit of public abcAlan Mishchenko2010-11-011-22/+108
|
* Version abc90215Alan Mishchenko2009-02-151-7/+7
|
* Version abc90118Alan Mishchenko2009-01-181-1/+57
|
* Version abc80702Alan Mishchenko2008-07-021-6/+6
|
* Version abc80430Alan Mishchenko2008-04-301-4/+4
|
* Version abc80406Alan Mishchenko2008-04-061-2/+2
|
* Version abc80314Alan Mishchenko2008-03-141-83/+3
|
* Version abc80313Alan Mishchenko2008-03-131-0/+87
|
* Version abc80307_2Alan Mishchenko2008-03-071-3/+56
|
* Version abc80228Alan Mishchenko2008-02-281-0/+2
|
* Version abc80205Alan Mishchenko2008-02-051-1/+1
|
* Version abc80130_2Alan Mishchenko2008-01-301-0/+497
|
* Version abc80130Alan Mishchenko2008-01-301-497/+0
|
* Version abc71001Alan Mishchenko2007-10-011-0/+497
|
* Version abc70930Alan Mishchenko2007-09-301-497/+0
|
* Version abc70906Alan Mishchenko2007-09-061-6/+2
|
* Version abc70706Alan Mishchenko2007-07-061-4/+1
|
* Version abc70705Alan Mishchenko2007-07-051-3/+3
|
* Version abc70407Alan Mishchenko2007-04-071-1/+6
|
* Version abc70317Alan Mishchenko2007-03-171-0/+1
|
* Version abc70225Alan Mishchenko2007-02-251-10/+10
|