{"push_id":1103657380,"size":7,"distinct_size":7,"ref":"refs/heads/master","head":"749524236d34f6f24f39282382c68c77e3735e67","before":"4cf6ca8fce9b40a602e257074a7c9fa116d8e71b","commits":[{"sha":"b10b4fe2ca17ea781588ae6529c3e96d2d87d572","author":{"email":"46a713367d6d42bea91392e92b4ba3c9f97b1424@nfulton.org","name":"Nathan Fulton"},"message":"Remove debugging code.","distinct":true,"url":"https://api.github.com/repos/LS-Lab/KeYmaeraX-release/commits/b10b4fe2ca17ea781588ae6529c3e96d2d87d572"},{"sha":"73be5a5a9a739a36895487c9ac34f47c95daddd0","author":{"email":"584768b16eb1264eb6ee6ea276b4fc3efdd4c775@cs.cmu.edu","name":"Stefan Mitsch"},"message":"Unification match test: ignore tests for unimplemented features instead of fail, place ignore keyword in a position suitable both for sbt and IntelliJ","distinct":true,"url":"https://api.github.com/repos/LS-Lab/KeYmaeraX-release/commits/73be5a5a9a739a36895487c9ac34f47c95daddd0"},{"sha":"1e1d32961e70451566e6412e674bcd81eb4f61d5","author":{"email":"584768b16eb1264eb6ee6ea276b4fc3efdd4c775@cs.cmu.edu","name":"Stefan Mitsch"},"message":"Removes superfluous core change debugging tests","distinct":true,"url":"https://api.github.com/repos/LS-Lab/KeYmaeraX-release/commits/1e1d32961e70451566e6412e674bcd81eb4f61d5"},{"sha":"79deec31d75e2e244073c87f55a60a17580625d5","author":{"email":"584768b16eb1264eb6ee6ea276b4fc3efdd4c775@cs.cmu.edu","name":"Stefan Mitsch"},"message":"Merge branch 'master' of https://github.com/LS-Lab/KeYmaera4-Collab","distinct":true,"url":"https://api.github.com/repos/LS-Lab/KeYmaeraX-release/commits/79deec31d75e2e244073c87f55a60a17580625d5"},{"sha":"5a2c443940bf74d2228522d0a84cc8ef95514e02","author":{"email":"46a713367d6d42bea91392e92b4ba3c9f97b1424@nfulton.org","name":"Nathan Fulton"},"message":"Hack to get tactic extraction/printing working\n\nThe proper solution is to have printability be an inveriant of the Bellerophon\ndata structures...","distinct":true,"url":"https://api.github.com/repos/LS-Lab/KeYmaeraX-release/commits/5a2c443940bf74d2228522d0a84cc8ef95514e02"},{"sha":"e3f5a348092ff3bce0d30ff0fbcf23c78f3564a8","author":{"email":"46a713367d6d42bea91392e92b4ba3c9f97b1424@nfulton.org","name":"Nathan Fulton"},"message":"Parser bug. @todo fix.","distinct":true,"url":"https://api.github.com/repos/LS-Lab/KeYmaeraX-release/commits/e3f5a348092ff3bce0d30ff0fbcf23c78f3564a8"},{"sha":"749524236d34f6f24f39282382c68c77e3735e67","author":{"email":"46a713367d6d42bea91392e92b4ba3c9f97b1424@nfulton.org","name":"Nathan Fulton"},"message":"Merge branch 'master' of ssh://github.com/LS-Lab/KeYmaera4-Collab","distinct":true,"url":"https://api.github.com/repos/LS-Lab/KeYmaeraX-release/commits/749524236d34f6f24f39282382c68c77e3735e67"}]}