{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":632042402,"defaultBranch":"main","name":"key","ownerLogin":"flo2702","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-04-24T15:33:17.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/24892604?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1726463883.0","currentOid":""},"activityList":{"items":[{"before":"36f40ac68b0b9a55a2c112a409c51aaa1a5796d4","after":null,"ref":"refs/tags/nightly","pushedAt":"2024-09-16T05:18:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"}},{"before":"7ff2d9dc3ea43e071577b3f8d0e3a537f9213982","after":"eb9d691de45ca6cc9856f65e3c05f7b96395303b","ref":"refs/heads/kukicha","pushedAt":"2024-09-13T22:04:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"flo2702","name":"Florian Lanzinger","path":"/flo2702","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24892604?s=80&v=4"},"commit":{"message":"Always use dependency contract","shortMessageHtmlLink":"Always use dependency contract"}},{"before":"7fe4e7dba53801c38716889cec9241488ce31680","after":"fb780aedd27deb46d976970a04e4d00ebbd0ee9d","ref":"refs/heads/main","pushedAt":"2024-09-10T10:16:12.000Z","pushType":"push","commitsCount":655,"pusher":{"login":"flo2702","name":"Florian Lanzinger","path":"/flo2702","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24892604?s=80&v=4"},"commit":{"message":"Bump the gradle-deps group with 6 updates (#3503)","shortMessageHtmlLink":"Bump the gradle-deps group with 6 updates (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2443397756\" data-permission-text=\"Title is private\" data-url=\"https://github.com/KeYProject/key/issues/3503\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/KeYProject/key/pull/3503/hovercard\" href=\"https://github.com/KeYProject/key/pull/3503\">KeYProject#3503</a>)"}},{"before":null,"after":"4121eccca50a8850536b02762c3cc639b515c164","ref":"refs/heads/fixCopyright2024","pushedAt":"2024-08-30T12:40:56.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"flo2702","name":"Florian Lanzinger","path":"/flo2702","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24892604?s=80&v=4"},"commit":{"message":"Fox copyright year","shortMessageHtmlLink":"Fox copyright year"}},{"before":"4a7e326b4cc33a9cc19167e1db2d9e8c9794cfcc","after":"028663eff153c52734e882e3ec82af1477ea5699","ref":"refs/heads/hackeythonUnknownMethods","pushedAt":"2024-06-21T14:30:07.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"mattulbrich","name":"Mattias Ulbrich","path":"/mattulbrich","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17046629?s=80&v=4"},"commit":{"message":"Merge branch 'main' into hackeythonUnknownMethods","shortMessageHtmlLink":"Merge branch 'main' into hackeythonUnknownMethods"}},{"before":"964b7e160c495a515f6f462eb572c9eee151629b","after":"4a7e326b4cc33a9cc19167e1db2d9e8c9794cfcc","ref":"refs/heads/hackeythonUnknownMethods","pushedAt":"2024-06-21T13:35:52.000Z","pushType":"push","commitsCount":191,"pusher":{"login":"mattulbrich","name":"Mattias Ulbrich","path":"/mattulbrich","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17046629?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'gh/main' into hackeythonUnknownMethods\n\n# Conflicts:\n#\tkey.ui/examples/standard_key/java_dl/java5/for_Iterable.key","shortMessageHtmlLink":"Merge remote-tracking branch 'gh/main' into hackeythonUnknownMethods"}},{"before":"da90bf3abb15233de86df651a011dda4c81a80c7","after":"964b7e160c495a515f6f462eb572c9eee151629b","ref":"refs/heads/hackeythonUnknownMethods","pushedAt":"2024-06-21T13:33:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattulbrich","name":"Mattias Ulbrich","path":"/mattulbrich","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17046629?s=80&v=4"},"commit":{"message":"adding comments to jml spec factory default contracts","shortMessageHtmlLink":"adding comments to jml spec factory default contracts"}},{"before":null,"after":"7ff2d9dc3ea43e071577b3f8d0e3a537f9213982","ref":"refs/heads/kukicha","pushedAt":"2024-04-29T17:25:56.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"flo2702","name":"Florian Lanzinger","path":"/flo2702","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24892604?s=80&v=4"},"commit":{"message":"Add packed to JavaRedux Object","shortMessageHtmlLink":"Add packed to JavaRedux Object"}},{"before":"32dc59b609eb002753e86d5269f0cc91dfecfd2a","after":"f60fcf6ef761fe9b2cc3a85532e7f40cd8e828b6","ref":"refs/heads/hackeythonSubtypePred","pushedAt":"2024-04-29T17:24:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"flo2702","name":"Florian Lanzinger","path":"/flo2702","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24892604?s=80&v=4"},"commit":{"message":"Fix proof script","shortMessageHtmlLink":"Fix proof script"}},{"before":"81cad0f76ee133c0770e4c7fd2bfd74711e7448b","after":"32dc59b609eb002753e86d5269f0cc91dfecfd2a","ref":"refs/heads/hackeythonSubtypePred","pushedAt":"2024-04-26T19:44:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"flo2702","name":"Florian Lanzinger","path":"/flo2702","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24892604?s=80&v=4"},"commit":{"message":"Code style","shortMessageHtmlLink":"Code style"}},{"before":"af0e26a752a52574bfb476ec30a42a6102b1fd5f","after":"da90bf3abb15233de86df651a011dda4c81a80c7","ref":"refs/heads/hackeythonUnknownMethods","pushedAt":"2024-04-26T19:13:27.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"flo2702","name":"Florian Lanzinger","path":"/flo2702","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24892604?s=80&v=4"},"commit":{"message":"Merge branch 'hackeythonUnknownMethods' of github.com:flo2702/key into hackeythonUnknownMethods","shortMessageHtmlLink":"Merge branch 'hackeythonUnknownMethods' of github.com:flo2702/key int…"}},{"before":"e293454ef595f484f7fd8facdf7fb02c61deed06","after":"81cad0f76ee133c0770e4c7fd2bfd74711e7448b","ref":"refs/heads/hackeythonSubtypePred","pushedAt":"2024-04-26T17:58:14.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"flo2702","name":"Florian Lanzinger","path":"/flo2702","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24892604?s=80&v=4"},"commit":{"message":"Revert JavaRedux Object","shortMessageHtmlLink":"Revert JavaRedux Object"}},{"before":"f3ac405d02c79c43d31b183b558b8f90fc41b018","after":"e293454ef595f484f7fd8facdf7fb02c61deed06","ref":"refs/heads/hackeythonSubtypePred","pushedAt":"2024-04-26T17:32:22.000Z","pushType":"push","commitsCount":275,"pusher":{"login":"flo2702","name":"Florian Lanzinger","path":"/flo2702","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24892604?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'upstream/main' into hackeythonSubtypePred","shortMessageHtmlLink":"Merge remote-tracking branch 'upstream/main' into hackeythonSubtypePred"}},{"before":"f0ac5acd569fef2c7a58d5a8a8149d1fb72de65e","after":"af0e26a752a52574bfb476ec30a42a6102b1fd5f","ref":"refs/heads/hackeythonUnknownMethods","pushedAt":"2024-04-26T16:08:52.000Z","pushType":"push","commitsCount":275,"pusher":{"login":"flo2702","name":"Florian Lanzinger","path":"/flo2702","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24892604?s=80&v=4"},"commit":{"message":"Merge branch 'main' into hackeythonUnknownMethods","shortMessageHtmlLink":"Merge branch 'main' into hackeythonUnknownMethods"}},{"before":"04cc9ed1d38f3ae1d1b8a333ca60a7b6ca4f863e","after":"f0ac5acd569fef2c7a58d5a8a8149d1fb72de65e","ref":"refs/heads/hackeythonUnknownMethods","pushedAt":"2024-04-26T16:08:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"flo2702","name":"Florian Lanzinger","path":"/flo2702","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24892604?s=80&v=4"},"commit":{"message":"Fix code format","shortMessageHtmlLink":"Fix code format"}},{"before":"bbd52f012bb4574b8dd3869e71e8c91fba1bc196","after":"f3ac405d02c79c43d31b183b558b8f90fc41b018","ref":"refs/heads/hackeythonSubtypePred","pushedAt":"2024-03-11T15:22:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"flo2702","name":"Florian Lanzinger","path":"/flo2702","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24892604?s=80&v=4"},"commit":{"message":"Mark havocPacked as helper","shortMessageHtmlLink":"Mark havocPacked as helper"}},{"before":"c6d7323f93ef6b07eb12abbe42f172415e13dc0e","after":"bbd52f012bb4574b8dd3869e71e8c91fba1bc196","ref":"refs/heads/hackeythonSubtypePred","pushedAt":"2024-03-03T19:02:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"flo2702","name":"Florian Lanzinger","path":"/flo2702","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24892604?s=80&v=4"},"commit":{"message":"Add ssort rules to strategy heuristics","shortMessageHtmlLink":"Add ssort rules to strategy heuristics"}},{"before":"02c6fccb4a32651cb0139d8cb86fe24402eb0a2f","after":"c6d7323f93ef6b07eb12abbe42f172415e13dc0e","ref":"refs/heads/hackeythonSubtypePred","pushedAt":"2024-02-22T21:12:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"flo2702","name":"Florian Lanzinger","path":"/flo2702","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24892604?s=80&v=4"},"commit":{"message":"Add packed field and havocPacked method to Object class","shortMessageHtmlLink":"Add packed field and havocPacked method to Object class"}},{"before":"27183cea39cd71d8280021bab8de03c8490dcfd2","after":"02c6fccb4a32651cb0139d8cb86fe24402eb0a2f","ref":"refs/heads/hackeythonSubtypePred","pushedAt":"2024-02-22T17:59:33.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"flo2702","name":"Florian Lanzinger","path":"/flo2702","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24892604?s=80&v=4"},"commit":{"message":"Add support for eq on sorts","shortMessageHtmlLink":"Add support for eq on sorts"}},{"before":"1e4af50eee564365c500328dead60c9ac7fd3e15","after":"04cc9ed1d38f3ae1d1b8a333ca60a7b6ca4f863e","ref":"refs/heads/hackeythonUnknownMethods","pushedAt":"2024-02-22T15:30:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"flo2702","name":"Florian Lanzinger","path":"/flo2702","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24892604?s=80&v=4"},"commit":{"message":"Add test","shortMessageHtmlLink":"Add test"}},{"before":"91054c15180f274938c80ef707196b5e4df93c6d","after":"1e4af50eee564365c500328dead60c9ac7fd3e15","ref":"refs/heads/hackeythonUnknownMethods","pushedAt":"2024-02-22T15:17:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"flo2702","name":"Florian Lanzinger","path":"/flo2702","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24892604?s=80&v=4"},"commit":{"message":"Add documentation","shortMessageHtmlLink":"Add documentation"}},{"before":"6f029f2f115d777f1db6ef0cc4971df25909f160","after":"91054c15180f274938c80ef707196b5e4df93c6d","ref":"refs/heads/hackeythonUnknownMethods","pushedAt":"2024-02-22T15:14:35.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"flo2702","name":"Florian Lanzinger","path":"/flo2702","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24892604?s=80&v=4"},"commit":{"message":"Add proof setting for sound or unsound default contracts","shortMessageHtmlLink":"Add proof setting for sound or unsound default contracts"}},{"before":null,"after":"27183cea39cd71d8280021bab8de03c8490dcfd2","ref":"refs/heads/hackeythonSubtypePred","pushedAt":"2024-02-21T17:16:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"flo2702","name":"Florian Lanzinger","path":"/flo2702","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24892604?s=80&v=4"},"commit":{"message":"Add support SortLDT and SORT sort","shortMessageHtmlLink":"Add support SortLDT and SORT sort"}},{"before":null,"after":"6f029f2f115d777f1db6ef0cc4971df25909f160","ref":"refs/heads/hackeythonUnknownMethods","pushedAt":"2024-02-21T15:15:04.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"flo2702","name":"Florian Lanzinger","path":"/flo2702","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24892604?s=80&v=4"},"commit":{"message":"Default contract for contractless methods","shortMessageHtmlLink":"Default contract for contractless methods"}},{"before":"fbbbc69c30ba6c970ad297e7e05c5ba75681fe8f","after":"7fe4e7dba53801c38716889cec9241488ce31680","ref":"refs/heads/main","pushedAt":"2024-02-10T20:44:36.000Z","pushType":"push","commitsCount":957,"pusher":{"login":"flo2702","name":"Florian Lanzinger","path":"/flo2702","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24892604?s=80&v=4"},"commit":{"message":"Bump org.junit.vintage:junit-vintage-engine from 5.10.1 to 5.10.2 (#3394)","shortMessageHtmlLink":"Bump org.junit.vintage:junit-vintage-engine from 5.10.1 to 5.10.2 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2119438502\" data-permission-text=\"Title is private\" data-url=\"https://github.com/KeYProject/key/issues/3394\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/KeYProject/key/pull/3394/hovercard\" href=\"https://github.com/KeYProject/key/pull/3394\">Ke…</a>"}},{"before":null,"after":"60d16086b886e7fed82c6b81e44143ad9538b771","ref":"refs/heads/fixDefaultLnF","pushedAt":"2023-07-26T12:10:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"flo2702","name":"Florian Lanzinger","path":"/flo2702","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24892604?s=80&v=4"},"commit":{"message":"Always use Metal as default Look and Feel","shortMessageHtmlLink":"Always use Metal as default Look and Feel"}},{"before":"b7149f81f251c4b4bcdf2bba9ae0134a379987aa","after":null,"ref":"refs/heads/invariantFree","pushedAt":"2023-07-18T18:52:50.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"flo2702","name":"Florian Lanzinger","path":"/flo2702","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24892604?s=80&v=4"}},{"before":"91abedd126b7793d4e0bbb4962d6265758f1767b","after":null,"ref":"refs/heads/assignableFree","pushedAt":"2023-07-17T14:01:06.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"flo2702","name":"Florian Lanzinger","path":"/flo2702","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24892604?s=80&v=4"}},{"before":"0fb51de847a8b7198b7097b7d35865877c6117d6","after":"91abedd126b7793d4e0bbb4962d6265758f1767b","ref":"refs/heads/assignableFree","pushedAt":"2023-07-17T10:59:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"flo2702","name":"Florian Lanzinger","path":"/flo2702","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24892604?s=80&v=4"},"commit":{"message":"Remove unnecessary parentheses in JmlLexer","shortMessageHtmlLink":"Remove unnecessary parentheses in JmlLexer"}},{"before":"8629b9de4d0fab8efff9dd7f76edb669528552a2","after":"0fb51de847a8b7198b7097b7d35865877c6117d6","ref":"refs/heads/assignableFree","pushedAt":"2023-07-17T10:57:58.000Z","pushType":"push","commitsCount":14,"pusher":{"login":"flo2702","name":"Florian Lanzinger","path":"/flo2702","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24892604?s=80&v=4"},"commit":{"message":"Merge branch 'main' into assignableFree","shortMessageHtmlLink":"Merge branch 'main' into assignableFree"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEtw0SWQA","startCursor":null,"endCursor":null}},"title":"Activity · flo2702/key"}