{"push_id":1665595432,"size":16,"distinct_size":16,"ref":"refs/heads/master","head":"b913f216b426b6d79e729e28b6186891963d6d0d","before":"86d5ddd8fd750cf6609664ae193cdcbe31b1172a","commits":[{"sha":"505594dbba4ad54eb6d1fa839c9f0f022f1e325f","author":{"name":"Matthias Volk","email":"9310d0a505e8fb21922980a21346838be64b4017@cs.rwth-aachen.de"},"message":"Small comment","distinct":true,"url":"https://api.github.com/repos/moves-rwth/stormpy/commits/505594dbba4ad54eb6d1fa839c9f0f022f1e325f"},{"sha":"db86de94437445cf19c6c27d99c2a13aed6d1796","author":{"name":"Matthias Volk","email":"9310d0a505e8fb21922980a21346838be64b4017@cs.rwth-aachen.de"},"message":"Bindings for importing DRN files","distinct":true,"url":"https://api.github.com/repos/moves-rwth/stormpy/commits/db86de94437445cf19c6c27d99c2a13aed6d1796"},{"sha":"0b290d782f283014fb51946e69486244bff7da76","author":{"name":"Matthias Volk","email":"9310d0a505e8fb21922980a21346838be64b4017@cs.rwth-aachen.de"},"message":"ModelInstantiator for CTMC and MA as well","distinct":true,"url":"https://api.github.com/repos/moves-rwth/stormpy/commits/0b290d782f283014fb51946e69486244bff7da76"},{"sha":"64c663a809100c489296e335abba56a995232b2c","author":{"name":"Matthias Volk","email":"9310d0a505e8fb21922980a21346838be64b4017@cs.rwth-aachen.de"},"message":"Started with Python bindings for storm-dft","distinct":true,"url":"https://api.github.com/repos/moves-rwth/stormpy/commits/64c663a809100c489296e335abba56a995232b2c"},{"sha":"26d2b90f442a3687c9bc3e8dd6b153044f36a9e0","author":{"name":"Matthias Volk","email":"9310d0a505e8fb21922980a21346838be64b4017@cs.rwth-aachen.de"},"message":"Bindings for state labeling","distinct":true,"url":"https://api.github.com/repos/moves-rwth/stormpy/commits/26d2b90f442a3687c9bc3e8dd6b153044f36a9e0"},{"sha":"c017949d0c3e73adcd25d5af06fea6531423407d","author":{"name":"Matthias Volk","email":"9310d0a505e8fb21922980a21346838be64b4017@cs.rwth-aachen.de"},"message":"Use matrix instead of model for iterators","distinct":true,"url":"https://api.github.com/repos/moves-rwth/stormpy/commits/c017949d0c3e73adcd25d5af06fea6531423407d"},{"sha":"f646a70186daf0f0be0d1321396321c278ae9fff","author":{"name":"Matthias Volk","email":"9310d0a505e8fb21922980a21346838be64b4017@cs.rwth-aachen.de"},"message":"Added symred support","distinct":true,"url":"https://api.github.com/repos/moves-rwth/stormpy/commits/f646a70186daf0f0be0d1321396321c278ae9fff"},{"sha":"ed2875eb7da17dd5e589eefcd28000b309673369","author":{"name":"Matthias Volk","email":"9310d0a505e8fb21922980a21346838be64b4017@cs.rwth-aachen.de"},"message":"Changed state and action for models","distinct":true,"url":"https://api.github.com/repos/moves-rwth/stormpy/commits/ed2875eb7da17dd5e589eefcd28000b309673369"},{"sha":"9618b5ca31a7f91c50aaa9a3caebe05f437c27ce","author":{"name":"Matthias Volk","email":"9310d0a505e8fb21922980a21346838be64b4017@cs.rwth-aachen.de"},"message":"Length for states and actions","distinct":true,"url":"https://api.github.com/repos/moves-rwth/stormpy/commits/9618b5ca31a7f91c50aaa9a3caebe05f437c27ce"},{"sha":"968901cca5ca87607220923699f601562c5b1e56","author":{"name":"Matthias Volk","email":"9310d0a505e8fb21922980a21346838be64b4017@cs.rwth-aachen.de"},"message":"Change test for merged failed states","distinct":true,"url":"https://api.github.com/repos/moves-rwth/stormpy/commits/968901cca5ca87607220923699f601562c5b1e56"},{"sha":"20b1b01139b177057bbef32d202827df566fdd2c","author":{"name":"Matthias Volk","email":"9310d0a505e8fb21922980a21346838be64b4017@cs.rwth-aachen.de"},"message":"Bisimulation takes properties","distinct":true,"url":"https://api.github.com/repos/moves-rwth/stormpy/commits/20b1b01139b177057bbef32d202827df566fdd2c"},{"sha":"312b69e31ce6550733d310d9d7a41e67817cee73","author":{"name":"Matthias Volk","email":"9310d0a505e8fb21922980a21346838be64b4017@cs.rwth-aachen.de"},"message":"Merge from dft_bindings","distinct":true,"url":"https://api.github.com/repos/moves-rwth/stormpy/commits/312b69e31ce6550733d310d9d7a41e67817cee73"},{"sha":"ca7f40f975c9a2fea418e3f2fd6c5d434b6f64f5","author":{"name":"Matthias Volk","email":"9310d0a505e8fb21922980a21346838be64b4017@cs.rwth-aachen.de"},"message":"Fixed bisimulation test","distinct":true,"url":"https://api.github.com/repos/moves-rwth/stormpy/commits/ca7f40f975c9a2fea418e3f2fd6c5d434b6f64f5"},{"sha":"3df8f71c0af23d1401640fbe6ea68e3de7b93013","author":{"name":"Matthias Volk","email":"9310d0a505e8fb21922980a21346838be64b4017@cs.rwth-aachen.de"},"message":"Use given storm-dir for checking if dft is available","distinct":true,"url":"https://api.github.com/repos/moves-rwth/stormpy/commits/3df8f71c0af23d1401640fbe6ea68e3de7b93013"},{"sha":"790c62a48abac0f581e860fd31ebe6c7f709b727","author":{"name":"Matthias Volk","email":"9310d0a505e8fb21922980a21346838be64b4017@cs.rwth-aachen.de"},"message":"Check if DFT support was built","distinct":true,"url":"https://api.github.com/repos/moves-rwth/stormpy/commits/790c62a48abac0f581e860fd31ebe6c7f709b727"},{"sha":"b913f216b426b6d79e729e28b6186891963d6d0d","author":{"name":"Matthias Volk","email":"9310d0a505e8fb21922980a21346838be64b4017@cs.rwth-aachen.de"},"message":"Smaller bisimulation model which takes less time","distinct":true,"url":"https://api.github.com/repos/moves-rwth/stormpy/commits/b913f216b426b6d79e729e28b6186891963d6d0d"}]}
{"actor":{"display_login":"i2git"}}