summaryrefslogtreecommitdiffstats
path: root/src/opt/dsc
Commit message (Collapse)AuthorAgeFilesLines
* Fixing compilation problem in 'dsc' package.Alan Mishchenko2017-02-061-7/+7
|
* Fixed several compiler warnings.Alan Mishchenko2016-11-171-23/+22
|
* Disjoint-support decomposition with cofactoring and boolean difference analysisVinicius Callegaro2016-11-083-0/+618
from V. Callegaro, F. S. Marranghello, M. G. A. Martins, R. P. Ribas and A. I. Reis, entitled "Bottom-up disjoint-support decomposition based on cofactor and boolean difference analysis" presented in ICCD'15.