{"push_id":2779576825,"size":4,"distinct_size":1,"ref":"refs/heads/floating-point","head":"47edc58ee049048710e0d6f7774e3a00c8cab8f7","before":"11d6e5768ffc6831355c1863f642ecb1d3ccd1f9","commits":[{"sha":"4730616a7e27747d8bb13d36eeedf659c36a0b58","author":{"name":"Rob Dockins","email":"26526c99d12416a2aef9624e356662eb94a1fc0e@galois.com"},"message":"Add an `assume` statement to the crucible statement syntax,\ndual to the already-existing `assert` statement.","distinct":false,"url":"https://api.github.com/repos/GaloisInc/crucible/commits/4730616a7e27747d8bb13d36eeedf659c36a0b58"},{"sha":"eba401ab753d4e848d686c06ae766911748eee5a","author":{"name":"Daniel Wagner","email":"8977e66c7fbfe61ff103cb0a9e12a47eb0545182"},"message":"bvSdiv promises to truncate towards zero","distinct":false,"url":"https://api.github.com/repos/GaloisInc/crucible/commits/eba401ab753d4e848d686c06ae766911748eee5a"},{"sha":"2c9261cecfccb060824476fc1a1d410b7cc51005","author":{"name":"Aaron Tomb","email":"cf34d7ca5d28f2e8d3d99b21d78df0daa7289c75@galois.com"},"message":"Add saw-core-what4 to Cabal project file","distinct":false,"url":"https://api.github.com/repos/GaloisInc/crucible/commits/2c9261cecfccb060824476fc1a1d410b7cc51005"},{"sha":"47edc58ee049048710e0d6f7774e3a00c8cab8f7","author":{"name":"Andrei Stefanescu","email":"8dc7c09356db0b1762fb140617d7375c0a5a4131@galois.com"},"message":"Merge remote-tracking branch 'origin/master' into floating-point","distinct":true,"url":"https://api.github.com/repos/GaloisInc/crucible/commits/47edc58ee049048710e0d6f7774e3a00c8cab8f7"}]}
{"actor":{"display_login":"andreistefanescu"}}