{"push_id":1111575985,"size":12,"distinct_size":6,"ref":"refs/heads/slugs","head":"bb1ef7e999e2f20432b411c2480d2caf5ac3da21","before":"cb3ff2fb1ffe1dc9b06ca3942aa7d136ce83a206","commits":[{"sha":"38bc0dd75838fea84e1b236e463307ad52f6ae27","author":{"email":"638d9fb25e588789212e41130eacf5f820d65c9a@xabitire.de","name":"Felix Klein"},"message":"Fixed formula construction bug","distinct":false,"url":"https://api.github.com/repos/johnyf/syfco/commits/38bc0dd75838fea84e1b236e463307ad52f6ae27"},{"sha":"6a68d12e5e7dd136afa1eeec01209d55fdfe2abf","author":{"email":"638d9fb25e588789212e41130eacf5f820d65c9a@xabitire.de","name":"Felix Klein"},"message":"Merge branch 'master' of https://github.com/reactive-systems/syfco","distinct":false,"url":"https://api.github.com/repos/johnyf/syfco/commits/6a68d12e5e7dd136afa1eeec01209d55fdfe2abf"},{"sha":"0c80aa06ce577b414f9817e107d8ca691c838013","author":{"email":"638d9fb25e588789212e41130eacf5f820d65c9a@xabitire.de","name":"Felix Klein"},"message":"Extended GR Detection by fast Pre-Check","distinct":false,"url":"https://api.github.com/repos/johnyf/syfco/commits/0c80aa06ce577b414f9817e107d8ca691c838013"},{"sha":"e31963128c0594ffebe0dded195a87be9b906c9c","author":{"email":"346f78818613e6d5c3e737af1abe5d467123e6d3@react.uni-saarland.de","name":"Swen Jacobs"},"message":"additional LTL2DPA examples","distinct":false,"url":"https://api.github.com/repos/johnyf/syfco/commits/e31963128c0594ffebe0dded195a87be9b906c9c"},{"sha":"d8b595356b775af6cd605955ba77128f8aa7e7d7","author":{"email":"638d9fb25e588789212e41130eacf5f820d65c9a@xabitire.de","name":"Felix Klein"},"message":"Fixed Typo in Bechnchmark","distinct":false,"url":"https://api.github.com/repos/johnyf/syfco/commits/d8b595356b775af6cd605955ba77128f8aa7e7d7"},{"sha":"fd0687ba41ca297f9b13cc90c1fc2c1e204abee3","author":{"email":"638d9fb25e588789212e41130eacf5f820d65c9a@xabitire.de","name":"Felix Klein"},"message":"Merge branch 'master' of https://github.com/reactive-systems/syfco","distinct":false,"url":"https://api.github.com/repos/johnyf/syfco/commits/fd0687ba41ca297f9b13cc90c1fc2c1e204abee3"},{"sha":"aa856fd073c5c21bce0eea7d17b00f335f0c82d5","author":{"email":"4f2213f6a19438af436331b6919981fc0b2d0d52@gmail.com","name":"Ioannis Filippidis"},"message":"DOC: note difference between `cabal install` and `make`","distinct":true,"url":"https://api.github.com/repos/johnyf/syfco/commits/aa856fd073c5c21bce0eea7d17b00f335f0c82d5"},{"sha":"33c77f8ccd96c5d4cefe50845457cef0d285971e","author":{"email":"4f2213f6a19438af436331b6919981fc0b2d0d52@gmail.com","name":"Ioannis Filippidis"},"message":"DOC: typo `promea` -> `promela`","distinct":true,"url":"https://api.github.com/repos/johnyf/syfco/commits/33c77f8ccd96c5d4cefe50845457cef0d285971e"},{"sha":"cec1c7f49e3b463044397ecd0dfb7cc38478d2b3","author":{"email":"4f2213f6a19438af436331b6919981fc0b2d0d52@gmail.com","name":"Ioannis Filippidis"},"message":"DOC: distinguish slugs format as structured","distinct":true,"url":"https://api.github.com/repos/johnyf/syfco/commits/cec1c7f49e3b463044397ecd0dfb7cc38478d2b3"},{"sha":"be80da1704d9e9e3b9336250c84d4cd400b07f99","author":{"email":"4f2213f6a19438af436331b6919981fc0b2d0d52@gmail.com","name":"Ioannis Filippidis"},"message":"ENH: add slugsin output format","distinct":true,"url":"https://api.github.com/repos/johnyf/syfco/commits/be80da1704d9e9e3b9336250c84d4cd400b07f99"},{"sha":"33696e13c6eeee60d62e5b1ee7214cb2972eb4a7","author":{"email":"4f2213f6a19438af436331b6919981fc0b2d0d52@gmail.com","name":"Ioannis Filippidis"},"message":"DOC: typo name of format","distinct":true,"url":"https://api.github.com/repos/johnyf/syfco/commits/33696e13c6eeee60d62e5b1ee7214cb2972eb4a7"},{"sha":"bb1ef7e999e2f20432b411c2480d2caf5ac3da21","author":{"email":"4f2213f6a19438af436331b6919981fc0b2d0d52@gmail.com","name":"Ioannis Filippidis"},"message":"DOC: typo whitespace","distinct":true,"url":"https://api.github.com/repos/johnyf/syfco/commits/bb1ef7e999e2f20432b411c2480d2caf5ac3da21"}]}