{"push_id":897109358,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"69c3a4b42ac8a9217a504536b4f412a599519502","before":"94a07ea9931468db2d0ada4b0c4fdb489f523069","commits":[{"sha":"69c3a4b42ac8a9217a504536b4f412a599519502","author":{"email":"f75c399cc90244e26e6319132b16756799e7d78b@cs.utah.edu","name":"Zvonimir"},"message":"Completely disable invariant inference when invoking Boogie\n\nAs it turns out, Boogie by default does simple loop invariant\ninference using intervals domain. This behavior has to be\nexplicitly disabled by providing the noinfer flag.","distinct":true,"url":"https://api.github.com/repos/smackers/smack/commits/69c3a4b42ac8a9217a504536b4f412a599519502"}]}