{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":2066905,"defaultBranch":"master","name":"analyzer","ownerLogin":"goblint","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2011-07-18T15:10:56.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/917621?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1717157007.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"5487a88ddafd3d48662d4e859eac18f0302e0788","ref":"refs/heads/todo-passing-incremental","pushedAt":"2024-05-31T12:03:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sim642","name":"Simmo Saan","path":"/sim642","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/378740?s=80&v=4"},"commit":{"message":"Remove unused CompareAST.eq_init","shortMessageHtmlLink":"Remove unused CompareAST.eq_init"}},{"before":"07f539ffd4433913c087fb5d99f9bb5e5db3bc3f","after":"24d273bd0b44e98f523d6fea680ec5afb77768de","ref":"refs/heads/finiteset-refactor","pushedAt":"2024-05-31T11:48:43.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"sim642","name":"Simmo Saan","path":"/sim642","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/378740?s=80&v=4"},"commit":{"message":"Remove unnecessary warn.debug from first analysis tutorial","shortMessageHtmlLink":"Remove unnecessary warn.debug from first analysis tutorial"}},{"before":null,"after":"07f539ffd4433913c087fb5d99f9bb5e5db3bc3f","ref":"refs/heads/finiteset-refactor","pushedAt":"2024-05-31T11:33:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sim642","name":"Simmo Saan","path":"/sim642","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/378740?s=80&v=4"},"commit":{"message":"Update first analysis tutorial regarding SetDomain.FiniteSet","shortMessageHtmlLink":"Update first analysis tutorial regarding SetDomain.FiniteSet"}},{"before":"caa8437fcbdbd2182c2f8a6aa50ea33a72ad58cb","after":"e1462b308d7695b37ac9041b1a465c70bdc15657","ref":"refs/heads/lin2var-coefficients","pushedAt":"2024-05-29T12:58:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DrMichaelPetter","name":"Michael Petter","path":"/DrMichaelPetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9989132?s=80&v=4"},"commit":{"message":"fixed forget_variable by a) sorting vars in cluster and b) rehauling cluster transformation with subst/inverse convenience functions","shortMessageHtmlLink":"fixed forget_variable by a) sorting vars in cluster and b) rehauling …"}},{"before":"075f2e858293e899f6f27f066629d27a2f62b306","after":"caa8437fcbdbd2182c2f8a6aa50ea33a72ad58cb","ref":"refs/heads/lin2var-coefficients","pushedAt":"2024-05-29T11:18:11.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"DrMichaelPetter","name":"Michael Petter","path":"/DrMichaelPetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9989132?s=80&v=4"},"commit":{"message":"forget did not forget about the actual head-variable of the new cluster","shortMessageHtmlLink":"forget did not forget about the actual head-variable of the new cluster"}},{"before":"31bb80289111c688bbfc04cbf27a9965d1c43ca8","after":"075f2e858293e899f6f27f066629d27a2f62b306","ref":"refs/heads/lin2var-coefficients","pushedAt":"2024-05-28T13:57:12.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"DrMichaelPetter","name":"Michael Petter","path":"/DrMichaelPetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9989132?s=80&v=4"},"commit":{"message":"fix unmatched monom in forget_variable","shortMessageHtmlLink":"fix unmatched monom in forget_variable"}},{"before":null,"after":"ab78123429e6805415a97a4ecd737008ff3a5411","ref":"refs/heads/issue_1328","pushedAt":"2024-05-28T08:33:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"DrMichaelPetter","name":"Michael Petter","path":"/DrMichaelPetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9989132?s=80&v=4"},"commit":{"message":"[skip ci] int_of_scalar now returning Q.t","shortMessageHtmlLink":"[skip ci] int_of_scalar now returning Q.t"}},{"before":"b9bdbedd303fe8643bbb547d0fb86f10b9038b9d","after":"e1f7a1b3243b6cae8af947e9459ca3c34738375c","ref":"refs/heads/michael-schwarz-dissertation","pushedAt":"2024-05-27T15:57:56.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"michael-schwarz","name":"Michael Schwarz","path":"/michael-schwarz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13812333?s=80&v=4"},"commit":{"message":"Also fix atomic","shortMessageHtmlLink":"Also fix atomic"}},{"before":"9b4b255f29f887b5cffb38280e7ebf86ed7cdd4c","after":"896f236c98ba829aee25e5f02cb08d4bb2bba9b1","ref":"refs/heads/issue_1489","pushedAt":"2024-05-27T15:55:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"michael-schwarz","name":"Michael Schwarz","path":"/michael-schwarz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13812333?s=80&v=4"},"commit":{"message":"Also fix atomic","shortMessageHtmlLink":"Also fix atomic"}},{"before":null,"after":"9b4b255f29f887b5cffb38280e7ebf86ed7cdd4c","ref":"refs/heads/issue_1489","pushedAt":"2024-05-27T15:46:04.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"michael-schwarz","name":"Michael Schwarz","path":"/michael-schwarz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13812333?s=80&v=4"},"commit":{"message":"Fix `mutex-meet` for malloc after thread creation","shortMessageHtmlLink":"Fix <code>mutex-meet</code> for malloc after thread creation"}},{"before":"6f02c2ab45d901bc78eedf35908b1bc9f7dd71ce","after":"31bb80289111c688bbfc04cbf27a9965d1c43ca8","ref":"refs/heads/lin2var-coefficients","pushedAt":"2024-05-27T14:11:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DrMichaelPetter","name":"Michael Petter","path":"/DrMichaelPetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9989132?s=80&v=4"},"commit":{"message":"rm Z.t->int conv issues","shortMessageHtmlLink":"rm Z.t-&gt;int conv issues"}},{"before":"9d24ee5bba6dab75b66f3ef328608d6c2150260d","after":null,"ref":"refs/heads/svcomp-abortUnless","pushedAt":"2024-05-27T13:19:05.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sim642","name":"Simmo Saan","path":"/sim642","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/378740?s=80&v=4"}},{"before":"add7a7a5e319f45834ae6e0f128d8954d8e8524d","after":"487412c1158d9c2f95c71b852334572ff052fd35","ref":"refs/heads/master","pushedAt":"2024-05-27T13:19:04.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"sim642","name":"Simmo Saan","path":"/sim642","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/378740?s=80&v=4"},"commit":{"message":"Merge pull request #1464 from goblint/svcomp-abortUnless\n\nActivate abortUnless in svcomp conf","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2295738018\" data-permission-text=\"Title is private\" data-url=\"https://github.com/goblint/analyzer/issues/1464\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/goblint/analyzer/pull/1464/hovercard\" href=\"https://github.com/goblint/analyzer/pull/1464\">#1464</a> from goblint/svcomp-abortUnless"}},{"before":"ec293bf5aa684a0de262c157a10552c8124709d0","after":null,"ref":"refs/heads/issue-1453","pushedAt":"2024-05-27T13:16:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sim642","name":"Simmo Saan","path":"/sim642","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/378740?s=80&v=4"}},{"before":"c5a6d5beb73eeb8118081d5af105a7d9010a43a6","after":"add7a7a5e319f45834ae6e0f128d8954d8e8524d","ref":"refs/heads/master","pushedAt":"2024-05-27T13:16:14.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"sim642","name":"Simmo Saan","path":"/sim642","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/378740?s=80&v=4"},"commit":{"message":"Merge pull request #1462 from goblint/issue-1453\n\nFix witness `enter` sync map when caller state changes","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2295551036\" data-permission-text=\"Title is private\" data-url=\"https://github.com/goblint/analyzer/issues/1462\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/goblint/analyzer/pull/1462/hovercard\" href=\"https://github.com/goblint/analyzer/pull/1462\">#1462</a> from goblint/issue-1453"}},{"before":"2eb044062f9a9888e409f3abb826c43169a21fbe","after":"c5a6d5beb73eeb8118081d5af105a7d9010a43a6","ref":"refs/heads/master","pushedAt":"2024-05-27T12:23:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sim642","name":"Simmo Saan","path":"/sim642","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/378740?s=80&v=4"},"commit":{"message":"Remove trailing whitespace (PR #1430)","shortMessageHtmlLink":"Remove trailing whitespace (PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2259203221\" data-permission-text=\"Title is private\" data-url=\"https://github.com/goblint/analyzer/issues/1430\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/goblint/analyzer/pull/1430/hovercard\" href=\"https://github.com/goblint/analyzer/pull/1430\">#1430</a>)"}},{"before":"58fecfb36ca0581ee19b38f4ab97e483ad7cf808","after":"ec293bf5aa684a0de262c157a10552c8124709d0","ref":"refs/heads/issue-1453","pushedAt":"2024-05-27T12:19:55.000Z","pushType":"push","commitsCount":231,"pusher":{"login":"sim642","name":"Simmo Saan","path":"/sim642","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/378740?s=80&v=4"},"commit":{"message":"Add ARG test for 56-wintess/54-witness-lifter-abortUnless","shortMessageHtmlLink":"Add ARG test for 56-wintess/54-witness-lifter-abortUnless"}},{"before":"9f0d3baacc04c2b540f8724746018b2785ee95d0","after":null,"ref":"refs/heads/arg-test","pushedAt":"2024-05-27T12:06:47.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sim642","name":"Simmo Saan","path":"/sim642","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/378740?s=80&v=4"}},{"before":"a4afdd42d4d21968b1ec0393344ece6b0c629388","after":"2eb044062f9a9888e409f3abb826c43169a21fbe","ref":"refs/heads/master","pushedAt":"2024-05-27T12:06:46.000Z","pushType":"pr_merge","commitsCount":18,"pusher":{"login":"sim642","name":"Simmo Saan","path":"/sim642","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/378740?s=80&v=4"},"commit":{"message":"Merge pull request #1470 from goblint/arg-test\n\nAdd ARG tests","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2300433480\" data-permission-text=\"Title is private\" data-url=\"https://github.com/goblint/analyzer/issues/1470\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/goblint/analyzer/pull/1470/hovercard\" href=\"https://github.com/goblint/analyzer/pull/1470\">#1470</a> from goblint/arg-test"}},{"before":"c730b95e9896907264b5bd21a433be38e5fb852b","after":null,"ref":"refs/heads/remove-libfun-old-spec","pushedAt":"2024-05-27T12:04:59.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sim642","name":"Simmo Saan","path":"/sim642","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/378740?s=80&v=4"}},{"before":"bf089e7448dabdab45948d1c2eb6a5ca15f28d84","after":"a4afdd42d4d21968b1ec0393344ece6b0c629388","ref":"refs/heads/master","pushedAt":"2024-05-27T12:04:59.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"sim642","name":"Simmo Saan","path":"/sim642","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/378740?s=80&v=4"},"commit":{"message":"Merge pull request #1487 from goblint/remove-libfun-old-spec\n\nRemove library functions old specification mechanisms","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2316964689\" data-permission-text=\"Title is private\" data-url=\"https://github.com/goblint/analyzer/issues/1487\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/goblint/analyzer/pull/1487/hovercard\" href=\"https://github.com/goblint/analyzer/pull/1487\">#1487</a> from goblint/remove-libfun-old-spec"}},{"before":"fb67e8e673b5c915090fad3b1613a587eb5a714c","after":"bf089e7448dabdab45948d1c2eb6a5ca15f28d84","ref":"refs/heads/master","pushedAt":"2024-05-27T12:04:02.000Z","pushType":"pr_merge","commitsCount":48,"pusher":{"login":"sim642","name":"Simmo Saan","path":"/sim642","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/378740?s=80&v=4"},"commit":{"message":"Merge pull request #1430 from goblint/lock-mval\n\nRefactor must-locksets to use definite mvals instead of addresses","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2259203221\" data-permission-text=\"Title is private\" data-url=\"https://github.com/goblint/analyzer/issues/1430\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/goblint/analyzer/pull/1430/hovercard\" href=\"https://github.com/goblint/analyzer/pull/1430\">#1430</a> from goblint/lock-mval"}},{"before":"522b1bd0ded7ba5287e95e5566431756d6556b92","after":null,"ref":"refs/heads/lock-mval","pushedAt":"2024-05-27T12:04:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sim642","name":"Simmo Saan","path":"/sim642","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/378740?s=80&v=4"}},{"before":"7c6a86eae97ac4f376bf32053538f4b565c1ef2e","after":null,"ref":"refs/heads/issue_1479","pushedAt":"2024-05-27T08:06:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"michael-schwarz","name":"Michael Schwarz","path":"/michael-schwarz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13812333?s=80&v=4"}},{"before":"ac1225aa1242ceb2022dd18ffc35f4a4f6544232","after":"fb67e8e673b5c915090fad3b1613a587eb5a714c","ref":"refs/heads/master","pushedAt":"2024-05-27T08:06:26.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"michael-schwarz","name":"Michael Schwarz","path":"/michael-schwarz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13812333?s=80&v=4"},"commit":{"message":"Merge pull request #1481 from goblint/issue_1479\n\nFix `global_init` for escaped globals in mutex-meet-tid cluster configuration","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2313256852\" data-permission-text=\"Title is private\" data-url=\"https://github.com/goblint/analyzer/issues/1481\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/goblint/analyzer/pull/1481/hovercard\" href=\"https://github.com/goblint/analyzer/pull/1481\">#1481</a> from goblint/issue_1479"}},{"before":"746b556f4ae7edab08661e3d29286748c679e124","after":"522b1bd0ded7ba5287e95e5566431756d6556b92","ref":"refs/heads/lock-mval","pushedAt":"2024-05-27T07:56:51.000Z","pushType":"push","commitsCount":236,"pusher":{"login":"sim642","name":"Simmo Saan","path":"/sim642","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/378740?s=80&v=4"},"commit":{"message":"Merge branch 'master' into lock-mval","shortMessageHtmlLink":"Merge branch 'master' into lock-mval"}},{"before":"eb00ed5df60945f77826b720a582559ae68d3d65","after":"746b556f4ae7edab08661e3d29286748c679e124","ref":"refs/heads/lock-mval","pushedAt":"2024-05-27T07:51:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sim642","name":"Simmo Saan","path":"/sim642","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/378740?s=80&v=4"},"commit":{"message":"Update mutex analysis may-be-recursive unlock TODO","shortMessageHtmlLink":"Update mutex analysis may-be-recursive unlock TODO"}},{"before":"a2e48689e9f6d560c20891099ec1cc761d9156dd","after":"9f0d3baacc04c2b540f8724746018b2785ee95d0","ref":"refs/heads/arg-test","pushedAt":"2024-05-27T07:31:48.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"sim642","name":"Simmo Saan","path":"/sim642","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/378740?s=80&v=4"},"commit":{"message":"Switch ARG tests to up-to-date svcomp conf","shortMessageHtmlLink":"Switch ARG tests to up-to-date svcomp conf"}},{"before":"9078c2a6e087e8ae7ef5bf30d2d01f6caee168da","after":"6f02c2ab45d901bc78eedf35908b1bc9f7dd71ce","ref":"refs/heads/lin2var-coefficients","pushedAt":"2024-05-25T21:33:08.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"DrMichaelPetter","name":"Michael Petter","path":"/DrMichaelPetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9989132?s=80&v=4"},"commit":{"message":"rm faulty eval_int answer","shortMessageHtmlLink":"rm faulty eval_int answer"}},{"before":"55c15f74bcffa6adc5d8360b1a9d88be1f7b0a31","after":"9078c2a6e087e8ae7ef5bf30d2d01f6caee168da","ref":"refs/heads/lin2var-coefficients","pushedAt":"2024-05-25T20:33:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DrMichaelPetter","name":"Michael Petter","path":"/DrMichaelPetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9989132?s=80&v=4"},"commit":{"message":"oversight of %+, so lets do it the affeq way","shortMessageHtmlLink":"oversight of %+, so lets do it the affeq way"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEWPo2xAA","startCursor":null,"endCursor":null}},"title":"Activity · goblint/analyzer"}