{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":21950486,"defaultBranch":"master","name":"l4v","ownerLogin":"seL4","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2014-07-17T17:08:39.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6878957?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1714663658.0","currentOid":""},"activityList":{"items":[{"before":"8455f0bc621a89a66a1e5c8c871434d6c9bd4e1c","after":"108d2d60079ada04e613caf1d5a6ea8f45921232","ref":"refs/heads/michaelm-linked_list_on_master","pushedAt":"2024-05-03T05:02:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"michaelmcinerney","name":null,"path":"/michaelmcinerney","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69492062?s=80&v=4"},"commit":{"message":"arm-hyp refine: fix error\n\nSigned-off-by: Michael McInerney <michael.mcinerney@proofcraft.systems>","shortMessageHtmlLink":"arm-hyp refine: fix error"}},{"before":null,"after":"8455f0bc621a89a66a1e5c8c871434d6c9bd4e1c","ref":"refs/heads/michaelm-linked_list_on_master","pushedAt":"2024-05-02T15:27:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"michaelmcinerney","name":null,"path":"/michaelmcinerney","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69492062?s=80&v=4"},"commit":{"message":"crefine: update Move_C for linked lists\n\nSigned-off-by: Michael McInerney <michael.mcinerney@proofcraft.systems>","shortMessageHtmlLink":"crefine: update Move_C for linked lists"}},{"before":"4b42c6c81c2a7c0d37669c2000b47cb057f96eee","after":"6d6bf32e9a5f32a23029ebc927ab96db87405213","ref":"refs/heads/isabelle-2024","pushedAt":"2024-04-30T01:59:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"corlewis","name":"Corey Lewis","path":"/corlewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11746559?s=80&v=4"},"commit":{"message":"crefine: update to Isabelle2024\n\nSigned-off-by: Corey Lewis <corey.lewis@proofcraft.systems>","shortMessageHtmlLink":"crefine: update to Isabelle2024"}},{"before":"254c5dcfff1062cf2eeabd6674802cfe680606e9","after":"4b42c6c81c2a7c0d37669c2000b47cb057f96eee","ref":"refs/heads/isabelle-2024","pushedAt":"2024-04-29T23:50:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"c-parser: make table.ML depend on Makefile\n\nSince the contents of the generated table.ML depend on the Makefile,\nthe Makefile itself should be a dependency.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"c-parser: make table.ML depend on Makefile"}},{"before":"604211550f162f42ed6b8ce69077290411b30f25","after":"254c5dcfff1062cf2eeabd6674802cfe680606e9","ref":"refs/heads/isabelle-2024","pushedAt":"2024-04-29T23:30:33.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"corlewis","name":"Corey Lewis","path":"/corlewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11746559?s=80&v=4"},"commit":{"message":"crefine/lib: update to Isabelle2024\n\nSigned-off-by: Corey Lewis <corey.lewis@proofcraft.systems>","shortMessageHtmlLink":"crefine/lib: update to Isabelle2024"}},{"before":"e3a3fc52983fc15e86fd06a61539b4ca357f0998","after":"604211550f162f42ed6b8ce69077290411b30f25","ref":"refs/heads/isabelle-2024","pushedAt":"2024-04-29T23:20:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"c-parser: more tweaks to table.ML for Isabelle2024\n\nsrc/Pure/General/table.ML in Isabelle2024 has a new function\nunsynchronized_cache which draws in further Isabelle library features\nthat we have so far not included in the standalone parser. The new\nfunction isn't used in the standalone parser, so we remove it from\nthe signature and struct in the copying process.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"c-parser: more tweaks to table.ML for Isabelle2024"}},{"before":"63e77f59b40adc5eabae5249e1aa49311239075d","after":"e3a3fc52983fc15e86fd06a61539b4ca357f0998","ref":"refs/heads/isabelle-2024","pushedAt":"2024-04-29T13:02:00.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"corlewis","name":"Corey Lewis","path":"/corlewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11746559?s=80&v=4"},"commit":{"message":"autocorres: update to Isabelle2024\n\nSigned-off-by: Corey Lewis <corey.lewis@proofcraft.systems>","shortMessageHtmlLink":"autocorres: update to Isabelle2024"}},{"before":"7cc89a4a698481989c137ac7b638c0e445f57951","after":"63e77f59b40adc5eabae5249e1aa49311239075d","ref":"refs/heads/isabelle-2024","pushedAt":"2024-04-29T08:54:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"corlewis","name":"Corey Lewis","path":"/corlewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11746559?s=80&v=4"},"commit":{"message":"c-parser: update to Isabelle2024\n\n- Global_Theory.add_defs was downgraded to Global_Theory.add_def\nSigned-off-by: Corey Lewis <corey.lewis@proofcraft.systems>","shortMessageHtmlLink":"c-parser: update to Isabelle2024"}},{"before":"54d2d926d0d7ba3989b8032271afb0406936177a","after":"7cc89a4a698481989c137ac7b638c0e445f57951","ref":"refs/heads/isabelle-2024","pushedAt":"2024-04-29T08:03:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"lib: update old-style \"defs\" to Isabelle2024\n\nThe old Global_Theory.add_defs command lost some options and no longer\nprocesses attributes. This commit reflects these changes up into the\n\"defs\" command:\n\n- remove \"overloading\" and \"unchecked\" options\n- remove attribute spec -- use pure binding for thm name\n- only one equation per \"defs\" command\n- remove deprecation warning, because we are using this command\n  intentionally\n- document these changes in the header\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"lib: update old-style \"defs\" to Isabelle2024"}},{"before":"ac42f26320fa6dd0565b1d0b8c5290d6d091ef6f","after":"54d2d926d0d7ba3989b8032271afb0406936177a","ref":"refs/heads/isabelle-2024","pushedAt":"2024-04-29T04:19:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"corlewis","name":"Corey Lewis","path":"/corlewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11746559?s=80&v=4"},"commit":{"message":"lib: update more files to Isabelle2024\n\n- simproc setup has changed slightly\n- can no longer catch all exceptions\n- Consts signature change\n\nSigned-off-by: Corey Lewis <corey.lewis@proofcraft.systems>","shortMessageHtmlLink":"lib: update more files to Isabelle2024"}},{"before":"331ecd0e4b640835734808e2bf7956959d425014","after":"ac42f26320fa6dd0565b1d0b8c5290d6d091ef6f","ref":"refs/heads/isabelle-2024","pushedAt":"2024-04-29T00:08:45.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"lib: update to Isabelle2024\n\n- simproc setup has changed slightly\n- can no longer catch all exceptions\n- Term_Subst renames\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"lib: update to Isabelle2024"}},{"before":null,"after":"331ecd0e4b640835734808e2bf7956959d425014","ref":"refs/heads/isabelle-2024","pushedAt":"2024-04-26T08:00:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"lib: update to Isabelle2024\n\n- simproc setup has changed slightly\n- can no longer catch all exceptions\n- Term_Subst renames\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"lib: update to Isabelle2024"}},{"before":"2c85119a35895780e86ffaa482187bad0f423434","after":"c5eb80c00445b08feaa700b0a7803785e915581c","ref":"refs/heads/exynos5-ver","pushedAt":"2024-04-24T12:18:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"github: add exynos5 workflow for branch push\n\nUse the deployment action to push the rebased version of the branch\nafter proofs complete successfully.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"github: add exynos5 workflow for branch push"}},{"before":"cf7f2ea7efa442ce1371cd8c379c00ce0cf5ef37","after":"2f059bb99f03d80e13b6e13490df55764a519c1a","ref":"refs/heads/imx8-fpu-ver","pushedAt":"2024-04-24T12:01:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"github: add imx8mm workflow for branch push\n\nUse the deployment action to push the rebased version of the branch\nafter proofs complete successfully.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"github: add imx8mm workflow for branch push"}},{"before":"cf7f2ea7efa442ce1371cd8c379c00ce0cf5ef37","after":"2f059bb99f03d80e13b6e13490df55764a519c1a","ref":"refs/heads/imx8-fpu-ver-rebased","pushedAt":"2024-04-24T09:56:46.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"github: add imx8mm workflow for branch push\n\nUse the deployment action to push the rebased version of the branch\nafter proofs complete successfully.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"github: add imx8mm workflow for branch push"}},{"before":"2c85119a35895780e86ffaa482187bad0f423434","after":"c5eb80c00445b08feaa700b0a7803785e915581c","ref":"refs/heads/exynos5-ver-rebased","pushedAt":"2024-04-24T09:56:42.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"github: add exynos5 workflow for branch push\n\nUse the deployment action to push the rebased version of the branch\nafter proofs complete successfully.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"github: add exynos5 workflow for branch push"}},{"before":"b7e4f59f9eff402d1bb50d668aa9d46e079f51cf","after":"eb3db4bf34b3e7584093f6e8e95503659a12351d","ref":"refs/heads/master","pushedAt":"2024-04-24T09:56:19.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"corlewis","name":"Corey Lewis","path":"/corlewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11746559?s=80&v=4"},"commit":{"message":"lib: add wp_comb section to crunch\n\nSigned-off-by: Corey Lewis <corey.lewis@proofcraft.systems>","shortMessageHtmlLink":"lib: add wp_comb section to crunch"}},{"before":"fc58b54eaa95c481cc1c4d763e5635d0703bb435","after":"cf7f2ea7efa442ce1371cd8c379c00ce0cf5ef37","ref":"refs/heads/imx8-fpu-ver","pushedAt":"2024-04-22T09:55:29.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"github: add imx8mm workflow for branch push\n\nUse the deployment action to push the rebased version of the branch\nafter proofs complete successfully.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"github: add imx8mm workflow for branch push"}},{"before":"054671d2fe28a142079852f8518a88c8bfe93762","after":"2c85119a35895780e86ffaa482187bad0f423434","ref":"refs/heads/exynos5-ver","pushedAt":"2024-04-22T07:35:39.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"github: add exynos5 workflow for branch push\n\nUse the deployment action to push the rebased version of the branch\nafter proofs complete successfully.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"github: add exynos5 workflow for branch push"}},{"before":"fc58b54eaa95c481cc1c4d763e5635d0703bb435","after":"cf7f2ea7efa442ce1371cd8c379c00ce0cf5ef37","ref":"refs/heads/imx8-fpu-ver-rebased","pushedAt":"2024-04-22T04:33:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"github: add imx8mm workflow for branch push\n\nUse the deployment action to push the rebased version of the branch\nafter proofs complete successfully.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"github: add imx8mm workflow for branch push"}},{"before":"054671d2fe28a142079852f8518a88c8bfe93762","after":"2c85119a35895780e86ffaa482187bad0f423434","ref":"refs/heads/exynos5-ver-rebased","pushedAt":"2024-04-22T04:33:15.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"github: add exynos5 workflow for branch push\n\nUse the deployment action to push the rebased version of the branch\nafter proofs complete successfully.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"github: add exynos5 workflow for branch push"}},{"before":"a6756dd37f5e8d39950690f9e7543fc1f6bfa044","after":"b7e4f59f9eff402d1bb50d668aa9d46e079f51cf","ref":"refs/heads/master","pushedAt":"2024-04-22T04:32:54.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"corlewis","name":"Corey Lewis","path":"/corlewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11746559?s=80&v=4"},"commit":{"message":"proof: update for changes to wp attributes\n\nSigned-off-by: Corey Lewis <corey.lewis@proofcraft.systems>","shortMessageHtmlLink":"proof: update for changes to wp attributes"}},{"before":"b0f4330925b3259b86bb0d8e4aabe01e8fa4bdb3","after":"054671d2fe28a142079852f8518a88c8bfe93762","ref":"refs/heads/exynos5-ver","pushedAt":"2024-04-22T02:20:00.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"github: add exynos5 workflow for branch push\n\nUse the deployment action to push the rebased version of the branch\nafter proofs complete successfully.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"github: add exynos5 workflow for branch push"}},{"before":"5fe0c0ca6b80b110142b451c9c21e1cb0178acae","after":"fc58b54eaa95c481cc1c4d763e5635d0703bb435","ref":"refs/heads/imx8-fpu-ver","pushedAt":"2024-04-22T02:19:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"github: add imx8mm workflow for branch push\n\nUse the deployment action to push the rebased version of the branch\nafter proofs complete successfully.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"github: add imx8mm workflow for branch push"}},{"before":"5fe0c0ca6b80b110142b451c9c21e1cb0178acae","after":"fc58b54eaa95c481cc1c4d763e5635d0703bb435","ref":"refs/heads/imx8-fpu-ver-rebased","pushedAt":"2024-04-22T02:06:45.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"github: add imx8mm workflow for branch push\n\nUse the deployment action to push the rebased version of the branch\nafter proofs complete successfully.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"github: add imx8mm workflow for branch push"}},{"before":"b0f4330925b3259b86bb0d8e4aabe01e8fa4bdb3","after":"054671d2fe28a142079852f8518a88c8bfe93762","ref":"refs/heads/exynos5-ver-rebased","pushedAt":"2024-04-22T02:06:45.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"github: add exynos5 workflow for branch push\n\nUse the deployment action to push the rebased version of the branch\nafter proofs complete successfully.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"github: add exynos5 workflow for branch push"}},{"before":"8194cd1c29a3b4b7903db5d5d5b93eec09bd05d9","after":"a6756dd37f5e8d39950690f9e7543fc1f6bfa044","ref":"refs/heads/master","pushedAt":"2024-04-22T02:06:24.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"corlewis","name":"Corey Lewis","path":"/corlewis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11746559?s=80&v=4"},"commit":{"message":"lib/monads/wp: improve README's description of rule ordering\n\nThis tries to remove ambiguity around the order in which `wp`, `wp_comb`\nand `wp_split` rules are applied.\n\nSigned-off-by: Corey Lewis <corey.lewis@proofcraft.systems>","shortMessageHtmlLink":"lib/monads/wp: improve README's description of rule ordering"}},{"before":"ba1f3931affb2aa4c63c452e1b6c97e7aa58bb42","after":"b0f4330925b3259b86bb0d8e4aabe01e8fa4bdb3","ref":"refs/heads/exynos5-ver","pushedAt":"2024-04-15T03:33:13.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"github: add exynos5 workflow for branch push\n\nUse the deployment action to push the rebased version of the branch\nafter proofs complete successfully.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"github: add exynos5 workflow for branch push"}},{"before":"c1b32356741f1c53fa524011974e39a0c3b24f12","after":"5fe0c0ca6b80b110142b451c9c21e1cb0178acae","ref":"refs/heads/imx8-fpu-ver","pushedAt":"2024-04-15T03:32:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"github: add imx8mm workflow for branch push\n\nUse the deployment action to push the rebased version of the branch\nafter proofs complete successfully.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"github: add imx8mm workflow for branch push"}},{"before":"c1b32356741f1c53fa524011974e39a0c3b24f12","after":"5fe0c0ca6b80b110142b451c9c21e1cb0178acae","ref":"refs/heads/imx8-fpu-ver-rebased","pushedAt":"2024-04-15T03:18:40.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"github: add imx8mm workflow for branch push\n\nUse the deployment action to push the rebased version of the branch\nafter proofs complete successfully.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"github: add imx8mm workflow for branch push"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEQG0F5wA","startCursor":null,"endCursor":null}},"title":"Activity · seL4/l4v"}