summaryrefslogtreecommitdiffstats
path: root/src/base/exor
Commit message (Expand)AuthorAgeFilesLines
* Experimental code for polynomial construction.Alan Mishchenko2016-09-051-0/+2
* Merge with parent.Mathias Soeken2016-08-185-20/+75
|\
| * Changes to report quantum cost in Exorcism.Alan Mishchenko2016-08-175-20/+75
* | Functions to compute T-count.Mathias Soeken2016-08-161-0/+37
* | 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 AIG...Alan Mishchenko2016-04-118-0/+3721