{"push_id":3059749214,"size":222,"distinct_size":222,"ref":"refs/heads/master","head":"c6c909c5bcb6fc2daa80f45638fcf3eddd577674","before":"8cccbefe6bf66470614acc85c203f87259301618","commits":[{"sha":"bc3646604de6aa91029fca78d4852ba145edf6f3","author":{"name":"sjunges","email":"8ee0871ca771d6f2ecbff11a0ff578a8334a7353@gmail.com"},"message":"Extend ModelType with an entry for POMDPs","distinct":true,"url":"https://api.github.com/repos/volkm/storm/commits/bc3646604de6aa91029fca78d4852ba145edf6f3"},{"sha":"bbb4d16965c657cfabec16677057969a39f50a5f","author":{"name":"sjunges","email":"8ee0871ca771d6f2ecbff11a0ff578a8334a7353@gmail.com"},"message":"towards support for pomdps in storm","distinct":true,"url":"https://api.github.com/repos/volkm/storm/commits/bbb4d16965c657cfabec16677057969a39f50a5f"},{"sha":"63fd02937f9e0ee25e01abe59e9d01a18abe4644","author":{"name":"Sebastian Junges","email":"8ee0871ca771d6f2ecbff11a0ff578a8334a7353@rwth-aachen.de"},"message":"pomdps","distinct":true,"url":"https://api.github.com/repos/volkm/storm/commits/63fd02937f9e0ee25e01abe59e9d01a18abe4644"},{"sha":"09dcb149c253b9e781b4fd4495156fe1ed8262d6","author":{"name":"Sebastian Junges","email":"8ee0871ca771d6f2ecbff11a0ff578a8334a7353@rwth-aachen.de"},"message":"storm parses and builds pomdps","distinct":true,"url":"https://api.github.com/repos/volkm/storm/commits/09dcb149c253b9e781b4fd4495156fe1ed8262d6"},{"sha":"ebb0a30cc668f451a2941756a6e2b00c5962f286","author":{"name":"Sebastian Junges","email":"8ee0871ca771d6f2ecbff11a0ff578a8334a7353@rwth-aachen.de"},"message":"Merge branch 'master' into pomdp_datastructures","distinct":true,"url":"https://api.github.com/repos/volkm/storm/commits/ebb0a30cc668f451a2941756a6e2b00c5962f286"},{"sha":"fb8dd88314ab889d21efb3b1bae103f10452b34f","author":{"name":"Sebastian Junges","email":"8ee0871ca771d6f2ecbff11a0ff578a8334a7353@rwth-aachen.de"},"message":"fixes in parsing, support for POMDPs in DRN","distinct":true,"url":"https://api.github.com/repos/volkm/storm/commits/fb8dd88314ab889d21efb3b1bae103f10452b34f"},{"sha":"790fbffd6df386ffdbb995449dea664e6c47b8fd","author":{"name":"Sebastian Junges","email":"8ee0871ca771d6f2ecbff11a0ff578a8334a7353@rwth-aachen.de"},"message":"pomdps in an own cli, support for application of stochastic schedulers, etc","distinct":true,"url":"https://api.github.com/repos/volkm/storm/commits/790fbffd6df386ffdbb995449dea664e6c47b8fd"},{"sha":"5931e19a0951155f24b2c242dca9e7f6d9c2b666","author":{"name":"sjunges","email":"8ee0871ca771d6f2ecbff11a0ff578a8334a7353@gmail.com"},"message":"Merge branch 'master' into pomdp_datastructures","distinct":true,"url":"https://api.github.com/repos/volkm/storm/commits/5931e19a0951155f24b2c242dca9e7f6d9c2b666"},{"sha":"10b1f65840903173d4ab3148b57a210bd9a3aa25","author":{"name":"sjunges","email":"8ee0871ca771d6f2ecbff11a0ff578a8334a7353@gmail.com"},"message":"eliminating selfloops in pomdps","distinct":true,"url":"https://api.github.com/repos/volkm/storm/commits/10b1f65840903173d4ab3148b57a210bd9a3aa25"},{"sha":"d4980ca325bf8ba65a832e562efb05d0a8397b7e","author":{"name":"Sebastian Junges","email":"8ee0871ca771d6f2ecbff11a0ff578a8334a7353@rwth-aachen.de"},"message":"intermediate commit","distinct":true,"url":"https://api.github.com/repos/volkm/storm/commits/d4980ca325bf8ba65a832e562efb05d0a8397b7e"},{"sha":"9314d99354a1e9ff445e5eb59345774ab6043bab","author":{"name":"sjunges","email":"8ee0871ca771d6f2ecbff11a0ff578a8334a7353@gmail.com"},"message":"allow inference from actions, but only with a set option","distinct":true,"url":"https://api.github.com/repos/volkm/storm/commits/9314d99354a1e9ff445e5eb59345774ab6043bab"},{"sha":"6ab286f4204ffcd83035d9dd60882c2b7d813933","author":{"name":"Sebastian Junges","email":"8ee0871ca771d6f2ecbff11a0ff578a8334a7353@rwth-aachen.de"},"message":"remove output, copy observability when modules are used","distinct":true,"url":"https://api.github.com/repos/volkm/storm/commits/6ab286f4204ffcd83035d9dd60882c2b7d813933"},{"sha":"c9064a2bf0441122b93afb26b1b4724a8cfc09f6","author":{"name":"sjunges","email":"8ee0871ca771d6f2ecbff11a0ff578a8334a7353@gmail.com"},"message":"Merge branch 'pomdp_datastructures' of https://srv-i2.informatik.rwth-aachen.de/scm/git/storm into pomdp_datastructures","distinct":true,"url":"https://api.github.com/repos/volkm/storm/commits/c9064a2bf0441122b93afb26b1b4724a8cfc09f6"},{"sha":"3ac42caf7cd2aa8b939af54ab384473603ebaf59","author":{"name":"sjunges","email":"8ee0871ca771d6f2ecbff11a0ff578a8334a7353@gmail.com"},"message":"extensions to pomdp stuff","distinct":true,"url":"https://api.github.com/repos/volkm/storm/commits/3ac42caf7cd2aa8b939af54ab384473603ebaf59"},{"sha":"8e92d1a44b41d3d7e63b099f44c52111a58a7fa2","author":{"name":"TimQu","email":"202554f342986a2e62162777f073e0811583efca@cs.rwth-aachen.de"},"message":"fixed typo","distinct":true,"url":"https://api.github.com/repos/volkm/storm/commits/8e92d1a44b41d3d7e63b099f44c52111a58a7fa2"},{"sha":"412ecbcd362328a6996b34b1adb5d497a564485a","author":{"name":"TimQu","email":"202554f342986a2e62162777f073e0811583efca@cs.rwth-aachen.de"},"message":"Qualitative analysis of pomdps","distinct":true,"url":"https://api.github.com/repos/volkm/storm/commits/412ecbcd362328a6996b34b1adb5d497a564485a"},{"sha":"1d1a198f5e9bd04f42d62602c97c180c243cd630","author":{"name":"TimQu","email":"202554f342986a2e62162777f073e0811583efca@cs.rwth-aachen.de"},"message":"generalizing the Selfloop elimination ideo to MECs","distinct":true,"url":"https://api.github.com/repos/volkm/storm/commits/1d1a198f5e9bd04f42d62602c97c180c243cd630"},{"sha":"88339f4cffa3bfddba7af34fdeb06a55ab4b45a9","author":{"name":"TimQu","email":"202554f342986a2e62162777f073e0811583efca@cs.rwth-aachen.de"},"message":"invoking new functionalities in the cli. Also silenced some debug output","distinct":true,"url":"https://api.github.com/repos/volkm/storm/commits/88339f4cffa3bfddba7af34fdeb06a55ab4b45a9"},{"sha":"4e79e8715b898ef6882f573a8fe8da593bb808a0","author":{"name":"TimQu","email":"202554f342986a2e62162777f073e0811583efca@cs.rwth-aachen.de"},"message":"Merge branch 'master' into pomdp_datastructures","distinct":true,"url":"https://api.github.com/repos/volkm/storm/commits/4e79e8715b898ef6882f573a8fe8da593bb808a0"},{"sha":"de86713226496f05322d0b67412680e8e95063b3","author":{"name":"Sebastian Junges","email":"8ee0871ca771d6f2ecbff11a0ff578a8334a7353@rwth-aachen.de"},"message":"Merge branch 'master' into pomdp_datastructures","distinct":true,"url":"https://api.github.com/repos/volkm/storm/commits/de86713226496f05322d0b67412680e8e95063b3"}]}
{"actor":{"display_login":"volkm"}}