summaryrefslogtreecommitdiffstats
path: root/src/aig/miniaig
Commit message (Expand)AuthorAgeFilesLines
* Adding APIs to specified input/output arrival/required times.Alan Mishchenko2014-02-121-0/+4
* Compiler warnings.Alan Mishchenko2013-10-301-1/+1
* Adding API to return the mapped network.Alan Mishchenko2013-09-221-0/+4
* External APIs needed to use ABC as a static library.Alan Mishchenko2012-10-311-0/+66
* Added procedure to check correctness of the topo order during AIG construction.Alan Mishchenko2012-10-101-0/+27
* Added serialization of Mini AIG.Alan Mishchenko2012-09-291-6/+62
* Experiments with mini AIG manager.Alan Mishchenko2012-09-292-0/+194