{"push_id":2967550339,"size":17,"distinct_size":7,"ref":"refs/heads/master","head":"f40b954b3c6b47024433fef31e4c9abc173ab8e0","before":"5e02fe5634a1f64dd5c8b8565f0b53fc5732cb72","commits":[{"sha":"1d39ff545dd7f78c4a9afa955a6162d48b0582e6","author":{"name":"Arnd Hartmanns","email":"e7be966c0b93536d670d6e5ed69a372c2eb53d9b@utwente.nl"},"message":"Website/benchmarks: Corrected filtering in results browser.","distinct":false,"url":"https://api.github.com/repos/tquatmann/qcomp/commits/1d39ff545dd7f78c4a9afa955a6162d48b0582e6"},{"sha":"b958c84b16e595c818ccdc2c461252dcc1b13d67","author":{"name":"Arnd Hartmanns","email":"e7be966c0b93536d670d6e5ed69a372c2eb53d9b@utwente.nl"},"message":"Website/competition: Added PRISM as participating tool.","distinct":false,"url":"https://api.github.com/repos/tquatmann/qcomp/commits/b958c84b16e595c818ccdc2c461252dcc1b13d67"},{"sha":"1441deb95b4ff75339c676734dd4d27dd1f9fa6d","author":{"name":"Arnd Hartmanns","email":"e7be966c0b93536d670d6e5ed69a372c2eb53d9b@utwente.nl"},"message":"Website/benchmarks: Added bar chart display in results browser.","distinct":false,"url":"https://api.github.com/repos/tquatmann/qcomp/commits/1441deb95b4ff75339c676734dd4d27dd1f9fa6d"},{"sha":"cb229016a431c464eab6785069f2bdbecb0ca06f","author":{"name":"Tim Quatmann","email":"202554f342986a2e62162777f073e0811583efca@cs.rwth-aachen.de"},"message":"Website/benchmarks: Updated conversion site to respect recent changes in Storm.","distinct":false,"url":"https://api.github.com/repos/tquatmann/qcomp/commits/cb229016a431c464eab6785069f2bdbecb0ca06f"},{"sha":"6240eb4e7a139b37fc5275f2b41f8132b7ca3c9f","author":{"name":"Arnd Hartmanns","email":"e7be966c0b93536d670d6e5ed69a372c2eb53d9b@utwente.nl"},"message":"Website/benchmarks: Improved results browser.","distinct":false,"url":"https://api.github.com/repos/tquatmann/qcomp/commits/6240eb4e7a139b37fc5275f2b41f8132b7ca3c9f"},{"sha":"07937d8d900a8539da8202583033dcd4c40e00ca","author":{"name":"Tim Quatmann","email":"202554f342986a2e62162777f073e0811583efca@cs.rwth-aachen.de"},"message":"Website/benchmarks: Allow multiple authors.","distinct":false,"url":"https://api.github.com/repos/tquatmann/qcomp/commits/07937d8d900a8539da8202583033dcd4c40e00ca"},{"sha":"42bac7624f16b7f9f8e80f82bdbb261f67b1c9f2","author":{"name":"Enno Ruijters","email":"aa7df1bde444a373e4732e965bebffb7c98ac324@utwente.nl"},"message":"benchmarks/ma/ftpp: Added the ftpp model.","distinct":false,"url":"https://api.github.com/repos/tquatmann/qcomp/commits/42bac7624f16b7f9f8e80f82bdbb261f67b1c9f2"},{"sha":"f28f91ca9589838a946503fb16ad805ded170652","author":{"name":"Enno Ruijters","email":"aa7df1bde444a373e4732e965bebffb7c98ac324@utwente.nl"},"message":"benchmarks/ma/ftpp: Fixed corruption in .jani files.","distinct":false,"url":"https://api.github.com/repos/tquatmann/qcomp/commits/f28f91ca9589838a946503fb16ad805ded170652"},{"sha":"748f77fd95dc579e1c8e8c275c9a8e60b157b65c","author":{"name":"Tim Quatmann","email":"202554f342986a2e62162777f073e0811583efca@cs.rwth-aachen.de"},"message":"Website/benchmarks: Display rational value results.","distinct":false,"url":"https://api.github.com/repos/tquatmann/qcomp/commits/748f77fd95dc579e1c8e8c275c9a8e60b157b65c"},{"sha":"530186199e08904b8f020753e2e095a146c92621","author":{"name":"Tim Quatmann","email":"202554f342986a2e62162777f073e0811583efca@cs.rwth-aachen.de"},"message":"Website/benchmarks: Show preprocessing steps for results.","distinct":false,"url":"https://api.github.com/repos/tquatmann/qcomp/commits/530186199e08904b8f020753e2e095a146c92621"},{"sha":"1bfc94f27003b463fbaee6933fe66a7299580fd2","author":{"name":"Tim Quatmann","email":"202554f342986a2e62162777f073e0811583efca@cs.rwth-aachen.de"},"message":"benchmarks: Added reference results to various models.","distinct":true,"url":"https://api.github.com/repos/tquatmann/qcomp/commits/1bfc94f27003b463fbaee6933fe66a7299580fd2"},{"sha":"89335d30089e98a38e708c3b149e22942a07962f","author":{"name":"Tim Quatmann","email":"202554f342986a2e62162777f073e0811583efca@cs.rwth-aachen.de"},"message":"Website/benchmarks: Added new property types.","distinct":true,"url":"https://api.github.com/repos/tquatmann/qcomp/commits/89335d30089e98a38e708c3b149e22942a07962f"},{"sha":"9026c1e4b0890086789d0ce2545407974d07d022","author":{"name":"Tim Quatmann","email":"202554f342986a2e62162777f073e0811583efca@cs.rwth-aachen.de"},"message":"benchmarks: Added all PRISM models and properties from the PRISM benchmark suite.","distinct":true,"url":"https://api.github.com/repos/tquatmann/qcomp/commits/9026c1e4b0890086789d0ce2545407974d07d022"},{"sha":"f786bdb2c3d1517705f39d90b5e22cd1848b2546","author":{"name":"Tim Quatmann","email":"202554f342986a2e62162777f073e0811583efca@cs.rwth-aachen.de"},"message":"benchmarks: Added results of executing Storm on the new models from the PRISM benchmark suite and applied minor corrections to metadata.","distinct":true,"url":"https://api.github.com/repos/tquatmann/qcomp/commits/f786bdb2c3d1517705f39d90b5e22cd1848b2546"},{"sha":"b69a04563006fbfb25b902fa643b5b93bff5316b","author":{"name":"Arnd Hartmanns","email":"e7be966c0b93536d670d6e5ed69a372c2eb53d9b@utwente.nl"},"message":"benchmarks/pta/brp-pta: Renamed the Modest PTA model of the bounded retransmission protocol to brp-pta for disambiguation.","distinct":true,"url":"https://api.github.com/repos/tquatmann/qcomp/commits/b69a04563006fbfb25b902fa643b5b93bff5316b"},{"sha":"75a4b22e8c66dfdacb3f8f19cd30aa852f24930f","author":{"name":"TimQu","email":"202554f342986a2e62162777f073e0811583efca@cs.rwth-aachen.de"},"message":"Merge remote-tracking branch 'ahQcomp/master'","distinct":true,"url":"https://api.github.com/repos/tquatmann/qcomp/commits/75a4b22e8c66dfdacb3f8f19cd30aa852f24930f"},{"sha":"f40b954b3c6b47024433fef31e4c9abc173ab8e0","author":{"name":"Tim Quatmann","email":"202554f342986a2e62162777f073e0811583efca@cs.rwth-aachen.de"},"message":"Merge remote-tracking branch 'tqQcomp/master'","distinct":true,"url":"https://api.github.com/repos/tquatmann/qcomp/commits/f40b954b3c6b47024433fef31e4c9abc173ab8e0"}]}
{"actor":{"display_login":"tquatmann"}}