summaryrefslogtreecommitdiffstats
path: root/src/sat/bmc/module.make
Commit message (Expand)AuthorAgeFilesLines
* Isolating BMC code into a separate package.Alan Mishchenko2012-11-141-0/+7