summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcMini.c
Commit message (Expand)AuthorAgeFilesLines
* Small fixes and improvements in reporting node counts.Alan Mishchenko2016-07-151-1/+1
* Adding API to set the number of flops after reading MiniAIG.Alan Mishchenko2015-09-241-1/+11
* New constraint manager and memory reporting 'ps'.Alan Mishchenko2015-09-081-1/+1
* Adding switch 'ps -s' to skip counting buffers/inverters as nodes.Alan Mishchenko2013-09-021-1/+1
* Adding support of flops to the conversion of MiniAIG into ABC network.Alan Mishchenko2013-01-081-0/+11
* Added serialization of Mini AIG.Alan Mishchenko2012-09-291-0/+10
* Experiments with mini AIG manager.Alan Mishchenko2012-09-291-1/+1
* Experiments with mini AIG manager.Alan Mishchenko2012-09-291-2/+35
* Experiments with mini AIG manager.Alan Mishchenko2012-09-291-31/+40
* Experiments with mini AIG manager.Alan Mishchenko2012-09-291-66/+72
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-1/+1
* Major restructuring of the code.Alan Mishchenko2012-01-211-1/+1
* initial commit of public abcAlan Mishchenko2010-11-011-2/+7
* Version abc80130_2Alan Mishchenko2008-01-301-0/+153
* Version abc80130Alan Mishchenko2008-01-301-153/+0
* Version abc71001Alan Mishchenko2007-10-011-0/+153
* Version abc70930Alan Mishchenko2007-09-301-153/+0
* Version abc70219Alan Mishchenko2007-02-191-7/+7
* Version abc61122Alan Mishchenko2006-11-221-27/+27
* Version abc61007Alan Mishchenko2006-10-071-0/+1
* Version abc60822Alan Mishchenko2006-08-221-0/+152