dreal / dreal / 177

Builds Branch Commit Type Ran Committer Via Coverage
177 master chore(CMakeLists.txt): bump to version 2.15.11 push soonhokong travis-ci pending completion
176 master chore(CMakeLists.txt): point to dreal-deps/capdDynSys-4.0 push soonhokong travis-ci pending completion
175 master fix(CMakeLists.txt): pass CXXFLAGS to FILIBXX push soonhokong travis-ci pending completion
174 master Update AUTHORS push scungao travis-ci pending completion
173 master fix(CMakeLists.ppa.txt): add URL for external projects push soonhokong travis-ci pending completion
172 master fix(CMakeLists.txt): bump version, update CMakeLists.ppa.txt push soonhokong travis-ci pending completion
171 master fix(dsolvers/heuristics/heuristic.cpp): style push soonhokong travis-ci pending completion
170 master fix(.travis.yml): lcov push soonhokong travis-ci pending completion
168 master fix(CMakeLists.txt): remove gflags dep from glog push Soonho Kong travis-ci pending completion
167 master fix(opensmt/smtsolvers/CoreSMTSolver.h): default arg of printCurrentAssignment Default parameter values must appear on the declaration. push Soonho Kong travis-ci pending completion
166 master Merge pull request #92 from danbryce/master Network encodings and heuristics for planning push Soonho Kong travis-ci pending completion
164 master Merge pull request #91 from danbryce/master Initial version of network heuristics push Soonho Kong travis-ci pending completion
162 master Merge pull request #90 from kquine/master Added networked hybrid system benchmarks push Soonho Kong travis-ci pending completion
160 master Merge pull request #89 from danbryce/master Fixes for Boolean Variables, Parameter invariants, and new planning heuristics push Soonho Kong travis-ci pending completion
158 master feat(opensmt): add --readable_proof option push Soonho Kong travis-ci pending completion