{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":71395504,"defaultBranch":"master","name":"storm","ownerLogin":"moves-rwth","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-10-19T20:14:18.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/22944638?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1708430611.0","currentOid":""},"activityList":{"items":[{"before":"d2881a0c9d11c726f5bed78b233f386905795615","after":"5885efda9e85e3db57f7a50180ee95920665e32b","ref":"refs/heads/master","pushedAt":"2024-04-23T08:11:02.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tquatmann","name":"Tim Quatmann","path":"/tquatmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17703338?s=80&v=4"},"commit":{"message":"Add missing include (#525)","shortMessageHtmlLink":"Add missing include (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2252436631\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/525\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/525/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/525\">#525</a>)"}},{"before":"5c89b2d1051b3abdbb8659101d60331c680b7050","after":"d2881a0c9d11c726f5bed78b233f386905795615","ref":"refs/heads/master","pushedAt":"2024-04-11T13:47:06.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tquatmann","name":"Tim Quatmann","path":"/tquatmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17703338?s=80&v=4"},"commit":{"message":"Jani builder: Fix referring to the wrong kind of automaton index (#519)\n\nThis fixes a small error introduced in PR #507","shortMessageHtmlLink":"Jani builder: Fix referring to the wrong kind of automaton index (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2237179666\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/519\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/519/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/519\">#519</a>)"}},{"before":"ab67b4fd1846aadf720350f71927932bc8a75d10","after":"5c89b2d1051b3abdbb8659101d60331c680b7050","ref":"refs/heads/master","pushedAt":"2024-03-26T18:23:02.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tquatmann","name":"Tim Quatmann","path":"/tquatmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17703338?s=80&v=4"},"commit":{"message":"Fixed wrong size threshold if exploration time limit is given (#510)","shortMessageHtmlLink":"Fixed wrong size threshold if exploration time limit is given (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2169467697\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/510\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/510/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/510\">#510</a>)"}},{"before":"661f59e55367862bf2b15bfda9a59161be5cc87f","after":"ab67b4fd1846aadf720350f71927932bc8a75d10","ref":"refs/heads/master","pushedAt":"2024-03-25T18:14:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tquatmann","name":"Tim Quatmann","path":"/tquatmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17703338?s=80&v=4"},"commit":{"message":"Optimization of robust VI (#512)\n\n* Optimization of robust VI\r\n\r\nCo-authored-by: Linus Heck <linus.heck@ru.nl>","shortMessageHtmlLink":"Optimization of robust VI (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2188500582\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/512\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/512/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/512\">#512</a>)"}},{"before":"8163e3c5e698fdac9b1ac8ed461d1b51ed9fc832","after":"661f59e55367862bf2b15bfda9a59161be5cc87f","ref":"refs/heads/master","pushedAt":"2024-03-07T12:06:47.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tquatmann","name":"Tim Quatmann","path":"/tquatmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17703338?s=80&v=4"},"commit":{"message":"Fix jani functions in properties (#503)\n\n* Fix jani functions in properties\r\n\r\nPreviously, functions occurring in properties were not handled correctly.\r\nThis was the case because all functions declared in the model were eliminated before simplifying the properties. See `preprocessSymbolicInput` in model-handling.h, where the SymbolicModelDescription is preprocessed before the Jani model is simplified.\r\n\r\n* JaniBuilderTests now respect the features supported by the corresponding model builder.","shortMessageHtmlLink":"Fix jani functions in properties (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2143946534\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/503\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/503/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/503\">#503</a>)"}},{"before":"5b662c76549558750938fdb980c5727b062d662d","after":"8163e3c5e698fdac9b1ac8ed461d1b51ed9fc832","ref":"refs/heads/master","pushedAt":"2024-03-07T12:01:00.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tquatmann","name":"Tim Quatmann","path":"/tquatmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17703338?s=80&v=4"},"commit":{"message":"Fixes for explicit jani model builder (#507)\n\n- Fixed building JANI models that use the same automaton multiple times in their system composition. Previously, the different instances referred to the same expression variables for the automaton location and local variables.\r\n\r\n- Fixed building JaniChoiceOrigins which previously referred to internal automata indices and not the ones from the JANI model.","shortMessageHtmlLink":"Fixes for explicit jani model builder (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2146853761\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/507\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/507/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/507\">#507</a>)"}},{"before":"c42ab8893556c017b79482377b58dc15bdb0efb2","after":"5b662c76549558750938fdb980c5727b062d662d","ref":"refs/heads/master","pushedAt":"2024-03-04T09:35:01.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tquatmann","name":"Tim Quatmann","path":"/tquatmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17703338?s=80&v=4"},"commit":{"message":"Better error message when checking instantaneous reward formula without state rewards. (#508)\n\nThe former message was a bit misleading.","shortMessageHtmlLink":"Better error message when checking instantaneous reward formula witho…"}},{"before":"5247adc777c494f336ba33353bd88f15d85ef793","after":"c42ab8893556c017b79482377b58dc15bdb0efb2","ref":"refs/heads/master","pushedAt":"2024-02-21T11:52:14.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"volkm","name":"Matthias Volk","path":"/volkm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24915841?s=80&v=4"},"commit":{"message":"CI: bumped Github action versions (#506)","shortMessageHtmlLink":"CI: bumped Github action versions (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2144224418\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/506\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/506/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/506\">#506</a>)"}},{"before":"e17f9859599fa708ceee1bfe85a37c1f905120d6","after":null,"ref":"refs/heads/ci/apply-code-format","pushedAt":"2024-02-20T12:03:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"volkm","name":"Matthias Volk","path":"/volkm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24915841?s=80&v=4"}},{"before":"68b04cd6aa09483ea779cfc4d0fbb20f5cd62eb5","after":"5247adc777c494f336ba33353bd88f15d85ef793","ref":"refs/heads/master","pushedAt":"2024-02-20T11:57:22.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"tquatmann","name":"Tim Quatmann","path":"/tquatmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17703338?s=80&v=4"},"commit":{"message":"Merge pull request #505 from moves-rwth/ci/apply-code-format\n\nCode formatting","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2144032367\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/505\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/505/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/505\">#505</a> from moves-rwth/ci/apply-code-format"}},{"before":null,"after":"e17f9859599fa708ceee1bfe85a37c1f905120d6","ref":"refs/heads/ci/apply-code-format","pushedAt":"2024-02-20T10:20:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Add code formatting commit to .git-blame-ignore-revs","shortMessageHtmlLink":"Add code formatting commit to .git-blame-ignore-revs"}},{"before":"24cb52a9959cb11d55c525cf5dab31e94cfb6390","after":"68b04cd6aa09483ea779cfc4d0fbb20f5cd62eb5","ref":"refs/heads/master","pushedAt":"2024-02-20T09:54:18.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tquatmann","name":"Tim Quatmann","path":"/tquatmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17703338?s=80&v=4"},"commit":{"message":"Use clang-format 17 in CI","shortMessageHtmlLink":"Use clang-format 17 in CI"}},{"before":"778c191350a42752a7f64c784d4f4ae92fd3d30d","after":"24cb52a9959cb11d55c525cf5dab31e94cfb6390","ref":"refs/heads/master","pushedAt":"2024-02-14T09:12:10.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tquatmann","name":"Tim Quatmann","path":"/tquatmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17703338?s=80&v=4"},"commit":{"message":"replace print with logging when computing expected visits (#501)\n\n* replace STORM_PRINT with STORM_LOG_INFO\r\n\r\n---------\r\n\r\nCo-authored-by: Roman Andriushchenko <iandri@fit.vut.cz>","shortMessageHtmlLink":"replace print with logging when computing expected visits (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2132216997\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/501\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/501/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/501\">#501</a>)"}},{"before":"291a70158b412ce218a5ba70bf1b3edfb7430b53","after":"778c191350a42752a7f64c784d4f4ae92fd3d30d","ref":"refs/heads/master","pushedAt":"2024-02-11T11:36:01.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sjunges","name":"Sebastian Junges","path":"/sjunges","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13627276?s=80&v=4"},"commit":{"message":"interval model checking fix for postprocessing results (#500)","shortMessageHtmlLink":"interval model checking fix for postprocessing results (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2128311972\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/500\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/500/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/500\">#500</a>)"}},{"before":"15d8a5ac28138a946794588de9c978d5908ee1f9","after":"291a70158b412ce218a5ba70bf1b3edfb7430b53","ref":"refs/heads/master","pushedAt":"2024-02-09T11:51:54.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tquatmann","name":"Tim Quatmann","path":"/tquatmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17703338?s=80&v=4"},"commit":{"message":"Better automatic detection of available threads (fixes #495) (#497)\n\n\r\n* consider limit imposed by SLURM\r\n* consider limit imposed by cgroups (e.g. Docker)\r\n* print how many threads are used by sylvan","shortMessageHtmlLink":"Better automatic detection of available threads (<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #495.\">fixes</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2100074553\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/495\" data-hovercard-type=\"issue\" data-hovercard-url=\"/moves-rwth/storm/issues/495/hovercard\" href=\"https://github.com/moves-rwth/storm/issues/495\">#495</a>) (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2104351081\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/497\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/497/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/497\">#497</a>)"}},{"before":"e62e04f454a4632f3396bc1ee681e0bed730a7f5","after":"15d8a5ac28138a946794588de9c978d5908ee1f9","ref":"refs/heads/master","pushedAt":"2024-01-27T15:36:28.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sjunges","name":"Sebastian Junges","path":"/sjunges","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13627276?s=80&v=4"},"commit":{"message":"fix warnings (#488)","shortMessageHtmlLink":"fix warnings (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2064542636\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/488\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/488/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/488\">#488</a>)"}},{"before":"6f2049997eba9dcd8aa7e9f529985f7798aa2fc4","after":"e62e04f454a4632f3396bc1ee681e0bed730a7f5","ref":"refs/heads/master","pushedAt":"2024-01-25T08:16:52.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tquatmann","name":"Tim Quatmann","path":"/tquatmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17703338?s=80&v=4"},"commit":{"message":"Fixed DdPrismModelBuilder (#494)\n\nThe bug could occur when the same action appeared in multiple modules and multiple commands, see the added test case.\r\n\r\nCo-authored-by: Matthias Volk <volkm@users.noreply.github.com>","shortMessageHtmlLink":"Fixed DdPrismModelBuilder (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2099621142\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/494\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/494/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/494\">#494</a>)"}},{"before":"b9c33e4ac1911336a5454bfcf102e63ebfb804b5","after":"6f2049997eba9dcd8aa7e9f529985f7798aa2fc4","ref":"refs/heads/master","pushedAt":"2024-01-24T10:13:58.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tquatmann","name":"Tim Quatmann","path":"/tquatmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17703338?s=80&v=4"},"commit":{"message":"Improved expected visiting times (EVTs) and steady state distribution computations (#493)\n\n--sound mode now works properly with correct accuracy using OVI and II for EVTs.\r\nSteady-state distributions can now be computed using a reduction to EVT-based computations.\r\n\r\nUsing --expvisittimes --prop 'Phi' now restricts the result to states satisfying qualitative formula Phi.\r\n--steadystate --prop 'Phi' works similarly.\r\n\r\nCo-authored-by: m-hannah <hannah.mertens@rwth-aachen.de>","shortMessageHtmlLink":"Improved expected visiting times (EVTs) and steady state distribution…"}},{"before":"4ce651794b2aaea71028a9cdeeae721dd9f021f5","after":"b9c33e4ac1911336a5454bfcf102e63ebfb804b5","ref":"refs/heads/master","pushedAt":"2024-01-08T09:30:05.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tquatmann","name":"Tim Quatmann","path":"/tquatmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17703338?s=80&v=4"},"commit":{"message":"Fixed canHandle check for exploration and abstraction engine (#491)\n\nFixes #250","shortMessageHtmlLink":"Fixed canHandle check for exploration and abstraction engine (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2067103082\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/491\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/491/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/491\">#491</a>)"}},{"before":"4c68adaa4447fc5576c1350794867cb85cee1099","after":"4ce651794b2aaea71028a9cdeeae721dd9f021f5","ref":"refs/heads/master","pushedAt":"2024-01-07T21:39:13.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sjunges","name":"Sebastian Junges","path":"/sjunges","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13627276?s=80&v=4"},"commit":{"message":"disable all kind of warnings when setting clang-allwarnings (#490)\n\n* disable all kind of warnings when setting clang-allwarnings","shortMessageHtmlLink":"disable all kind of warnings when setting clang-allwarnings (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2064544047\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/490\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/490/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/490\">#490</a>)"}},{"before":"9c444e6dfe5b5ece8be3b510146ec77cfef02be4","after":"4c68adaa4447fc5576c1350794867cb85cee1099","ref":"refs/heads/master","pushedAt":"2024-01-07T21:38:36.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sjunges","name":"Sebastian Junges","path":"/sjunges","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13627276?s=80&v=4"},"commit":{"message":"some additional precompiled headers and using pch in binaries (#489)","shortMessageHtmlLink":"some additional precompiled headers and using pch in binaries (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2064543376\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/489\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/489/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/489\">#489</a>)"}},{"before":"abfee45bbfd0a3068bd26b1339ff7806f4a54aa9","after":"9c444e6dfe5b5ece8be3b510146ec77cfef02be4","ref":"refs/heads/master","pushedAt":"2024-01-03T06:24:57.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sjunges","name":"Sebastian Junges","path":"/sjunges","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13627276?s=80&v=4"},"commit":{"message":"remove if/else with duplicate code (#485)","shortMessageHtmlLink":"remove if/else with duplicate code (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2062897916\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/485\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/485/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/485\">#485</a>)"}},{"before":"c93e307706b1e5e3eb55c0ae4429b19a48bb8cba","after":"abfee45bbfd0a3068bd26b1339ff7806f4a54aa9","ref":"refs/heads/master","pushedAt":"2024-01-03T06:24:37.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sjunges","name":"Sebastian Junges","path":"/sjunges","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13627276?s=80&v=4"},"commit":{"message":"fix unused parameter warning (#487)","shortMessageHtmlLink":"fix unused parameter warning (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2063002365\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/487\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/487/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/487\">#487</a>)"}},{"before":"afc9784404ca54726ca6263d38cb7437487f8a41","after":"c93e307706b1e5e3eb55c0ae4429b19a48bb8cba","ref":"refs/heads/master","pushedAt":"2024-01-02T18:52:14.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"volkm","name":"Matthias Volk","path":"/volkm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24915841?s=80&v=4"},"commit":{"message":"Removed warnings in tests (#484)","shortMessageHtmlLink":"Removed warnings in tests (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2062716616\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/484\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/484/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/484\">#484</a>)"}},{"before":"776c25d4500e1bb0f8c8f959f440bdad6dc8c3c7","after":"afc9784404ca54726ca6263d38cb7437487f8a41","ref":"refs/heads/master","pushedAt":"2024-01-02T16:05:45.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"volkm","name":"Matthias Volk","path":"/volkm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24915841?s=80&v=4"},"commit":{"message":"Fixed warnings for comparisons in tests (#483)","shortMessageHtmlLink":"Fixed warnings for comparisons in tests (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2061820591\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/483\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/483/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/483\">#483</a>)"}},{"before":"6ae97cb7d9ee9d3c20d507442613e050775e6889","after":"776c25d4500e1bb0f8c8f959f440bdad6dc8c3c7","ref":"refs/heads/master","pushedAt":"2024-01-02T11:51:57.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sjunges","name":"Sebastian Junges","path":"/sjunges","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13627276?s=80&v=4"},"commit":{"message":"remove dead code and unused parameters (#481)","shortMessageHtmlLink":"remove dead code and unused parameters (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2061028036\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/481\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/481/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/481\">#481</a>)"}},{"before":"8176fb1c38d9f5a03c8c86ebf1571f5cff4be7dc","after":"6ae97cb7d9ee9d3c20d507442613e050775e6889","ref":"refs/heads/master","pushedAt":"2024-01-02T11:51:27.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sjunges","name":"Sebastian Junges","path":"/sjunges","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13627276?s=80&v=4"},"commit":{"message":"fix warnings (#482)","shortMessageHtmlLink":"fix warnings (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2061028090\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/482\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/482/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/482\">#482</a>)"}},{"before":"88bdb7c1e3608a88b6a676e03b3516ac58afbdb9","after":"8176fb1c38d9f5a03c8c86ebf1571f5cff4be7dc","ref":"refs/heads/master","pushedAt":"2023-12-30T18:19:59.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sjunges","name":"Sebastian Junges","path":"/sjunges","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13627276?s=80&v=4"},"commit":{"message":"remove unused parameter (#480)","shortMessageHtmlLink":"remove unused parameter (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2060784612\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/480\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/480/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/480\">#480</a>)"}},{"before":"28049b2219e88eba9c48eb4aa6379a4396c8b2ed","after":"88bdb7c1e3608a88b6a676e03b3516ac58afbdb9","ref":"refs/heads/master","pushedAt":"2023-12-30T18:19:21.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sjunges","name":"Sebastian Junges","path":"/sjunges","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13627276?s=80&v=4"},"commit":{"message":"fix warning (#479)","shortMessageHtmlLink":"fix warning (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2060782000\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/479\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/479/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/479\">#479</a>)"}},{"before":"48ae632730a3dfacaea1bb2b6226720db2e3d110","after":"28049b2219e88eba9c48eb4aa6379a4396c8b2ed","ref":"refs/heads/master","pushedAt":"2023-12-30T10:37:33.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sjunges","name":"Sebastian Junges","path":"/sjunges","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13627276?s=80&v=4"},"commit":{"message":"removed buggy transformer to eliminate constant rewards (#478)\n\ntransformer worked by adding self-loops. A fixed version can be added later","shortMessageHtmlLink":"removed buggy transformer to eliminate constant rewards (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2058457278\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/478\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/478/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/478\">#478</a>)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEN86hDAA","startCursor":null,"endCursor":null}},"title":"Activity · moves-rwth/storm"}