summaryrefslogtreecommitdiffstats
path: root/src/aig/int/intCheck.c
Commit message (Expand)AuthorAgeFilesLines
* Improving timeout in the interpolation package.Alan Mishchenko2011-04-151-1/+5
* C++ compilation fixes.Alan Mishchenko2011-03-271-1/+1
* Improvements to the interpolation command 'int'; change of default switch -t ...Alan Mishchenko2011-03-081-0/+301