summaryrefslogtreecommitdiffstats
path: root/src/aig/miniaig
Commit message (Expand)AuthorAgeFilesLines
* Experiments with new network data-structure.Alan Mishchenko2017-03-191-3/+3
* Experiments with new network data-structure.Alan Mishchenko2017-03-192-134/+268
* Small changes.Alan Mishchenko2017-03-161-2/+24
* Moving global declarations into 'abcapi.h' and moving it into 'main' package.Alan Mishchenko2017-03-021-84/+0
* Network interface exploration.Alan Mishchenko2017-03-021-0/+614
* Adding two external APIs.Alan Mishchenko2017-01-051-0/+2
* Correcting API names for inputing/outputing MiniLut.Alan Mishchenko2016-12-231-3/+3
* Adding support for minimalistic representation of LUT mapping.Alan Mishchenko2016-12-051-0/+4
* Compiler warnings.Alan Mishchenko2016-12-051-2/+2
* Adding support for minimalistic representation of LUT mapping.Alan Mishchenko2016-12-052-0/+289
* Adding procedure Abc_NtkSetAndGateDelay().Alan Mishchenko2015-11-041-0/+3
* Fix C++ compilation errorsBaruch Sterin2015-10-161-0/+4
* Adding API to set the number of flops after reading MiniAIG.Alan Mishchenko2015-09-241-0/+1
* 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