8000 Tags · anubhab91/cryptominisat · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: anubhab91/cryptominisat

Tags

5.0.1

Toggle 5.0.1's commit message 
Bump version in CMakeLists

5.0.0

Toggle 5.0.0's commit message 
Updating build scripts

cryptominisat-5.0.0

Toggle cryptominisat-5.0.0's commit message 
Updating build scripts

2.9.11

Toggle 2.9.11's commit message 
Updating NEWS

4.5.3

Toggle 4.5.3's commit message 
Don't fuzz the INTREE_BUILD build, it's not for fuzzing

It's to make sure things build & test & install

4.5.2

Toggle 4.5.2's commit message 
Bumping version

4.2.0

Toggle 4.2.0's commit message 
Adding more ignores to cpack

cryptoms-4.0

Toggle cryptoms-4.0's commit message 
Updating README to reflect filename change

cryptominisat-2.9.9-release

Toggle cryptominisat-2.9.9-release's commit message 
Fixing TravisCI build script

cryptoms-3.3-release

Toggle cryptoms-3.3-release's commit message 
Updating the NEWS file with data about version 3.3
0