summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaEsop.c
Commit message (Collapse)AuthorAgeFilesLines
* Two small fixes.Alan Mishchenko2017-04-241-1/+1
|
* Changes to report quantum cost in Exorcism.Alan Mishchenko2016-08-171-1/+1
|
* Added Exorcism package, reading ESOP (read_pla -x file.esop) and deriving ↵Alan Mishchenko2016-04-111-10/+45
| | | | AIG (cubes -x; st).
* Command &esop to convert AIG into ESOP.Alan Mishchenko2016-04-091-0/+506