Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
62 | master | fix(CMakeLists.txt): do not use '-static-libgcc' option for Clang in static build | push | soonhokong | travis-ci | pending completion set done | |
12 | master | fix(CMakeLists.txt): glog does not depend on gflags | push | soonhokong | travis-ci | pending completion set done | |
#6 | master | feat(opensmt/smtsolver/CoreSMTSolver): short SAT functionality | push | Soonho Kong | travis-ci | pending completion set done | |
#5 | master | Create contribution.md | push | soonhokong | travis-ci | pending completion set done | |
#4 | master | tests: revise CMakeLists.txt files for nra and nra_ode dirs | push | soonhokong | travis-ci | pending completion set done | |
#3 | master | fix(cmake/Modules/CodeCoverage.cmake): debug build check | push | soonhokong | travis-ci | pending completion set done | |
#2 | master | fix(cmake/Modules/CodeCoverage.cmake): debug build check | push | Soonho Kong | travis-ci | pending completion set done | |
#1 | [no commit message] | push | pending completion set done |