Tags
Tags give the ability to mark specific points in history as being important
4.5.3
c2a5e13d
·
Don't fuzz the INTREE_BUILD build, it's not for fuzzing
·
Aug 27, 2015
4.5.2
8529d6b7
·
Bumping version
·
Aug 09, 2015
4.2.0
eb69ca11
·
Adding more ignores to cpack
·
Jul 18, 2014
cryptoms-4.0
ce29a1a1
·
Updating README to reflect filename change
·
Apr 09, 2014
cryptominisat-2.9.9-release
04d33d06
·
Fixing TravisCI build script
·
Feb 19, 2014
cryptoms-3.3-release
06a811a1
·
Updating the NEWS file with data about version 3.3
·
Jul 09, 2013
cryptoms-3.2
bcbdc7ff
·
Updating the description to that in forl
·
Apr 29, 2013
cryptoms-3.1
df50c818
·
Switch off caching after 8M variables
·
Apr 14, 2013
cryptoms-3.0
7a9038b5
·
Moving cactus plot files around
·
Apr 02, 2013