{"push_id":1299950875,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"526b0e7d8d658ad37561bf97307305aa91104108","before":"16bbd0b24b8f4353d97511568c8846a06020e208","commits":[{"sha":"30ed75086fe534bc73ce2b6138c66bcd6f60ba6c","author":{"name":"Joachim Klein","email":"1a039d23876a9b00ccba0bf0a6b4bb4e0f17f24a@tcs.inf.tu-dresden.de"},"message":"AcceptanceGeneric: add and() and or() methods\n\n\ngit-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11826 bbc10eb1-c90d-0410-af57-cb519fbb1720","distinct":true,"url":"https://api.github.com/repos/kleinj/prism-svn/commits/30ed75086fe534bc73ce2b6138c66bcd6f60ba6c"},{"sha":"994b6207d9f54874f92acf73657c921eeb758a2e","author":{"name":"Joachim Klein","email":"1a039d23876a9b00ccba0bf0a6b4bb4e0f17f24a@tcs.inf.tu-dresden.de"},"message":"AcceptanceGeneric: add toRabin() and toStreett() methods\n\nThese methods work for the case where the generic acceptance condition\nhas the required structure or can be easily padded to have the required\nstructure for Rabin / Streett.\n\n\ngit-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11827 bbc10eb1-c90d-0410-af57-cb519fbb1720","distinct":true,"url":"https://api.github.com/repos/kleinj/prism-svn/commits/994b6207d9f54874f92acf73657c921eeb758a2e"},{"sha":"937a6c2a435a0bc98eb9136180830fdd01a88417","author":{"name":"Joachim Klein","email":"1a039d23876a9b00ccba0bf0a6b4bb4e0f17f24a@tcs.inf.tu-dresden.de"},"message":"VarList: add getIndexFromDeclaration()\n\n\ngit-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11828 bbc10eb1-c90d-0410-af57-cb519fbb1720","distinct":true,"url":"https://api.github.com/repos/kleinj/prism-svn/commits/937a6c2a435a0bc98eb9136180830fdd01a88417"},{"sha":"526b0e7d8d658ad37561bf97307305aa91104108","author":{"name":"Joachim Klein","email":"1a039d23876a9b00ccba0bf0a6b4bb4e0f17f24a@tcs.inf.tu-dresden.de"},"message":"ModelGenerator2MTBDD: fix use of ModelVariablesDD, actually allocate variables via ModelVariablesDD\n\n\ngit-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11829 bbc10eb1-c90d-0410-af57-cb519fbb1720","distinct":true,"url":"https://api.github.com/repos/kleinj/prism-svn/commits/526b0e7d8d658ad37561bf97307305aa91104108"}]}
{"actor":{"display_login":"kleinj"}}