summaryrefslogtreecommitdiffstats
path: root/src/misc/mvc
Commit message (Collapse)AuthorAgeFilesLines
* Extending cube representation to handle SOPs with many cubes.Alan Mishchenko2013-05-121-5/+5
|
* User-controlable SAT sweeper and other small changes.Alan Mishchenko2013-02-271-2/+1
|
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-1/+1
|
* Major restructuring of the code.Alan Mishchenko2012-01-211-4/+3
|
* initial commit of public abcAlan Mishchenko2010-11-0117-1/+89
|
* Version abc90215Alan Mishchenko2009-02-157-16/+16
|
* Version abc80702Alan Mishchenko2008-07-021-1/+2
|
* Version abc80130_2Alan Mishchenko2008-01-3017-27/+26
|
* Version abc80130Alan Mishchenko2008-01-3017-26/+27
|
* Version abc71001Alan Mishchenko2007-10-0118-0/+4848
|
* Version abc70930Alan Mishchenko2007-09-3018-4848/+0
|
* Version abc70110Alan Mishchenko2007-01-101-4/+4
|
* Version abc60611Alan Mishchenko2006-06-111-1/+1
|
* Version abc60303Alan Mishchenko2006-03-031-2/+2
|
* Version abc60220Alan Mishchenko2006-02-201-2/+1
|
* Version abc51012Alan Mishchenko2005-10-1217-18/+18
|
* Version abc50904Alan Mishchenko2005-09-0418-0/+4849