GitHub PushEvent at 2014-04-12 11:38:03
Repository: dReal-osx
Actor: soonhokong
Payload: {"shas":[["52e219541c55bd1be46e7b213ac339ebdc29c1b9","63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","feat(cmake): add gflags, glog, json11 as external projects","Soonho Kong",true],["aff3257238fb0be3ebe98af7d9b6b34530c11528","63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","fix(dsolvers/ode_solver): add debugging message","Soonho Kong",true],["98334dc3363ff785053b50b3806ba39b98a70b9b","63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","chore(.mailmap): add .mailmap","Soonho Kong",true],["7805a0c4ba03e800a71c2077ea555e20ce94c4e6","1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","chore(.mailmap): add .mailmap","Travis CI",true]],"size":4,"ref":"refs/heads/master","head":"7805a0c4ba03e800a71c2077ea555e20ce94c4e6"}