summaryrefslogtreecommitdiffstats
path: root/src/aig/miniaig
Commit message (Expand)AuthorAgeFilesLines
* Adding API to dump MiniAIG into a Verilog file and other small changes.Alan Mishchenko2017-10-221-7/+72
* Merged in boschmitt/abc (pull request #77)Alan Mishchenko2017-07-041-8/+8
|\
| * Small fixes for C++ compilersBruno Schmitt2017-07-041-8/+8
* | Synchronizing various data-structures.Alan Mishchenko2017-07-041-3/+3
|/
* Compiler warnings.Alan Mishchenko2017-04-282-16/+16
* Compiler warnings.Alan Mishchenko2017-04-281-5/+5
* 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