soonhokong / dreal / 168

Builds Branch Commit Type Ran Committer Via Coverage
168 master feat(dsolvers): icp and nra solvers use util/interval push soonhokong travis-ci pending completion
166 master feat(realpaver): use util/interval in proof push soonhokong travis-ci pending completion
165 master fix(ode_solver): polarity check for invariants was succeeeding for negative invarinants push soonhokong travis-ci pending completion
164 master fix(dsolvers/ode_solver): clean up LOG msgs push soonhokong travis-ci pending completion
163 master chore(cmake): update deps. for external projects push soonhokong travis-ci pending completion
162 master chore(travis): use Release/Debug instead of RELEASE/DEBUG push soonhokong travis-ci pending completion
160 stable doc: use https; add opam install oasis push soonhokong travis-ci pending completion
156 master chore(travis): reduce timeout from 450 to 400 push soonhokong travis-ci pending completion
150 master chore(travis): email to dreal-build@googlegroups push soonhokong travis-ci pending completion
149 master chore(travis): update travis (Linux & OSX) - separate test coverage build - introduce CTEST variable to order ctest - reduce test timeout to 450s from 500s - re-introduce delta* testcases push soonhokong travis-ci pending completion
147 master chore(.mailmap): add .mailmap push soonhokong travis-ci pending completion
146 master chore(.mailmap): add .mailmap push soonhokong travis-ci pending completion
144 master fix(dsolvers/ode_solver): add debugging message push soonhokong travis-ci pending completion
142 master chore(travis): fix gcc-version on OSX build (gcc-4.8.1) push soonhokong travis-ci pending completion
141 master benchmarks: add control for quadcopter added push Sean Gao travis-ci pending completion