{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":599169543,"defaultBranch":"master","name":"anthem-next","ownerLogin":"potassco","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-02-08T15:43:11.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/19286215?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1715264444.0","currentOid":""},"activityList":{"items":[{"before":"ef3ed558423ca5d7d6da7b79e607bfdfa16a63bd","after":"6ee62c7b2c938beca932b8a7cfbd2cd582a87b04","ref":"refs/heads/zach/inductive_lemmas","pushedAt":"2024-05-09T14:21:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ZachJHansen","name":null,"path":"/ZachJHansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26527303?s=80&v=4"},"commit":{"message":"cargo fmt","shortMessageHtmlLink":"cargo fmt"}},{"before":null,"after":"ef3ed558423ca5d7d6da7b79e607bfdfa16a63bd","ref":"refs/heads/zach/inductive_lemmas","pushedAt":"2024-05-09T14:20:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ZachJHansen","name":null,"path":"/ZachJHansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26527303?s=80&v=4"},"commit":{"message":"Adding inductive lemmas to ProofOutlines","shortMessageHtmlLink":"Adding inductive lemmas to ProofOutlines"}},{"before":null,"after":"10c54685d4fab5443857093d0f8353344db9ebad","ref":"refs/heads/zach/proof_outlines","pushedAt":"2024-05-07T14:27:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ZachJHansen","name":null,"path":"/ZachJHansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26527303?s=80&v=4"},"commit":{"message":"adding test for ProofOutline constructor and appeasing clippy","shortMessageHtmlLink":"adding test for ProofOutline constructor and appeasing clippy"}},{"before":"231854522b9bb4009f8d86bd0e055773d947a61d","after":"ec55919b0d02165aa9aae45ca4f5f66695a37c9f","ref":"refs/heads/master","pushedAt":"2024-05-06T22:35:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"teiesti","name":"Tobias Stolzmann","path":"/teiesti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4253772?s=80&v=4"},"commit":{"message":"adding definitions to control language AST","shortMessageHtmlLink":"adding definitions to control language AST"}},{"before":"87186b88c33f2512e74a1d09d50ef912c9ccb4bf","after":null,"ref":"refs/heads/zach/defs","pushedAt":"2024-05-06T22:35:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"teiesti","name":"Tobias Stolzmann","path":"/teiesti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4253772?s=80&v=4"}},{"before":"f698be8d192e4c9047cec905667862061fcc406f","after":"83c08997503b55458174b7893a1c101047dac123","ref":"refs/heads/zach/decompose2","pushedAt":"2024-05-06T17:01:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ZachJHansen","name":null,"path":"/ZachJHansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26527303?s=80&v=4"},"commit":{"message":"appeasing clippy","shortMessageHtmlLink":"appeasing clippy"}},{"before":null,"after":"f698be8d192e4c9047cec905667862061fcc406f","ref":"refs/heads/zach/decompose2","pushedAt":"2024-05-06T16:51:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ZachJHansen","name":null,"path":"/ZachJHansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26527303?s=80&v=4"},"commit":{"message":"Adding a test for decomposing ValidatedExternalEquivalenceTask","shortMessageHtmlLink":"Adding a test for decomposing ValidatedExternalEquivalenceTask"}},{"before":null,"after":"87186b88c33f2512e74a1d09d50ef912c9ccb4bf","ref":"refs/heads/zach/defs","pushedAt":"2024-05-03T20:02:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ZachJHansen","name":null,"path":"/ZachJHansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26527303?s=80&v=4"},"commit":{"message":"adding definitions to control language AST","shortMessageHtmlLink":"adding definitions to control language AST"}},{"before":"7f27c432631fe8f776f6809c08175736ed36f028","after":"84870f7ca990f7a22ea2ad16623bec5e5478dfc1","ref":"refs/heads/tobias/external_equivalence_v2","pushedAt":"2024-05-03T18:28:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ZachJHansen","name":null,"path":"/ZachJHansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26527303?s=80&v=4"},"commit":{"message":"appeasing clippy","shortMessageHtmlLink":"appeasing clippy"}},{"before":"017575e8264890fb1f98a2b248bf4cae37383d38","after":"7f27c432631fe8f776f6809c08175736ed36f028","ref":"refs/heads/tobias/external_equivalence_v2","pushedAt":"2024-05-03T18:22:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ZachJHansen","name":null,"path":"/ZachJHansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26527303?s=80&v=4"},"commit":{"message":"implementing decompose function for AssembledExternalEquivalenceTask","shortMessageHtmlLink":"implementing decompose function for AssembledExternalEquivalenceTask"}},{"before":null,"after":"017575e8264890fb1f98a2b248bf4cae37383d38","ref":"refs/heads/tobias/external_equivalence_v2","pushedAt":"2024-05-03T17:43:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"teiesti","name":"Tobias Stolzmann","path":"/teiesti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4253772?s=80&v=4"},"commit":{"message":"TODO","shortMessageHtmlLink":"TODO"}},{"before":"4dbcc6dffc9496023c24ed046a0f3a5cf70668d6","after":"c6124f45412cd96c8d36edbece3fdd77f5175b33","ref":"refs/heads/zach/tests","pushedAt":"2024-05-03T15:32:15.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"teiesti","name":"Tobias Stolzmann","path":"/teiesti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4253772?s=80&v=4"},"commit":{"message":"Make anthem a library","shortMessageHtmlLink":"Make anthem a library"}},{"before":"9917082c11ae390b3ed1f4b5a333e4afe73bfb98","after":"4dbcc6dffc9496023c24ed046a0f3a5cf70668d6","ref":"refs/heads/zach/tests","pushedAt":"2024-05-03T15:31:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"teiesti","name":"Tobias Stolzmann","path":"/teiesti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4253772?s=80&v=4"},"commit":{"message":"Make anthem a library","shortMessageHtmlLink":"Make anthem a library"}},{"before":"d7500e7c3c6316c55d8b4dc74e89815a9660ccec","after":null,"ref":"refs/heads/zach/res","pushedAt":"2024-05-03T15:13:47.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"teiesti","name":"Tobias Stolzmann","path":"/teiesti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4253772?s=80&v=4"}},{"before":"8a67cc3b2b0ba08058b283f69d1b4a64cdfd7076","after":"231854522b9bb4009f8d86bd0e055773d947a61d","ref":"refs/heads/master","pushedAt":"2024-05-03T15:13:47.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"teiesti","name":"Tobias Stolzmann","path":"/teiesti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4253772?s=80&v=4"},"commit":{"message":"addressing comments in pr 101","shortMessageHtmlLink":"addressing comments in pr 101"}},{"before":"5e1858eb43fc6a9044ad57e3bd8708c2ae34f8f9","after":"d7500e7c3c6316c55d8b4dc74e89815a9660ccec","ref":"refs/heads/zach/res","pushedAt":"2024-05-03T15:10:21.000Z","pushType":"push","commitsCount":14,"pusher":{"login":"ZachJHansen","name":null,"path":"/ZachJHansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26527303?s=80&v=4"},"commit":{"message":"Merge branch 'master' into zach/res","shortMessageHtmlLink":"Merge branch 'master' into zach/res"}},{"before":"ec69df724446c47657f4ff07254aa64b1c17bfb5","after":null,"ref":"refs/heads/tobias/strong_equivalence","pushedAt":"2024-05-03T15:09:50.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ZachJHansen","name":null,"path":"/ZachJHansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26527303?s=80&v=4"}},{"before":"e4670c94ba8419c813621328d4c57c900116f87d","after":"8a67cc3b2b0ba08058b283f69d1b4a64cdfd7076","ref":"refs/heads/master","pushedAt":"2024-05-03T15:09:49.000Z","pushType":"pr_merge","commitsCount":13,"pusher":{"login":"ZachJHansen","name":null,"path":"/ZachJHansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26527303?s=80&v=4"},"commit":{"message":"Add a README to all the examples","shortMessageHtmlLink":"Add a README to all the examples"}},{"before":"68a0964528c188481e67b517391dac89528e767a","after":"9917082c11ae390b3ed1f4b5a333e4afe73bfb98","ref":"refs/heads/zach/tests","pushedAt":"2024-05-03T15:08:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ZachJHansen","name":null,"path":"/ZachJHansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26527303?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"846ac3879557f818569b21c447d106147a68ddf5","after":"ec69df724446c47657f4ff07254aa64b1c17bfb5","ref":"refs/heads/tobias/strong_equivalence","pushedAt":"2024-05-03T15:07:13.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"teiesti","name":"Tobias Stolzmann","path":"/teiesti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4253772?s=80&v=4"},"commit":{"message":"Add a README to all the examples","shortMessageHtmlLink":"Add a README to all the examples"}},{"before":null,"after":"68a0964528c188481e67b517391dac89528e767a","ref":"refs/heads/zach/tests","pushedAt":"2024-05-03T15:03:56.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ZachJHansen","name":null,"path":"/ZachJHansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26527303?s=80&v=4"},"commit":{"message":"buggy wip","shortMessageHtmlLink":"buggy wip"}},{"before":"68ce0cf0d2989d530f441a7d1a284e023b641991","after":"846ac3879557f818569b21c447d106147a68ddf5","ref":"refs/heads/tobias/strong_equivalence","pushedAt":"2024-05-03T15:00:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"teiesti","name":"Tobias Stolzmann","path":"/teiesti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4253772?s=80&v=4"},"commit":{"message":"Add READMEs to the examples","shortMessageHtmlLink":"Add READMEs to the examples"}},{"before":"8c78b518e037ccd696c0d00f8793c4be4cb631f7","after":"7547f3c8a44982e5bd110baa665bafb0ab3e5676","ref":"refs/heads/zach/definitions","pushedAt":"2024-05-03T14:42:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ZachJHansen","name":null,"path":"/ZachJHansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26527303?s=80&v=4"},"commit":{"message":"adding parsing/formatting test cases","shortMessageHtmlLink":"adding parsing/formatting test cases"}},{"before":"8a5121a182d18f157f61cdd1f6813df4b708d70c","after":"68ce0cf0d2989d530f441a7d1a284e023b641991","ref":"refs/heads/tobias/strong_equivalence","pushedAt":"2024-05-03T14:15:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"teiesti","name":"Tobias Stolzmann","path":"/teiesti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4253772?s=80&v=4"},"commit":{"message":"Simplify simplify","shortMessageHtmlLink":"Simplify simplify"}},{"before":"b605eddbb554e218471b5c7fcc414fff0392f65f","after":"8c78b518e037ccd696c0d00f8793c4be4cb631f7","ref":"refs/heads/zach/definitions","pushedAt":"2024-05-02T20:28:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ZachJHansen","name":null,"path":"/ZachJHansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26527303?s=80&v=4"},"commit":{"message":"fixing a placeholder syntax bug in ex2/specification.spec","shortMessageHtmlLink":"fixing a placeholder syntax bug in ex2/specification.spec"}},{"before":"880cd8bfc2314ec507858bb7f4713edd0a2d26a0","after":"b605eddbb554e218471b5c7fcc414fff0392f65f","ref":"refs/heads/zach/definitions","pushedAt":"2024-05-02T20:23:18.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ZachJHansen","name":null,"path":"/ZachJHansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26527303?s=80&v=4"},"commit":{"message":"fixing parsing bug for user guides","shortMessageHtmlLink":"fixing parsing bug for user guides"}},{"before":"72dd67f148198ddfdf6c14cc3fad15ddba77c8c6","after":"880cd8bfc2314ec507858bb7f4713edd0a2d26a0","ref":"refs/heads/zach/definitions","pushedAt":"2024-05-02T19:05:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ZachJHansen","name":null,"path":"/ZachJHansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26527303?s=80&v=4"},"commit":{"message":"finishing external equivalence decomposition","shortMessageHtmlLink":"finishing external equivalence decomposition"}},{"before":"d48c6ac623e7a323128a58039811703912327b72","after":"6a18029b973e6714999cf18b31d82dd0d2899771","ref":"refs/heads/zach/anya2","pushedAt":"2024-05-02T02:07:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ZachJHansen","name":null,"path":"/ZachJHansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26527303?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"305a1e8d993e36f962fd0fdf5307af6f88339e20","after":"72dd67f148198ddfdf6c14cc3fad15ddba77c8c6","ref":"refs/heads/zach/definitions","pushedAt":"2024-05-01T22:09:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ZachJHansen","name":null,"path":"/ZachJHansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26527303?s=80&v=4"},"commit":{"message":"Adding CheckDefinition trait","shortMessageHtmlLink":"Adding CheckDefinition trait"}},{"before":"3e223ccc5e0db3481683f1e81197d9085fdc66e7","after":"d48c6ac623e7a323128a58039811703912327b72","ref":"refs/heads/zach/anya2","pushedAt":"2024-05-01T20:27:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ZachJHansen","name":null,"path":"/ZachJHansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26527303?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAERbH3tAA","startCursor":null,"endCursor":null}},"title":"Activity · potassco/anthem-next"}