{"push_id":1273235641,"size":6,"distinct_size":6,"ref":"refs/heads/wip/z3","head":"338eef9b661783a8d770a421c458d20aacd25888","before":"2cd6457ab5341f442a741f2372b559ea3c02edcb","commits":[{"sha":"5b17781b28d848d30eff65cd28da23d2dd88fa50","author":{"name":"Eddy Westbrook","email":"dfe7324431d0bda971c6e8d06e5612703e6e890b@galois.com"},"message":"changed the predicate monad type to allow arbitrary types as arguments, not just first-order types; also updated returnP and bindP to allow arbitrary types as arguments, and updated existsP to allow first-order function types; also added a few helper combinators for building terms","distinct":true,"url":"https://api.github.com/repos/GaloisInc/ivory/commits/5b17781b28d848d30eff65cd28da23d2dd88fa50"},{"sha":"06246b1bc4a0ce9fad7c7020e226128bd49dd17f","author":{"name":"Eddy Westbrook","email":"dfe7324431d0bda971c6e8d06e5612703e6e890b@galois.com"},"message":"defined a GADT version of Ivory types, called I1Type, and changed convertExpr and friends to use this type; also added support for floating-point types, including round-off error","distinct":true,"url":"https://api.github.com/repos/GaloisInc/ivory/commits/06246b1bc4a0ce9fad7c7020e226128bd49dd17f"},{"sha":"beed99c01e4daca518455164801bbcac2fe8ff91","author":{"name":"Eddy Westbrook","email":"dfe7324431d0bda971c6e8d06e5612703e6e890b@galois.com"},"message":"Fixed some bugs introduced in the last commit in convertExpr for array and struct dereferences","distinct":true,"url":"https://api.github.com/repos/GaloisInc/ivory/commits/beed99c01e4daca518455164801bbcac2fe8ff91"},{"sha":"9835311450c33c051c1a5576ce213d0858d943f9","author":{"name":"Eddy Westbrook","email":"dfe7324431d0bda971c6e8d06e5612703e6e890b@galois.com"},"message":"added a timeout option to the SimpleSolver interface","distinct":true,"url":"https://api.github.com/repos/GaloisInc/ivory/commits/9835311450c33c051c1a5576ce213d0858d943f9"},{"sha":"a439ce486b1076fcc4c92e5dbc577c66fbf8c971","author":{"name":"Eddy Westbrook","email":"dfe7324431d0bda971c6e8d06e5612703e6e890b@galois.com"},"message":"added a flush to the smtDebug command","distinct":true,"url":"https://api.github.com/repos/GaloisInc/ivory/commits/a439ce486b1076fcc4c92e5dbc577c66fbf8c971"},{"sha":"338eef9b661783a8d770a421c458d20aacd25888","author":{"name":"Eddy Westbrook","email":"dfe7324431d0bda971c6e8d06e5612703e6e890b@galois.com"},"message":"updated Ivory translation to translate pointers to pairs of expressions","distinct":true,"url":"https://api.github.com/repos/GaloisInc/ivory/commits/338eef9b661783a8d770a421c458d20aacd25888"}]}
{"actor":{"display_login":"eddywestbrook"}}