summaryrefslogtreecommitdiffstats
path: root/src/aig/miniaig/miniaig.h
Commit message (Expand)AuthorAgeFilesLines
* Adding API to dump MiniAIG into a Verilog file and other small changes.Alan Mishchenko2017-10-221-7/+72
* Compiler warnings.Alan Mishchenko2017-04-281-6/+6
* Adding support for minimalistic representation of LUT mapping.Alan Mishchenko2016-12-051-0/+1
* Fix C++ compilation errorsBaruch Sterin2015-10-161-0/+4
* 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-291-0/+193