{"push_id":1006349949,"size":2,"distinct_size":2,"ref":"refs/heads/mw-cfg","head":"56326c664891b1d6ca425e886592886b25916591","before":"49142095dc5fca2ed78f4c4a113430cf8e0340db","commits":[{"sha":"2e28964bfb84533127fa3d6bb425af6a8b3db840","author":{"email":"963dc18a2763e998a6a66f3068199883f03729a4@york.ac.uk","name":"Matt Windsor"},"message":"Remove some unnecessary trials in Modeller.","distinct":true,"url":"https://api.github.com/repos/septract/starling-tool/commits/2e28964bfb84533127fa3d6bb425af6a8b3db840"},{"sha":"56326c664891b1d6ca425e886592886b25916591","author":{"email":"963dc18a2763e998a6a66f3068199883f03729a4@york.ac.uk","name":"Matt Windsor"},"message":"Add Peterson's algorithm proof.\n\nFinally, after 10,000 years, it looks like we can prove this.  Sadly, I\nhad to write this out by hand, because trying to ask HSF to synthesise\nme a proof not only kept failing due to me not getting the right views,\nbut also made HSF insanely slow and prone to\nout-of-memory-errors.  (Needs more optimisation?)\n\nThis balloons the regression test time :(","distinct":true,"url":"https://api.github.com/repos/septract/starling-tool/commits/56326c664891b1d6ca425e886592886b25916591"}]}