{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":42260199,"defaultBranch":"dev","name":"ultimate","ownerLogin":"ultimate-pa","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-09-10T17:37:47.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/13460489?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716820693.0","currentOid":""},"activityList":{"items":[{"before":"c4054efbaaa470a7bab6ccca09a3ce88325d0dcc","after":"f34de48b2599174df97260ba45f01123940e0f7e","ref":"refs/heads/dev","pushedAt":"2024-06-02T16:28:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Heizmann","name":"Matthias Heizmann","path":"/Heizmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1221834?s=80&v=4"},"commit":{"message":"Ultimate Eliminator 2024","shortMessageHtmlLink":"Ultimate Eliminator 2024"}},{"before":"7204baee0d2e042b7387d3f0a74bdf45c9462d75","after":"550cf28ce20ba140c9f86a124250921a6eed5681","ref":"refs/heads/wip/nk/icfgbuilder","pushedAt":"2024-05-31T11:58:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NiklasKult","name":null,"path":"/NiklasKult","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57148310?s=80&v=4"},"commit":{"message":"add author info","shortMessageHtmlLink":"add author info"}},{"before":"f30644910b0b4c2b62c2ede8964ece636558b4c1","after":"bc938fb2e96a27fd71edcfb6e3d2c287f652b35f","ref":"refs/heads/wip/fs/yaml-violation-witnesses","pushedAt":"2024-05-29T23:03:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HelenAnnaMeyer","name":"Helen Meyer","path":"/HelenAnnaMeyer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/148922823?s=80&v=4"},"commit":{"message":"Erstellen der Klassen für Violation_sequences","shortMessageHtmlLink":"Erstellen der Klassen für Violation_sequences"}},{"before":"9143e4de05342131d2fd95070f1e1f5d5706db74","after":"f30644910b0b4c2b62c2ede8964ece636558b4c1","ref":"refs/heads/wip/fs/yaml-violation-witnesses","pushedAt":"2024-05-29T12:12:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HelenAnnaMeyer","name":"Helen Meyer","path":"/HelenAnnaMeyer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/148922823?s=80&v=4"},"commit":{"message":"TODO comments","shortMessageHtmlLink":"TODO comments"}},{"before":"5500f0d2d14548c4524b6b1d93e6edfa6318a92c","after":"d6372eba10392f6a3a86c7faf513b7199b20aa33","ref":"refs/heads/wip/fs/yaml-witnnes-refactoring","pushedAt":"2024-05-29T11:56:46.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"schuessf","name":"Frank Schüssele","path":"/schuessf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3885674?s=80&v=4"},"commit":{"message":"Update documentation","shortMessageHtmlLink":"Update documentation"}},{"before":"ed310d6891b66c11a27fb8c31f4013003de59dc1","after":"a4a1cd34b2432e07c390bac29a96e7c61fd2d130","ref":"refs/heads/wip/dk/dynamic-abstractions","pushedAt":"2024-05-28T16:39:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JanineDoe","name":null,"path":"/JanineDoe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/74074832?s=80&v=4"},"commit":{"message":"added check of sleepset compatibility for loop entry edges","shortMessageHtmlLink":"added check of sleepset compatibility for loop entry edges"}},{"before":"7317d39d6ef0cff4c16bfdf9f47b046e6d825a8a","after":"c4054efbaaa470a7bab6ccca09a3ce88325d0dcc","ref":"refs/heads/dev","pushedAt":"2024-05-28T16:08:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"schuessf","name":"Frank Schüssele","path":"/schuessf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3885674?s=80&v=4"},"commit":{"message":"No version constraint for SnakeYAML in MANIFEST.MF","shortMessageHtmlLink":"No version constraint for SnakeYAML in MANIFEST.MF"}},{"before":"b7bd44e0aeb26b45c8223d220f6606a083654a7d","after":"5500f0d2d14548c4524b6b1d93e6edfa6318a92c","ref":"refs/heads/wip/fs/yaml-witnnes-refactoring","pushedAt":"2024-05-28T16:04:47.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"schuessf","name":"Frank Schüssele","path":"/schuessf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3885674?s=80&v=4"},"commit":{"message":"No version constraint for SnakeYAML in MANIFEST.MF","shortMessageHtmlLink":"No version constraint for SnakeYAML in MANIFEST.MF"}},{"before":"615ca58c7b931cfd3c6632a829f33373a54629a4","after":"b7bd44e0aeb26b45c8223d220f6606a083654a7d","ref":"refs/heads/wip/fs/yaml-witnnes-refactoring","pushedAt":"2024-05-28T11:52:45.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"schuessf","name":"Frank Schüssele","path":"/schuessf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3885674?s=80&v=4"},"commit":{"message":"Extract method","shortMessageHtmlLink":"Extract method"}},{"before":"658941f7e8f28b813a3cca49713df5e7f199acfa","after":"615ca58c7b931cfd3c6632a829f33373a54629a4","ref":"refs/heads/wip/fs/yaml-witnnes-refactoring","pushedAt":"2024-05-28T10:05:12.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"schuessf","name":"Frank Schüssele","path":"/schuessf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3885674?s=80&v=4"},"commit":{"message":"Reduce visibility of methods","shortMessageHtmlLink":"Reduce visibility of methods"}},{"before":"0d73250a954d2ad96ec2e87684e06d0470ad0323","after":"8056ac8405e64d8fcae58b5214481af807e4d909","ref":"refs/heads/wip/ad/stuck-at","pushedAt":"2024-05-28T06:07:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abilyd","name":"Abby","path":"/abilyd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120501986?s=80&v=4"},"commit":{"message":"naive version of filtering out phases that can never become stuck due to clock invariants","shortMessageHtmlLink":"naive version of filtering out phases that can never become stuck due…"}},{"before":"9f3cdbb8b8c08ec5989d97ab92717448e5d8c908","after":"658941f7e8f28b813a3cca49713df5e7f199acfa","ref":"refs/heads/wip/fs/yaml-witnnes-refactoring","pushedAt":"2024-05-27T15:26:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"schuessf","name":"Frank Schüssele","path":"/schuessf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3885674?s=80&v=4"},"commit":{"message":"Rename variable","shortMessageHtmlLink":"Rename variable"}},{"before":"a4b1020a4832ddc85d231fb5d5ff97716bcb5925","after":"9f3cdbb8b8c08ec5989d97ab92717448e5d8c908","ref":"refs/heads/wip/fs/yaml-witnnes-refactoring","pushedAt":"2024-05-27T15:25:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"schuessf","name":"Frank Schüssele","path":"/schuessf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3885674?s=80&v=4"},"commit":{"message":"Remove TODO","shortMessageHtmlLink":"Remove TODO"}},{"before":"20489746735b2206e987b5a0a502ceab4343c179","after":"a4b1020a4832ddc85d231fb5d5ff97716bcb5925","ref":"refs/heads/wip/fs/yaml-witnnes-refactoring","pushedAt":"2024-05-27T15:22:07.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"schuessf","name":"Frank Schüssele","path":"/schuessf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3885674?s=80&v=4"},"commit":{"message":"Match entries from YAML witness at most once","shortMessageHtmlLink":"Match entries from YAML witness at most once"}},{"before":null,"after":"75e2e3ebffb0491e4a00f7cd0d8f3d84783b33f0","ref":"refs/heads/wip/fs/bool-fix","pushedAt":"2024-05-27T14:38:13.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"schuessf","name":"Frank Schüssele","path":"/schuessf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3885674?s=80&v=4"},"commit":{"message":"Avoid bool-to-int conversions","shortMessageHtmlLink":"Avoid bool-to-int conversions"}},{"before":null,"after":"c7fbf163b93e516d6e742d70a4a2d15020f187fd","ref":"refs/heads/tmp/fs/goblint-validation","pushedAt":"2024-05-27T09:33:05.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"schuessf","name":"Frank Schüssele","path":"/schuessf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3885674?s=80&v=4"},"commit":{"message":"Add an alternative translation for __VERIFIIER_nondet_bool\nWe simply assume that the return value is either 0 or 1. For this commit to be integrated, we need to ensure that this actually matches the SV-COMP specification.","shortMessageHtmlLink":"Add an alternative translation for __VERIFIIER_nondet_bool"}},{"before":"1ececfe039187bebcebd00761981e5a885242274","after":"7317d39d6ef0cff4c16bfdf9f47b046e6d825a8a","ref":"refs/heads/dev","pushedAt":"2024-05-27T08:45:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"schuessf","name":"Frank Schüssele","path":"/schuessf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3885674?s=80&v=4"},"commit":{"message":"Handle sleep properly","shortMessageHtmlLink":"Handle sleep properly"}},{"before":"c25c017c2af924c11b332137c455d47031a5e97a","after":"0d73250a954d2ad96ec2e87684e06d0470ad0323","ref":"refs/heads/wip/ad/stuck-at","pushedAt":"2024-05-23T19:04:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abilyd","name":"Abby","path":"/abilyd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120501986?s=80&v=4"},"commit":{"message":"no written tests yet, but it seems to work","shortMessageHtmlLink":"no written tests yet, but it seems to work"}},{"before":"49f3f4f3924f42cc9482ae521b34210f8a5e56f4","after":"7204baee0d2e042b7387d3f0a74bdf45c9462d75","ref":"refs/heads/wip/nk/icfgbuilder","pushedAt":"2024-05-22T14:44:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NiklasKult","name":null,"path":"/NiklasKult","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57148310?s=80&v=4"},"commit":{"message":"comment and delete useless file","shortMessageHtmlLink":"comment and delete useless file"}},{"before":"e2c0f84c33c0c906566ad760e4249f1afca9d8d3","after":"1ececfe039187bebcebd00761981e5a885242274","ref":"refs/heads/dev","pushedAt":"2024-05-22T14:41:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Heizmann","name":"Matthias Heizmann","path":"/Heizmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1221834?s=80&v=4"},"commit":{"message":"Remove useless files\n\nRemove .directory files that were a few years ago accidentally\ncommitted. These are configuration files for the Dolphin file\nmanager.","shortMessageHtmlLink":"Remove useless files"}},{"before":"c940ce6075f573924ad156168b1461a37358b120","after":"49f3f4f3924f42cc9482ae521b34210f8a5e56f4","ref":"refs/heads/wip/nk/icfgbuilder","pushedAt":"2024-05-22T14:30:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Heizmann","name":"Matthias Heizmann","path":"/Heizmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1221834?s=80&v=4"},"commit":{"message":"Rename license header","shortMessageHtmlLink":"Rename license header"}},{"before":"3dbbec33571ea5df3da1caaa588d08d0f6d1f93d","after":null,"ref":"refs/heads/tmp/mh/no-commuhash","pushedAt":"2024-05-22T00:41:07.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Heizmann","name":"Matthias Heizmann","path":"/Heizmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1221834?s=80&v=4"}},{"before":"a31fd051be77bc0779c9224d7d945b7680f6576e","after":null,"ref":"refs/heads/commuhash","pushedAt":"2024-05-22T00:41:05.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Heizmann","name":"Matthias Heizmann","path":"/Heizmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1221834?s=80&v=4"}},{"before":null,"after":"c25c017c2af924c11b332137c455d47031a5e97a","ref":"refs/heads/wip/ad/stuck-at","pushedAt":"2024-05-21T13:14:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"abilyd","name":"Abby","path":"/abilyd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120501986?s=80&v=4"},"commit":{"message":"first version. stuck at check probably doesn't work, but last phase detection seems to","shortMessageHtmlLink":"first version. stuck at check probably doesn't work, but last phase d…"}},{"before":"da74cf64b176085508700b442282273f95febd97","after":"20489746735b2206e987b5a0a502ceab4343c179","ref":"refs/heads/wip/fs/yaml-witnnes-refactoring","pushedAt":"2024-05-17T08:52:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"schuessf","name":"Frank Schüssele","path":"/schuessf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3885674?s=80&v=4"},"commit":{"message":"Do not check for FormatVersion\nThis should be done by witness linter in SV-COMP","shortMessageHtmlLink":"Do not check for FormatVersion"}},{"before":"66802c5b5b4ef00aed21daa3506a2e8f347af2e7","after":"e2c0f84c33c0c906566ad760e4249f1afca9d8d3","ref":"refs/heads/dev","pushedAt":"2024-05-16T13:42:19.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"schuessf","name":"Frank Schüssele","path":"/schuessf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3885674?s=80&v=4"},"commit":{"message":"Remove deprecated and unused method CType::isCompatibleWith\n(superseeded by TypeHandler::areMatchingTypes and TypeHandler::isCompatibleType)","shortMessageHtmlLink":"Remove deprecated and unused method CType::isCompatibleWith"}},{"before":"5afc37e9059bdfc16b2ec383235173c9e56c216e","after":"66802c5b5b4ef00aed21daa3506a2e8f347af2e7","ref":"refs/heads/dev","pushedAt":"2024-05-16T12:21:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"schuessf","name":"Frank Schüssele","path":"/schuessf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3885674?s=80&v=4"},"commit":{"message":"Require only compatible pointers for pointer arithmetic (fixes #666)","shortMessageHtmlLink":"Require only compatible pointers for pointer arithmetic (<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #666.\">fixes</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2295500382\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ultimate-pa/ultimate/issues/666\" data-hovercard-type=\"issue\" data-hovercard-url=\"/ultimate-pa/ultimate/issues/666/hovercard\" href=\"https://github.com/ultimate-pa/ultimate/issues/666\">#666</a>)"}},{"before":"4effe447dff421d1383f37c02d013b6ead8b049b","after":"196b9cdc9293e3ed8b120fcb8fe9411c65235c03","ref":"refs/heads/wip/dk/conditional-comm","pushedAt":"2024-05-16T09:06:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ebbima","name":null,"path":"/ebbima","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66482162?s=80&v=4"},"commit":{"message":"removed redundant stopStopwatch calls","shortMessageHtmlLink":"removed redundant stopStopwatch calls"}},{"before":"243102d99e7bc1467ab3e53a063a10a9e2b94f9b","after":"da74cf64b176085508700b442282273f95febd97","ref":"refs/heads/wip/fs/yaml-witnnes-refactoring","pushedAt":"2024-05-16T08:34:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"schuessf","name":"Frank Schüssele","path":"/schuessf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3885674?s=80&v=4"},"commit":{"message":"Do not check for FormatVersion\nThis should be done by witness linter in SV-COMP","shortMessageHtmlLink":"Do not check for FormatVersion"}},{"before":"17da818e619198df372aea3ffd97feb0930e371f","after":"4effe447dff421d1383f37c02d013b6ead8b049b","ref":"refs/heads/wip/dk/conditional-comm","pushedAt":"2024-05-15T07:44:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ebbima","name":null,"path":"/ebbima","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66482162?s=80&v=4"},"commit":{"message":"stats fix","shortMessageHtmlLink":"stats fix"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEWkICzwA","startCursor":null,"endCursor":null}},"title":"Activity · ultimate-pa/ultimate"}