msoos / cryptominisat / 2404

Builds Branch Commit Type Ran Committer Via Coverage
2404 master Fixing tests for indep->sampling Pull #10421 msoos travis-ci pending completion   set done
2136 master Don't print non-final tree Pull #3090 msoos travis-ci pending completion   set done
2092 master Fixing year push msoos travis-ci pending completion   set done
2089 master Adding more reconf possiblities push msoos travis-ci pending completion   set done
2077 master More thanks in sat competition paper push msoos travis-ci pending completion   set done
2075 master Updating citing instructions push web-flow travis-ci pending completion   set done
1726 master A bit of cleanup around python + no python interface in case of COVERAGE Pull #2199 msoos travis-ci pending completion   set done
2308 master Forgot to update time on single-threaded solving push msoos travis-ci pending completion   set done
2307 master Fixing the timing issue correctly this time around Previous fix was only a half fix. This one should now be correctly displaying the time for the current thread. It was more complicated than I thought I have to admit. Closes #497 push msoos travis-ci pending completion   set done
2306 master Cleanup of time_mem.h push msoos travis-ci pending completion   set done
2305 master Fixing stats to show correct variable percentages Thanks to Simon Felix for pointing these out Related to #497 push msoos travis-ci pending completion   set done
2304 master Fixing sonarqube tests push msoos travis-ci pending completion   set done
2300 master Fixing submodule link push msoos travis-ci pending completion   set done
2292 master Allow for slow and fast XOR finding push msoos travis-ci pending completion   set done
2291 master Fixing Rust Readme push msoos travis-ci pending completion   set done