{"push_id":755555678,"size":429,"distinct_size":1,"ref":"refs/heads/develop","head":"4b3408dca101438a0cf5929fb26248395750a4f3","before":"e37ad2f27027ef5044f08555d4a0ad01d11f3be2","commits":[{"sha":"fb5f33b75ca41596de5b0ac96858b8e4ce871633","author":{"email":"d42db3bac09a101d1e1208e4ecbbdd5c45934832@gmail.com","name":"Simon Meier"},"message":"version bump to 0.8.1.0","distinct":false,"url":"https://api.github.com/repos/rsasse/tamarin-prover/commits/fb5f33b75ca41596de5b0ac96858b8e4ce871633"},{"sha":"46feec9682c1df4f689182183df69899de9cdf92","author":{"email":"d42db3bac09a101d1e1208e4ecbbdd5c45934832@gmail.com","name":"Simon Meier"},"message":"version bump to 0.8.1.0","distinct":false,"url":"https://api.github.com/repos/rsasse/tamarin-prover/commits/46feec9682c1df4f689182183df69899de9cdf92"},{"sha":"ae29417cca5c6daf4a8e3935f566fb8a469e4ba9","author":{"email":"d42db3bac09a101d1e1208e4ecbbdd5c45934832@gmail.com","name":"Simon Meier"},"message":"notes in README on git-branching and Haskell-coding style","distinct":false,"url":"https://api.github.com/repos/rsasse/tamarin-prover/commits/ae29417cca5c6daf4a8e3935f566fb8a469e4ba9"},{"sha":"0da8726f652d4afd61dbeef049d281395728245c","author":{"email":"d42db3bac09a101d1e1208e4ecbbdd5c45934832@gmail.com","name":"Simon Meier"},"message":"fix: disallow parsing rules with reserved names","distinct":false,"url":"https://api.github.com/repos/rsasse/tamarin-prover/commits/0da8726f652d4afd61dbeef049d281395728245c"},{"sha":"daa31bd85c817f451733a4ff4b908588c6b136c0","author":{"email":"d42db3bac09a101d1e1208e4ecbbdd5c45934832@gmail.com","name":"Simon Meier"},"message":"updated release tasks","distinct":false,"url":"https://api.github.com/repos/rsasse/tamarin-prover/commits/daa31bd85c817f451733a4ff4b908588c6b136c0"},{"sha":"9266b8c6b06a883a34bc81d89be3ba1e4efdc483","author":{"email":"d42db3bac09a101d1e1208e4ecbbdd5c45934832@gmail.com","name":"Simon Meier"},"message":"add missing Test.ParseTests module in .cabal file","distinct":false,"url":"https://api.github.com/repos/rsasse/tamarin-prover/commits/9266b8c6b06a883a34bc81d89be3ba1e4efdc483"},{"sha":"0125bd82456c6ff6edd43192966214894e6b0e2e","author":{"email":"d42db3bac09a101d1e1208e4ecbbdd5c45934832@gmail.com","name":"Simon Meier"},"message":"update AUTHORS and CHANGES for 0.8.2.0","distinct":false,"url":"https://api.github.com/repos/rsasse/tamarin-prover/commits/0125bd82456c6ff6edd43192966214894e6b0e2e"},{"sha":"2e24fbea450bdb431e8bfdde3765cc97d76155b6","author":{"email":"d42db3bac09a101d1e1208e4ecbbdd5c45934832@gmail.com","name":"Simon Meier"},"message":"updated Tutorial.spthy and MANUAL","distinct":false,"url":"https://api.github.com/repos/rsasse/tamarin-prover/commits/2e24fbea450bdb431e8bfdde3765cc97d76155b6"},{"sha":"e11ddb68a30217694f4b19822c7eaaa6674a3a0a","author":{"email":"d42db3bac09a101d1e1208e4ecbbdd5c45934832@gmail.com","name":"Simon Meier"},"message":"updated regression-tests","distinct":false,"url":"https://api.github.com/repos/rsasse/tamarin-prover/commits/e11ddb68a30217694f4b19822c7eaaa6674a3a0a"},{"sha":"6b98bd64b52ebf9f3663bf5c3cfac082eefa55b1","author":{"email":"d42db3bac09a101d1e1208e4ecbbdd5c45934832@gmail.com","name":"Simon Meier"},"message":"version bump to 0.8.2.0","distinct":false,"url":"https://api.github.com/repos/rsasse/tamarin-prover/commits/6b98bd64b52ebf9f3663bf5c3cfac082eefa55b1"},{"sha":"6ed86ab5128eb99b2ff24a29ec214fba066bf984","author":{"email":"d42db3bac09a101d1e1208e4ecbbdd5c45934832@gmail.com","name":"Simon Meier"},"message":"Merge branch 'release-0.8.2.0' into develop","distinct":false,"url":"https://api.github.com/repos/rsasse/tamarin-prover/commits/6ed86ab5128eb99b2ff24a29ec214fba066bf984"},{"sha":"508e0cf5ddde9ed20559b13bb8e95f78024f5d77","author":{"email":"d42db3bac09a101d1e1208e4ecbbdd5c45934832@gmail.com","name":"Simon Meier"},"message":"merge branch 'release-0.8.2.0' to 'master'","distinct":false,"url":"https://api.github.com/repos/rsasse/tamarin-prover/commits/508e0cf5ddde9ed20559b13bb8e95f78024f5d77"},{"sha":"56ea0a6255478c2349a317edde6c11699d6bf629","author":{"email":"d42db3bac09a101d1e1208e4ecbbdd5c45934832@gmail.com","name":"Simon Meier"},"message":"fix: GUI not working in some cases\n\nWe sometimes encountered that the GUI responded with \"no such lemma or proof\npath\". The reason seemed to be empty path segments in the URL. We reckon that\nthe bug was spurious because only some versions of Yesod handled empty path\nsegments wrongly. We work around this bug by transforming our paths such that\nno empty path segments are generated at all.","distinct":false,"url":"https://api.github.com/repos/rsasse/tamarin-prover/commits/56ea0a6255478c2349a317edde6c11699d6bf629"},{"sha":"d0b0d70bcb6cca8365e73a7cbf08ede3cbede19e","author":{"email":"d42db3bac09a101d1e1208e4ecbbdd5c45934832@gmail.com","name":"Simon Meier"},"message":"version bump to 0.8.2.1","distinct":false,"url":"https://api.github.com/repos/rsasse/tamarin-prover/commits/d0b0d70bcb6cca8365e73a7cbf08ede3cbede19e"},{"sha":"639719fb038bf43be70ac8468f328fb20fef1c83","author":{"email":"d42db3bac09a101d1e1208e4ecbbdd5c45934832@gmail.com","name":"Simon Meier"},"message":"Merge branch 'hotfix-0.8.2.1' into develop","distinct":false,"url":"https://api.github.com/repos/rsasse/tamarin-prover/commits/639719fb038bf43be70ac8468f328fb20fef1c83"},{"sha":"f7c6c82c0481297fb2fd6a8876e5967bf1695f67","author":{"email":"d42db3bac09a101d1e1208e4ecbbdd5c45934832@gmail.com","name":"Simon Meier"},"message":"Merge branch 'hotfix-0.8.2.1'","distinct":false,"url":"https://api.github.com/repos/rsasse/tamarin-prover/commits/f7c6c82c0481297fb2fd6a8876e5967bf1695f67"},{"sha":"e01337ad3125725e94e2f28c6c6b1522724ca4d5","author":{"email":"d42db3bac09a101d1e1208e4ecbbdd5c45934832@gmail.com","name":"Simon Meier"},"message":"Merge remote-tracking branch 'origin/develop' into develop","distinct":false,"url":"https://api.github.com/repos/rsasse/tamarin-prover/commits/e01337ad3125725e94e2f28c6c6b1522724ca4d5"},{"sha":"03336b8daf297f0e5e2489e28d118d2d0acb71e5","author":{"email":"2ae052ee5e632c754726bfcbafb79629dabdc81c@gmail.com","name":"Benedikt Schmidt"},"message":"fix typos","distinct":false,"url":"https://api.github.com/repos/rsasse/tamarin-prover/commits/03336b8daf297f0e5e2489e28d118d2d0acb71e5"},{"sha":"8e0dc6a7dae5951560d3cbdb442b2653e6192adc","author":{"email":"2ae052ee5e632c754726bfcbafb79629dabdc81c@gmail.com","name":"Benedikt Schmidt"},"message":"cleanups in Guarded","distinct":false,"url":"https://api.github.com/repos/rsasse/tamarin-prover/commits/8e0dc6a7dae5951560d3cbdb442b2653e6192adc"},{"sha":"bb3a3fdf1c9fe41dc6d9dee9b6c676ae93cd3e97","author":{"email":"2ae052ee5e632c754726bfcbafb79629dabdc81c@gmail.com","name":"Benedikt Schmidt"},"message":"remove support for sort MSet","distinct":false,"url":"https://api.github.com/repos/rsasse/tamarin-prover/commits/bb3a3fdf1c9fe41dc6d9dee9b6c676ae93cd3e97"}]}