msoos / cryptominisat / 2237

Builds Branch Commit Type Ran Committer Via Coverage
2237 master Adding MIT build script Closes #510 push msoos travis-ci pending completion   set done
2236 master Fixing compile issue on aarch64 Thanks to Gleb Popov for reporting this issue Closes #509 push msoos travis-ci pending completion   set done
2235 master Merge pull request #507 from saraedum/patch-2 Fix a typo push web-flow travis-ci pending completion   set done
2234 master Fixing typos Thanks to jvpeetz for these Closes #508 push msoos travis-ci pending completion   set done
2231 master Merge pull request #505 from Storyyeller/rust2 Add Rust bindings upstream push web-flow travis-ci pending completion   set done
2230 master Updating drat-trim to work in Windows push msoos travis-ci pending completion   set done
2229 master Pushing version to 5.6.4 push msoos travis-ci pending completion   set done
2227 master Merge pull request #503 from cipherboy/fix-readme-2 Update README to reflect zlib dependency push web-flow travis-ci pending completion   set done
2224 master Fixing SQLite3 search patterns push msoos travis-ci pending completion   set done
2214 master Updating some cmake files to fix licensing issues Related to issue #473 push msoos travis-ci pending completion   set done
2213 master Merge pull request #499 from embray/python-destdir-2 Fix DESTDIR support for the Python package again push web-flow travis-ci pending completion   set done
2210 master Adding 3 cuts, new option for going for a specific cut push msoos travis-ci pending completion   set done
2209 master Bumping version push msoos travis-ci pending completion   set done
2208 HEAD Fixing option fuzzer push msoos travis-ci pending completion   set done
2207 HEAD Fixing XOR tests push msoos travis-ci pending completion   set done