Skip to content

Tags: capiman/cryptominisat

Tags

5.8.0

Toggle 5.8.0's commit message
Fixing scan-forward Windows

5.7.1

Toggle 5.7.1's commit message
Moving to 5.7.1

5.7.0

Toggle 5.7.0's commit message
Releasing 5.7.0

satcomp2020-candidate

Toggle satcomp2020-candidate's commit message
Fixing printing in debug mode

satrace19-master

Toggle satrace19-master's commit message
Adding notes regarding O2 vs O3+flto

satrace19-chronobt

Toggle satrace19-chronobt's commit message
Merge branch 'master' into chrono_bt_fixed_trail_master

5.6.8

Toggle 5.6.8's commit message
Upping the version

5.6.7

Toggle 5.6.7's commit message
Moving to 5.6.7

5.6.6

Toggle 5.6.6's commit message
Moving to 5.6.6

5.6.5

Toggle 5.6.5's commit message
Bumping version