Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
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