{"push_id":2427040875,"size":2,"distinct_size":2,"ref":"refs/heads/develop","head":"5903b62a4a5fd3785ac9251ff52ec211ef4e077b","before":"c5b4e1923fd282721a2456e4c0d631dc1d4488c2","commits":[{"sha":"07bafd2c2c9766a04d2fbe845657608e8be076d8","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"move CPROVER built-in functions into the factory","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/07bafd2c2c9766a04d2fbe845657608e8be076d8"},{"sha":"5903b62a4a5fd3785ac9251ff52ec211ef4e077b","author":{"name":"Michael Tautschnig","email":"fd1ef0d7c905eb5db5ac61801dcf5e96317c84ad@debian.org"},"message":"Merge pull request #1952 from diffblue/more-builtins\n\nmove CPROVER built-in functions into the factory","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/5903b62a4a5fd3785ac9251ff52ec211ef4e077b"}]}
{"actor":{"display_login":"tautschnig"}}