summaryrefslogtreecommitdiffstats
path: root/src/proof/abs/absPth.c
Commit message (Expand)AuthorAgeFilesLines
* Concurrency for Boolean matching.Alan Mishchenko2014-09-181-1/+1
* Making changes suggested by Mark Jarvin.Alan Mishchenko2013-05-041-6/+1
* Enabling multi-output solving in 'pdr'.Alan Mishchenko2012-12-091-2/+1
* Updating readme.Alan Mishchenko2012-10-061-1/+2
* Correcting comment related to pthreads.Alan Mishchenko2012-09-241-1/+1
* Added simplification before the concurrent call to PDR.Alan Mishchenko2012-09-201-10/+13
* Added simplification before the concurrent call to PDR.Alan Mishchenko2012-09-201-1/+15
* Improving printouts in &gla.Alan Mishchenko2012-09-161-5/+5
* Made abstraction and PDR communicate in-memory rather than through a file.Alan Mishchenko2012-09-161-51/+45
* Created new abstraction package from the code that was all over the place.Alan Mishchenko2012-09-151-0/+199