{"push_id":928286965,"size":1,"distinct_size":1,"ref":"refs/heads/devel","head":"7ff412961704671cee63fb85e074c29e677f0cec","before":"cd19d81fb3afef0c91750143330caf320bbb2f06","commits":[{"sha":"7ff412961704671cee63fb85e074c29e677f0cec","author":{"email":"0c0915cbef2ef7ddbbaa9feb87687edc77f53b49@gmx.net","name":"pruemmer"},"message":"revised Horn encoding; still not including heap predicates, but function contracts should work now","distinct":true,"url":"https://api.github.com/repos/jayhorn/jayhorn/commits/7ff412961704671cee63fb85e074c29e677f0cec"}]}