summaryrefslogtreecommitdiffstats
path: root/src/base/exor
Commit message (Collapse)AuthorAgeFilesLines
* Provide number of max cubes as parameter.Mathias Soeken2016-08-162-3/+5
|
* Don't output if not verbose.Mathias Soeken2016-08-161-2/+2
|
* Changes to report quantum cost in Exorcism.Alan Mishchenko2016-08-155-7/+94
|
* Updates to Exorcism packageAlan Mishchenko2016-04-111-6/+4
|
* Updates to Exorcism packageAlan Mishchenko2016-04-111-1/+1
|
* Updates to Exorcism packageAlan Mishchenko2016-04-112-19/+18
|
* Added Exorcism package, reading ESOP (read_pla -x file.esop) and deriving ↵Alan Mishchenko2016-04-118-0/+3721
AIG (cubes -x; st).