{"push_id":878757973,"size":1,"distinct_size":1,"ref":"refs/heads/dbm-dev","head":"4dc88a7829179a9120b1727e95a41d5a2388dde2","before":"dd28f6364d3dc052aaa9a99a27cb7d35ea70cc2f","commits":[{"sha":"4dc88a7829179a9120b1727e95a41d5a2388dde2","author":{"email":"14f5f5cb7b05098833e9270fd9b270ec7a4f9723@unimelb.edu.au","name":"gkgange"},"message":"Added unconstrained-variable garbage collection and meet early termination.","distinct":true,"url":"https://api.github.com/repos/seahorn/crab/commits/4dc88a7829179a9120b1727e95a41d5a2388dde2"}]}