msoos / cryptominisat / 819
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 819 | satrace15 | Updating makefile for SAT Race | push |  msoos |
travis-ci | pending completion set done | |
| 818 | satrace15 | Build script update | push | msoos |
travis-ci | pending completion set done | |
| 817 | satrace15 | Fixing M4RI include dir suffixes | push | msoos |
travis-ci | pending completion set done | |
| 816 | satrace15 | Fixing M4RI detection when not installed | push | msoos |
travis-ci | pending completion set done | |
| 815 | satrace15 | Adding hackish scripts for SAT Race 2015 | push | msoos |
travis-ci | pending completion set done | |
| 814 | master | Updating SAT Race 2015 description | push | msoos |
travis-ci | pending completion set done | |
| 813 | master | Adding docs for CMS4.4 in SAT Race 2015 | push | msoos |
travis-ci | pending completion set done | |
| 804 | master | Fixing coverage badge | push | msoos |
travis-ci | pending completion set done | |
| 803 | master | Fixing coverage upload | push | msoos |
travis-ci | pending completion set done |