GitHub PushEvent at 2014-04-28 06:15:09
Repository: dReal-soonhok
Actor: soonhokong
Payload: {"shas":[["ed41f530aba980dbd6b2a24a3aa1c0c8d153783a","c20536d1670c76199a4488effbe9bec2814bbb57@gaolaptop.local","minor change on readme etc.","Sicun Gao",true],["7257b55a7adb2bc45a8d11f4da81e86566f30bdb","63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","benchmarks(simple): add ChemE benchmark (disjunct)","Soonho Kong",true],["1717c18a65576b8fc8e332d811e42825b9c056fa","63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","feat(dsolvers/icp_solver): add rp_problem display for debugging","Soonho Kong",true],["67e68fe233284dc8b8fb29394c628486b1d7b639","63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","feat(src): use namespace dreal","Soonho Kong",true],["c79a6e6ed774be15947830c742cb358dfbba2670","63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","feat(util/hexfloat): add hexfloat to print exact/hexdecimal rep. of double number\n\n - std::hexfloat should do the job. However current g++ does not support\n   it yet[1].\n - Instead, we use \"%a\" format specifier[2] + snprintf.\n\n[1]: http://gcc.gnu.org/onlinedocs/libstdc++/manual/status.html\n[2]: http://www.cplusplus.com/reference/cstdio/printf/","Soonho Kong",true],["2f66f170e391a294a894902650a270c66017d897","63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","feat(realpaver): make c++ code-base","Soonho Kong",true],["31dce6524ddcecd330c82d6944b263a5cbc6ce7c","63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","feat(util/interval): add util/interval class","Soonho Kong",true],["0ba08758996927e3786ea5fa9c795bcfc1e559af","63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","feat(util/scoped_env): use util/interval","Soonho Kong",true],["044376cc96494465d51e289fd393842d64849ab9","63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","feat(realpaver/rp_propagator): use util/interval to print out interval in proof","Soonho Kong",true],["2dff94545e9d543e4c9b07e308384f77008a7d47","63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","fix(realpaver/rp_variable): rp_union_display_simple gets \"out\" param","Soonho Kong",true],["314a87e63b9c6a323a783aa124fa49e103cb1cb6","63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","feat(dsolvers): icp and nra solvers use util/interval","Soonho Kong",true]],"size":11,"ref":"refs/heads/master","head":"314a87e63b9c6a323a783aa124fa49e103cb1cb6"}