{"push_id":1133030732,"size":1,"distinct_size":1,"ref":"refs/heads/wip/z3","head":"786f86ee083146a0fa7cd980bce9ab54f7606e7d","before":"59d7d9c13a42d9e1b8a630460acc7876d4f29965","commits":[{"sha":"786f86ee083146a0fa7cd980bce9ab54f7606e7d","author":{"name":"Eddy Westbrook","email":"dfe7324431d0bda971c6e8d06e5612703e6e890b@galois.com"},"message":"created a general SMTSolver typeclass in Logic.hs, moving the SMTValue and SMTResult types to Logic.hs, and making the Z3 solver an instance of this typeclass","distinct":true,"url":"https://api.github.com/repos/GaloisInc/ivory/commits/786f86ee083146a0fa7cd980bce9ab54f7606e7d"}]}
{"actor":{"display_login":"eddywestbrook"}}