{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":697269869,"defaultBranch":"main","name":"isabelle-go-codegen","ownerLogin":"isabelle-prover","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-09-27T11:44:21.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/14984655?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1718172294.0","currentOid":""},"activityList":{"items":[{"before":"518df9a491f474f0a818a07df0b6bd30a9cd5045","after":"08b4c9269cc214f9f759703b4c5d51895052175e","ref":"refs/heads/main","pushedAt":"2024-06-12T06:05:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"larsrh","name":"Lars Hupel","path":"/larsrh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/923079?s=80&v=4"},"commit":{"message":"remove unneeded files","shortMessageHtmlLink":"remove unneeded files"}},{"before":"83bf92900946d9b966f5e45a2aaf341e362273f3","after":"518df9a491f474f0a818a07df0b6bd30a9cd5045","ref":"refs/heads/main","pushedAt":"2024-05-24T07:48:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"larsrh","name":"Lars Hupel","path":"/larsrh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/923079?s=80&v=4"},"commit":{"message":"update for Isabelle2024","shortMessageHtmlLink":"update for Isabelle2024"}},{"before":"6c70cc01b8e12f47214e75fa9fb7fbc99d951325","after":"83bf92900946d9b966f5e45a2aaf341e362273f3","ref":"refs/heads/main","pushedAt":"2024-04-22T07:34:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"larsrh","name":"Lars Hupel","path":"/larsrh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/923079?s=80&v=4"},"commit":{"message":"adapt to upstream changes (AFP/a8ac72f7dd9f)","shortMessageHtmlLink":"adapt to upstream changes (AFP/a8ac72f7dd9f)"}},{"before":"5fba2ef17cd956421fa7f425f74dd6e4dd8b6b7c","after":"6c70cc01b8e12f47214e75fa9fb7fbc99d951325","ref":"refs/heads/main","pushedAt":"2024-01-22T07:24:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"larsrh","name":"Lars Hupel","path":"/larsrh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/923079?s=80&v=4"},"commit":{"message":"fix tests after 5fba2ef","shortMessageHtmlLink":"fix tests after <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/isabelle-prover/isabelle-go-codegen/commit/5fba2ef17cd956421fa7f425f74dd6e4dd8b6b7c/hovercard\" href=\"https://github.com/isabelle-prover/isabelle-go-codegen/commit/5fba2ef17cd956421fa7f425f74dd6e4dd8b6b7c\"><tt>5fba2ef</tt></a>"}},{"before":"f0a4768b9248c402443fe56ceba2fc6332eabd01","after":"5fba2ef17cd956421fa7f425f74dd6e4dd8b6b7c","ref":"refs/heads/main","pushedAt":"2024-01-22T06:32:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"larsrh","name":"Lars Hupel","path":"/larsrh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/923079?s=80&v=4"},"commit":{"message":"remove some code printing for strings\n\nThis avoids issues with dependency management in code printing.","shortMessageHtmlLink":"remove some code printing for strings"}},{"before":"c6cfd832f94d138e05f54e0d34b419f2b9af8010","after":null,"ref":"refs/heads/github-workflow","pushedAt":"2024-01-05T10:25:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"larsrh","name":"Lars Hupel","path":"/larsrh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/923079?s=80&v=4"}},{"before":"afd11de41734a3f7747cffc96422983ec9d7cba9","after":"f0a4768b9248c402443fe56ceba2fc6332eabd01","ref":"refs/heads/main","pushedAt":"2024-01-05T10:25:33.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"larsrh","name":"Lars Hupel","path":"/larsrh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/923079?s=80&v=4"},"commit":{"message":"Merge pull request #8 from isabelle-prover/github-workflow\n\nadd GitHub workflow","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2066891106\" data-permission-text=\"Title is private\" data-url=\"https://github.com/isabelle-prover/isabelle-go-codegen/issues/8\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/isabelle-prover/isabelle-go-codegen/pull/8/hovercard\" href=\"https://github.com/isabelle-prover/isabelle-go-codegen/pull/8\">#8</a> from isabelle-prover/github-workflow"}},{"before":null,"after":"c6cfd832f94d138e05f54e0d34b419f2b9af8010","ref":"refs/heads/github-workflow","pushedAt":"2024-01-05T07:54:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"larsrh","name":"Lars Hupel","path":"/larsrh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/923079?s=80&v=4"},"commit":{"message":"add GitHub workflow","shortMessageHtmlLink":"add GitHub workflow"}},{"before":"5f94de8551c3712162337e1980e9a735c7a572fd","after":"afd11de41734a3f7747cffc96422983ec9d7cba9","ref":"refs/heads/main","pushedAt":"2024-01-05T07:48:55.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"larsrh","name":"Lars Hupel","path":"/larsrh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/923079?s=80&v=4"},"commit":{"message":"fix Dockerfile yet again","shortMessageHtmlLink":"fix Dockerfile yet again"}},{"before":"39fd30f528fdacd9f70267ef9bc5ac793e21c37d","after":"5f94de8551c3712162337e1980e9a735c7a572fd","ref":"refs/heads/main","pushedAt":"2024-01-04T18:55:59.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"larsrh","name":"Lars Hupel","path":"/larsrh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/923079?s=80&v=4"},"commit":{"message":"make build conditional on ISABELLE_GO","shortMessageHtmlLink":"make build conditional on ISABELLE_GO"}},{"before":"12db6a125a945de126660a10e2c65f9a42509b6f","after":"39fd30f528fdacd9f70267ef9bc5ac793e21c37d","ref":"refs/heads/main","pushedAt":"2024-01-04T16:37:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"larsrh","name":"Lars Hupel","path":"/larsrh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/923079?s=80&v=4"},"commit":{"message":"add missing document file","shortMessageHtmlLink":"add missing document file"}},{"before":"4e7337c45472ff81de9c35e553161c2ab5169320","after":"12db6a125a945de126660a10e2c65f9a42509b6f","ref":"refs/heads/main","pushedAt":"2024-01-04T16:10:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stuebinm","name":"terru","path":"/stuebinm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24882790?s=80&v=4"},"commit":{"message":"use ISABELLE_GO env var from the go component\n\n(and adjust the test container to still work)","shortMessageHtmlLink":"use ISABELLE_GO env var from the go component"}},{"before":"551cfb4f9efa7668e2c91d08e3a2ae154d0c2eee","after":"4e7337c45472ff81de9c35e553161c2ab5169320","ref":"refs/heads/main","pushedAt":"2024-01-03T12:08:32.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"larsrh","name":"Lars Hupel","path":"/larsrh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/923079?s=80&v=4"},"commit":{"message":"AFP export script","shortMessageHtmlLink":"AFP export script"}},{"before":"3aecc220c5983c7b8364c7c51cb96b712a064ee3","after":"551cfb4f9efa7668e2c91d08e3a2ae154d0c2eee","ref":"refs/heads/main","pushedAt":"2024-01-03T11:59:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"larsrh","name":"Lars Hupel","path":"/larsrh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/923079?s=80&v=4"},"commit":{"message":"rename COPYRIGHT file","shortMessageHtmlLink":"rename COPYRIGHT file"}},{"before":"ef77a6527b706a61b84a58a299c51e34ae180fdc","after":"3aecc220c5983c7b8364c7c51cb96b712a064ee3","ref":"refs/heads/main","pushedAt":"2024-01-03T11:55:59.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"larsrh","name":"Lars Hupel","path":"/larsrh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/923079?s=80&v=4"},"commit":{"message":"split big test session","shortMessageHtmlLink":"split big test session"}},{"before":"3ff4ef18dc8711e9a80de85cfa2a921c597b430d","after":"ef77a6527b706a61b84a58a299c51e34ae180fdc","ref":"refs/heads/main","pushedAt":"2024-01-03T11:35:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"larsrh","name":"Lars Hupel","path":"/larsrh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/923079?s=80&v=4"},"commit":{"message":"split big test session","shortMessageHtmlLink":"split big test session"}},{"before":"5e14913700b62d74a2ebb580c2ea302410eb3790","after":"3ff4ef18dc8711e9a80de85cfa2a921c597b430d","ref":"refs/heads/main","pushedAt":"2024-01-03T08:12:41.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"larsrh","name":"Lars Hupel","path":"/larsrh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/923079?s=80&v=4"},"commit":{"message":"Merge pull request #1 from diekmann/instructions\n\nImprove RBT Testing Instructions","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1920773444\" data-permission-text=\"Title is private\" data-url=\"https://github.com/isabelle-prover/isabelle-go-codegen/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/isabelle-prover/isabelle-go-codegen/pull/1/hovercard\" href=\"https://github.com/isabelle-prover/isabelle-go-codegen/pull/1\">#1</a> from diekmann/instructions"}},{"before":null,"after":"bfd9d2e9ca21edb1c7358bcb6c5ec6993a7e5472","ref":"refs/heads/better-ifs","pushedAt":"2023-12-23T19:33:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"stuebinm","name":"terru","path":"/stuebinm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24882790?s=80&v=4"},"commit":{"message":"more idiomatic if-statements in pattern matches\n\nthis implements the suggestions given in https://github.com/isabelle-prover/isabelle-go-codegen/issues/5.\n\nTo remove extra {} blocks in the translation of multi-equation functions,\nthis introduces a new reordering of patterns: we first check patterns which\nactually deconstruct something (i.e. which are an IConst or application),\nand only then apply the renamings for patterns which consist only of an IVar.\n\nThis ensures that even without the {} block we won't \"leak\" variables into\nthe scope of other function equations, since we're guaranteed to already be\nwithin at least one if-statement, which is itself its own scope.","shortMessageHtmlLink":"more idiomatic if-statements in pattern matches"}},{"before":"e58dc743186b6ba8906ae6eaf18aea461fc84da1","after":"5e14913700b62d74a2ebb580c2ea302410eb3790","ref":"refs/heads/main","pushedAt":"2023-10-05T16:10:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"larsrh","name":"Lars Hupel","path":"/larsrh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/923079?s=80&v=4"},"commit":{"message":"add arXiv badge","shortMessageHtmlLink":"add arXiv badge"}},{"before":"fa8c862d8ee8fc38b2ae6bc3256408e9541841b3","after":"e58dc743186b6ba8906ae6eaf18aea461fc84da1","ref":"refs/heads/main","pushedAt":"2023-10-04T06:20:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"larsrh","name":"Lars Hupel","path":"/larsrh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/923079?s=80&v=4"},"commit":{"message":"fix broken Docker command","shortMessageHtmlLink":"fix broken Docker command"}},{"before":"53ee6628c4e8167a98cfa5296b0350ab96216338","after":"fa8c862d8ee8fc38b2ae6bc3256408e9541841b3","ref":"refs/heads/main","pushedAt":"2023-10-03T03:58:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"larsrh","name":"Lars Hupel","path":"/larsrh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/923079?s=80&v=4"},"commit":{"message":"add DOI badge","shortMessageHtmlLink":"add DOI badge"}},{"before":"088dd997f43042752672c3a90b3f28c1d0e7e509","after":"53ee6628c4e8167a98cfa5296b0350ab96216338","ref":"refs/heads/main","pushedAt":"2023-10-03T03:53:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"larsrh","name":"Lars Hupel","path":"/larsrh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/923079?s=80&v=4"},"commit":{"message":"note build time","shortMessageHtmlLink":"note build time"}},{"before":"7da408545ea666c550b12a52915e5e543384c788","after":"088dd997f43042752672c3a90b3f28c1d0e7e509","ref":"refs/heads/main","pushedAt":"2023-10-01T15:56:17.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"larsrh","name":"Lars Hupel","path":"/larsrh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/923079?s=80&v=4"},"commit":{"message":"Merge pull request #4 from diekmann/newlinenits\n\nnit: remove newline at beginning of file","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1920828398\" data-permission-text=\"Title is private\" data-url=\"https://github.com/isabelle-prover/isabelle-go-codegen/issues/4\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/isabelle-prover/isabelle-go-codegen/pull/4/hovercard\" href=\"https://github.com/isabelle-prover/isabelle-go-codegen/pull/4\">#4</a> from diekmann/newlinenits"}},{"before":"a49e641ef0be81ae527f5a91127dbf94e384e8b5","after":"7da408545ea666c550b12a52915e5e543384c788","ref":"refs/heads/main","pushedAt":"2023-10-01T15:18:56.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"larsrh","name":"Lars Hupel","path":"/larsrh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/923079?s=80&v=4"},"commit":{"message":"Merge pull request #3 from diekmann/goversion","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1920819886\" data-permission-text=\"Title is private\" data-url=\"https://github.com/isabelle-prover/isabelle-go-codegen/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/isabelle-prover/isabelle-go-codegen/pull/3/hovercard\" href=\"https://github.com/isabelle-prover/isabelle-go-codegen/pull/3\">#3</a> from diekmann/goversion"}},{"before":null,"after":"a49e641ef0be81ae527f5a91127dbf94e384e8b5","ref":"refs/heads/main","pushedAt":"2023-09-29T14:02:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"larsrh","name":"Lars Hupel","path":"/larsrh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/923079?s=80&v=4"},"commit":{"message":"Go code generator\n\nCo-authored-by: stuebinm <stuebinm@disroot.org>","shortMessageHtmlLink":"Go code generator"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0xMlQwNjowNTowMi4wMDAwMDBazwAAAARi8DBr","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOS0yOVQxNDowMjoxOS4wMDAwMDBazwAAAAOL4AWN"}},"title":"Activity · isabelle-prover/isabelle-go-codegen"}