{"push_id":907195694,"size":261,"distinct_size":261,"ref":"refs/heads/master","head":"523270dc0ac855def2e3ba002d98b3d609ec9e9c","before":"cd88cbc500b1093a4257cfc8a0b485474a9c81bb","commits":[{"sha":"e7b110392c66d0fae7edaa32fd4e2ac58648e68d","author":{"email":"46a713367d6d42bea91392e92b4ba3c9f97b1424@nfulton.org","name":"Nathan Fulton"},"message":"saturate should run to a fixed-point.","distinct":true,"url":"https://api.github.com/repos/gifti09/KeYmaeraX-release/commits/e7b110392c66d0fae7edaa32fd4e2ac58648e68d"},{"sha":"2c2cc540b0d169285a81adf4b3ce5f6cece12497","author":{"email":"57210157395e21eca7b182a2ba173e082cfd3cc0@cs.cmu.edu","name":"Andre Platzer"},"message":"Bellerophon","distinct":true,"url":"https://api.github.com/repos/gifti09/KeYmaeraX-release/commits/2c2cc540b0d169285a81adf4b3ce5f6cece12497"},{"sha":"e31277fc7edd0ae32589aade4a090d8ca4d63ef4","author":{"email":"57210157395e21eca7b182a2ba173e082cfd3cc0@cs.cmu.edu","name":"Andre Platzer"},"message":"Improve tactic documentation quite substantially","distinct":true,"url":"https://api.github.com/repos/gifti09/KeYmaeraX-release/commits/e31277fc7edd0ae32589aade4a090d8ca4d63ef4"},{"sha":"42b33c1553d66cd05e267c05aca43ee417f70778","author":{"email":"57210157395e21eca7b182a2ba173e082cfd3cc0@cs.cmu.edu","name":"Andre Platzer"},"message":"()","distinct":true,"url":"https://api.github.com/repos/gifti09/KeYmaeraX-release/commits/42b33c1553d66cd05e267c05aca43ee417f70778"},{"sha":"3e4b245a6032eb1cbec15448a9c5b24567743076","author":{"email":"57210157395e21eca7b182a2ba173e082cfd3cc0@cs.cmu.edu","name":"Andre Platzer"},"message":"()","distinct":true,"url":"https://api.github.com/repos/gifti09/KeYmaeraX-release/commits/3e4b245a6032eb1cbec15448a9c5b24567743076"},{"sha":"98ed5b80d57ad8292e0ceb3c83e40b6caa3aaa6f","author":{"email":"584768b16eb1264eb6ee6ea276b4fc3efdd4c775@cs.cmu.edu","name":"Stefan Mitsch"},"message":"Removes image fonts from MathJax, closes #159","distinct":true,"url":"https://api.github.com/repos/gifti09/KeYmaeraX-release/commits/98ed5b80d57ad8292e0ceb3c83e40b6caa3aaa6f"},{"sha":"9b7a109e11541fb0c63684ef7f46bc7a12851820","author":{"email":"57210157395e21eca7b182a2ba173e082cfd3cc0@cs.cmu.edu","name":"Andre Platzer"},"message":"rp>=0 instead of rp>0","distinct":true,"url":"https://api.github.com/repos/gifti09/KeYmaeraX-release/commits/9b7a109e11541fb0c63684ef7f46bc7a12851820"},{"sha":"40ab7f1cdde05c4e929909219aa48682994e9bd8","author":{"email":"57210157395e21eca7b182a2ba173e082cfd3cc0@cs.cmu.edu","name":"Andre Platzer"},"message":"Revert \"rp>=0 instead of rp>0\"\n\nThis reverts commit 9b7a109e11541fb0c63684ef7f46bc7a12851820.","distinct":true,"url":"https://api.github.com/repos/gifti09/KeYmaeraX-release/commits/40ab7f1cdde05c4e929909219aa48682994e9bd8"},{"sha":"f2f842ebc8d6243c6d2f03c6cd6832292ffdff25","author":{"email":"57210157395e21eca7b182a2ba173e082cfd3cc0@cs.cmu.edu","name":"Andre Platzer"},"message":"Documentation++","distinct":true,"url":"https://api.github.com/repos/gifti09/KeYmaeraX-release/commits/f2f842ebc8d6243c6d2f03c6cd6832292ffdff25"},{"sha":"9bec40b96e992613db00f84d59df0e71b1811815","author":{"email":"57210157395e21eca7b182a2ba173e082cfd3cc0@cs.cmu.edu","name":"Andre Platzer"},"message":"Contractualize proof","distinct":true,"url":"https://api.github.com/repos/gifti09/KeYmaeraX-release/commits/9bec40b96e992613db00f84d59df0e71b1811815"},{"sha":"1f44dd8789bb06b509bbc76f4a09c26fbfbe14c9","author":{"email":"57210157395e21eca7b182a2ba173e082cfd3cc0@cs.cmu.edu","name":"Andre Platzer"},"message":"Found who's left a goal around despite errorT","distinct":true,"url":"https://api.github.com/repos/gifti09/KeYmaeraX-release/commits/1f44dd8789bb06b509bbc76f4a09c26fbfbe14c9"},{"sha":"05c82efc9dff71924d0d8712d86079322b63c5bc","author":{"email":"57210157395e21eca7b182a2ba173e082cfd3cc0@cs.cmu.edu","name":"Andre Platzer"},"message":"QE should try equality based predicate/function arithmetic based on free function interpretation equality rewriting and then ask RCF. And not choke.","distinct":true,"url":"https://api.github.com/repos/gifti09/KeYmaeraX-release/commits/05c82efc9dff71924d0d8712d86079322b63c5bc"},{"sha":"84878d4ca54e50c7bd142bf87501a675851bb5d6","author":{"email":"57210157395e21eca7b182a2ba173e082cfd3cc0@cs.cmu.edu","name":"Andre Platzer"},"message":"Add vacuity for quantifiers directly","distinct":true,"url":"https://api.github.com/repos/gifti09/KeYmaeraX-release/commits/84878d4ca54e50c7bd142bf87501a675851bb5d6"},{"sha":"057de723c9db84d6cd0c113486515e47b0c84fe2","author":{"email":"57210157395e21eca7b182a2ba173e082cfd3cc0@cs.cmu.edu","name":"Andre Platzer"},"message":"Close more branches","distinct":true,"url":"https://api.github.com/repos/gifti09/KeYmaeraX-release/commits/057de723c9db84d6cd0c113486515e47b0c84fe2"},{"sha":"5a203b3aeea4193b984df2c105c6c43a647c22cf","author":{"email":"46a713367d6d42bea91392e92b4ba3c9f97b1424@nfulton.org","name":"Nathan Fulton"},"message":"Added location of Bellerophon framework tests","distinct":true,"url":"https://api.github.com/repos/gifti09/KeYmaeraX-release/commits/5a203b3aeea4193b984df2c105c6c43a647c22cf"},{"sha":"ce8b7dec9d5f2c18c6d770248c9fca7a580101e4","author":{"email":"46a713367d6d42bea91392e92b4ba3c9f97b1424@nfulton.org","name":"Nathan Fulton"},"message":"Cleaned up Belle's core data structures","distinct":true,"url":"https://api.github.com/repos/gifti09/KeYmaeraX-release/commits/ce8b7dec9d5f2c18c6d770248c9fca7a580101e4"},{"sha":"873f4c5c968188100a81a4bc80f464fcf4bae15c","author":{"email":"46a713367d6d42bea91392e92b4ba3c9f97b1424@nfulton.org","name":"Nathan Fulton"},"message":"spelling","distinct":true,"url":"https://api.github.com/repos/gifti09/KeYmaeraX-release/commits/873f4c5c968188100a81a4bc80f464fcf4bae15c"},{"sha":"46bf799dc169b5c4536dbaba7e8d3e26ec8924d1","author":{"email":"57210157395e21eca7b182a2ba173e082cfd3cc0@cs.cmu.edu","name":"Andre Platzer"},"message":"Documentation++","distinct":true,"url":"https://api.github.com/repos/gifti09/KeYmaeraX-release/commits/46bf799dc169b5c4536dbaba7e8d3e26ec8924d1"},{"sha":"88435db2ac2ba46204d1ce74567409eff41a8840","author":{"email":"57210157395e21eca7b182a2ba173e082cfd3cc0@cs.cmu.edu","name":"Andre Platzer"},"message":"Documentation++","distinct":true,"url":"https://api.github.com/repos/gifti09/KeYmaeraX-release/commits/88435db2ac2ba46204d1ce74567409eff41a8840"},{"sha":"dc48a7a9e08c1601cd8b16f70154645facd5c241","author":{"email":"57210157395e21eca7b182a2ba173e082cfd3cc0@cs.cmu.edu","name":"Andre Platzer"},"message":"Documentation++","distinct":true,"url":"https://api.github.com/repos/gifti09/KeYmaeraX-release/commits/dc48a7a9e08c1601cd8b16f70154645facd5c241"}]}