dreal / dreal3 / 62

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	09 Jan 2017 09:33PM UTC	soonhokong	travis-ci	pending completion
12	master	fix(CMakeLists.txt): glog does not depend on gflags	push	14 Nov 2016 03:23PM UTC	soonhokong	travis-ci	pending completion
#6	master	feat(opensmt/smtsolver/CoreSMTSolver): short SAT functionality	push	05 May 2015 03:50PM UTC	Soonho Kong	travis-ci	pending completion
#5	master	Create contribution.md	push	04 May 2015 07:08PM UTC	soonhokong	travis-ci	pending completion
#4	master	tests: revise CMakeLists.txt files for nra and nra_ode dirs	push	04 May 2015 03:44PM UTC	soonhokong	travis-ci	pending completion
#3	master	fix(cmake/Modules/CodeCoverage.cmake): debug build check	push	04 May 2015 06:29AM UTC	soonhokong	travis-ci	pending completion
#2	master	fix(cmake/Modules/CodeCoverage.cmake): debug build check	push	04 May 2015 06:17AM UTC	Soonho Kong	travis-ci	pending completion
#1		[no commit message]	push	04 May 2015 06:09AM UTC			pending completion