summaryrefslogtreecommitdiffstats
path: root/src/base/exor/exor.c
Commit message (Expand)AuthorAgeFilesLines
* &exorcism: read ESOP-PLA from file.Heinz Riener2018-10-171-1/+1
* &exorcism: read ESOP-PLA from file.Heinz Riener2018-05-251-0/+64
* Experimental code for polynomial construction.Alan Mishchenko2016-09-051-0/+2
* Merge with parent.Mathias Soeken2016-08-181-7/+41
|\
| * Changes to report quantum cost in Exorcism.Alan Mishchenko2016-08-171-7/+41
* | Functions to compute T-count.Mathias Soeken2016-08-161-0/+37
* | Provide number of max cubes as parameter.Mathias Soeken2016-08-161-3/+4
* | Don't output if not verbose.Mathias Soeken2016-08-161-2/+2
|/
* Changes to report quantum cost in Exorcism.Alan Mishchenko2016-08-151-1/+56
* Updates to Exorcism packageAlan Mishchenko2016-04-111-6/+4
* Updates to Exorcism packageAlan Mishchenko2016-04-111-1/+1
* Updates to Exorcism packageAlan Mishchenko2016-04-111-16/+15
* Added Exorcism package, reading ESOP (read_pla -x file.esop) and deriving AIG...Alan Mishchenko2016-04-111-0/+832