{"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":"213beccfd4f2c1757ccdea7cc1f29fdd777c565e","after":"95101edfdc094602e0f9df29d92ff5b829cc4377","ref":"refs/heads/wip/dk/empire2-owicki","pushedAt":"2024-06-04T18:59:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"matthiaszumkeller","name":null,"path":"/matthiaszumkeller","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/125148082?s=80&v=4"},"commit":{"message":"Add some handwritten empires for the examples","shortMessageHtmlLink":"Add some handwritten empires for the examples"}},{"before":"16acc54f98a0156467f767accd656b570ce511cb","after":"535de8738579c7f594945316ea9c948cbc5bca79","ref":"refs/heads/dev","pushedAt":"2024-06-04T13:52:04.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 submission for SMT-COMP 2024\n\nFirst version of scripts that lead to a submission that passed all\ntests.","shortMessageHtmlLink":"Ultimate Eliminator submission for SMT-COMP 2024"}},{"before":"e7dd080dfc7a81587baf6d5cd90569174fe48708","after":"9372d11e206df871f5ee60d4ada41ad5c51ca976","ref":"refs/heads/wip/ad/stuck-at","pushedAt":"2024-06-04T13:14:33.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":"Analysis settings (.epf) added.","shortMessageHtmlLink":"Analysis settings (.epf) added."}},{"before":"c5dabf3f85471e89f0de83e62bf941c63c6f2917","after":"16acc54f98a0156467f767accd656b570ce511cb","ref":"refs/heads/dev","pushedAt":"2024-06-04T11:36:30.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":"Add missing logics","shortMessageHtmlLink":"Add missing logics"}},{"before":"8056ac8405e64d8fcae58b5214481af807e4d909","after":"e7dd080dfc7a81587baf6d5cd90569174fe48708","ref":"refs/heads/wip/ad/stuck-at","pushedAt":"2024-06-04T06:43: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":"NVP generation is now done without complete power set generation.\n\nStrongly connected location sets are generated using the Tarjan algorithm, and only their power sets are checked (starting from the largest, so that subsets of detected NVPs can be skipped).\nThis can still be slow (O(2^{#locations})), but I think this is unavoidable, since we need to find the relevant set of states somehow.","shortMessageHtmlLink":"NVP generation is now done without complete power set generation."}},{"before":"c7fbf163b93e516d6e742d70a4a2d15020f187fd","after":"bcb38a6fa8692c4adb0f57baf09f750b1f20671c","ref":"refs/heads/tmp/fs/goblint-validation","pushedAt":"2024-06-03T16: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":"Only check correctness of witness invariants","shortMessageHtmlLink":"Only check correctness of witness invariants"}},{"before":"f34de48b2599174df97260ba45f01123940e0f7e","after":"c5dabf3f85471e89f0de83e62bf941c63c6f2917","ref":"refs/heads/dev","pushedAt":"2024-06-03T14:19:40.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":"Disable Live-CFG for Referee in webinterface","shortMessageHtmlLink":"Disable Live-CFG for Referee in webinterface"}},{"before":"269503803cfd2ff92af6d452b27959eacbee70b8","after":"213beccfd4f2c1757ccdea7cc1f29fdd777c565e","ref":"refs/heads/wip/dk/empire2-owicki","pushedAt":"2024-06-03T14:17:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"matthiaszumkeller","name":null,"path":"/matthiaszumkeller","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/125148082?s=80&v=4"},"commit":{"message":"Add examples to test the algorithm","shortMessageHtmlLink":"Add examples to test the algorithm"}},{"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"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEXF6t6gA","startCursor":null,"endCursor":null}},"title":"Activity · ultimate-pa/ultimate"}