summaryrefslogtreecommitdiffstats
path: root/abcexe.dsp
Commit message (Expand)AuthorAgeFilesLines
* Changing the queue to work in the same the array of costs is realloced.Alan Mishchenko2013-05-051-0/+1
* Making changes suggested by Mark Jarvin.Alan Mishchenko2013-05-041-2/+2
* SAT sweeping under constraints.Alan Mishchenko2013-04-251-0/+4
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-141-2/+2
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-2/+2
* Variable timeframe abstraction.Alan Mishchenko2012-01-241-2/+2
* Major restructuring of the code.Alan Mishchenko2012-01-211-2/+2
* Improvements in Vec_Vec_t.Alan Mishchenko2011-03-271-4/+0
* Added new procedure and other small changes.Alan Mishchenko2011-03-161-0/+4
* Cumulative changes in the last few weeks.Alan Mishchenko2011-01-131-2/+2
* initial commit of public abcAlan Mishchenko2010-11-011-4/+4
* Version abc90310Alan Mishchenko2009-03-101-2/+2
* Version abc90215Alan Mishchenko2009-02-151-0/+102