{"push_id":1056425799,"size":4,"distinct_size":4,"ref":"refs/heads/mw-map-multiset","head":"d172dcdef0b43fa38f379809b60f68cbafbe458b","before":"2a20af24b8d9bd1bd6e0022876a8192dd24efb32","commits":[{"sha":"d77b608b1fcbb439909bd529d6e44a8dab4a661a","author":{"email":"963dc18a2763e998a6a66f3068199883f03729a4@york.ac.uk","name":"Matt Windsor"},"message":"Add removeOneIf.\n\nThis will be used to implement multiset minus in a few commits'\ntime.","distinct":true,"url":"https://api.github.com/repos/septract/starling-tool/commits/d77b608b1fcbb439909bd529d6e44a8dab4a661a"},{"sha":"796405b19d66a2ed4782a3eeb8130db0b5a1b825","author":{"email":"963dc18a2763e998a6a66f3068199883f03729a4@york.ac.uk","name":"Matt Windsor"},"message":"Add shorthand for goals.","distinct":true,"url":"https://api.github.com/repos/septract/starling-tool/commits/796405b19d66a2ed4782a3eeb8130db0b5a1b825"},{"sha":"e08466aee4c4f02fc8d9f09830217a8ce541b57f","author":{"email":"963dc18a2763e998a6a66f3068199883f03729a4@york.ac.uk","name":"Matt Windsor"},"message":"Push multisets further into termgen.","distinct":true,"url":"https://api.github.com/repos/septract/starling-tool/commits/e08466aee4c4f02fc8d9f09830217a8ce541b57f"},{"sha":"d172dcdef0b43fa38f379809b60f68cbafbe458b","author":{"email":"963dc18a2763e998a6a66f3068199883f03729a4@york.ac.uk","name":"Matt Windsor"},"message":"Add some frame generation tests.","distinct":true,"url":"https://api.github.com/repos/septract/starling-tool/commits/d172dcdef0b43fa38f379809b60f68cbafbe458b"}]}