{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":404036659,"defaultBranch":"main","name":"VyZX","ownerLogin":"inQWIRE","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-09-07T15:49:42.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/43385500?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1714349209.0","currentOid":""},"activityList":{"items":[{"before":"772846c0eaebd9e4bca8ea3419b73744e2c79a63","after":"7937031b7034c4bda3d8e9e865a71dfe506fc4cc","ref":"refs/heads/main","pushedAt":"2024-05-03T20:18:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"caldwellb","name":"Ben Caldwell","path":"/caldwellb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53534983?s=80&v=4"},"commit":{"message":"Fixed cup-cap-flip","shortMessageHtmlLink":"Fixed cup-cap-flip"}},{"before":"ef56ad60873467c21ec22c652d8e4a7e394083d2","after":"aae78c29489538f21f26e5e9e54550c299329483","ref":"refs/heads/graph-representation","pushedAt":"2024-05-01T02:23:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wjbs","name":"William Spencer","path":"/wjbs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16036974?s=80&v=4"},"commit":{"message":"Refactored to separate out some general lemmas to the top of the file, preparing for creating the newer version (with built-in permutation on each side to allow for creating any diagram)","shortMessageHtmlLink":"Refactored to separate out some general lemmas to the top of the file…"}},{"before":"a8d9feab53c4df01a89a2ef29164a28fa79db448","after":"48d276d599c4d70f11471c13ef7b9e36e5d6294b","ref":"refs/heads/cat-abs-temp","pushedAt":"2024-04-30T01:36:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lczielinski","name":"Laura Zielinski","path":"/lczielinski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76456473?s=80&v=4"},"commit":{"message":"almost done","shortMessageHtmlLink":"almost done"}},{"before":"31045e5091c4b452c1f4e19564257da1ba2fe3eb","after":"ef56ad60873467c21ec22c652d8e4a7e394083d2","ref":"refs/heads/graph-representation","pushedAt":"2024-04-29T21:25:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wjbs","name":"William Spencer","path":"/wjbs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16036974?s=80&v=4"},"commit":{"message":"Completed graph translation in alternate version, with proof of totality for WF graphs but without proof of correctness","shortMessageHtmlLink":"Completed graph translation in alternate version, with proof of total…"}},{"before":"887a118deb45364443dc6570660f2cd33f373092","after":"a8d9feab53c4df01a89a2ef29164a28fa79db448","ref":"refs/heads/cat-abs-temp","pushedAt":"2024-04-29T20:28:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lczielinski","name":"Laura Zielinski","path":"/lczielinski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76456473?s=80&v=4"},"commit":{"message":"deleting","shortMessageHtmlLink":"deleting"}},{"before":null,"after":"31045e5091c4b452c1f4e19564257da1ba2fe3eb","ref":"refs/heads/graph-representation","pushedAt":"2024-04-29T00:06:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"wjbs","name":"William Spencer","path":"/wjbs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16036974?s=80&v=4"},"commit":{"message":"Some progress on rewrite (non-building). Commit to mark divergence of _alt version, which is experimenting with storing inputs and outputs as explicit references to nodes (the node each in/output links to) rather than as pseudo-nodes themselves with additional WF restrictions (e.g. to have degree exactly 1).","shortMessageHtmlLink":"Some progress on rewrite (non-building). Commit to mark divergence of…"}},{"before":null,"after":"887a118deb45364443dc6570660f2cd33f373092","ref":"refs/heads/cat-abs-temp","pushedAt":"2024-04-26T20:09:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lczielinski","name":"Laura Zielinski","path":"/lczielinski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76456473?s=80&v=4"},"commit":{"message":"Begun work to migrate proofs over from equality of permutation functions to permutation equality, i.e. equality on relevant values of the functions.","shortMessageHtmlLink":"Begun work to migrate proofs over from equality of permutation functi…"}},{"before":"445449091fd2615cd90faa92eec5a53e9dde0a1d","after":null,"ref":"refs/heads/cat-abs-temp","pushedAt":"2024-04-26T20:08:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lczielinski","name":"Laura Zielinski","path":"/lczielinski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76456473?s=80&v=4"}},{"before":null,"after":"445449091fd2615cd90faa92eec5a53e9dde0a1d","ref":"refs/heads/cat-abs-temp","pushedAt":"2024-04-26T20:07:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lczielinski","name":"Laura Zielinski","path":"/lczielinski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76456473?s=80&v=4"},"commit":{"message":"started deleating","shortMessageHtmlLink":"started deleating"}},{"before":"8d15778df617131a1c3c9a6914d15ede8c31ca07","after":"887a118deb45364443dc6570660f2cd33f373092","ref":"refs/heads/category-abstraction","pushedAt":"2024-04-25T00:35:59.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"wjbs","name":"William Spencer","path":"/wjbs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16036974?s=80&v=4"},"commit":{"message":"Begun work to migrate proofs over from equality of permutation functions to permutation equality, i.e. equality on relevant values of the functions.","shortMessageHtmlLink":"Begun work to migrate proofs over from equality of permutation functi…"}},{"before":null,"after":"f6ee8a56ef091d4ed8ecc722b0d8b6e3a907a816","ref":"refs/heads/struct-automation","pushedAt":"2024-04-22T19:38:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"wjbs","name":"William Spencer","path":"/wjbs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16036974?s=80&v=4"},"commit":{"message":"Added first versions of split_casts_in and foliate","shortMessageHtmlLink":"Added first versions of split_casts_in and foliate"}},{"before":"213f4f0d000d0f76ff3847a88c4af88d6cfe887d","after":"1565d3d3fd5ce89657b72de2929a6e5ff40dfb37","ref":"refs/heads/assoc-automation","pushedAt":"2024-04-03T00:11:54.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"adrianleh","name":"Adrian Lehmann","path":"/adrianleh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26521502?s=80&v=4"},"commit":{"message":"Add assoc counting script","shortMessageHtmlLink":"Add assoc counting script"}},{"before":"00e4bc643d64469a69ef776e40a35141287b6d18","after":"213f4f0d000d0f76ff3847a88c4af88d6cfe887d","ref":"refs/heads/assoc-automation","pushedAt":"2024-04-03T00:06:00.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"adrianleh","name":"Adrian Lehmann","path":"/adrianleh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26521502?s=80&v=4"},"commit":{"message":"Add assoc counting script","shortMessageHtmlLink":"Add assoc counting script"}},{"before":"bc68dc646bc0a436a5545ec6c22c31afcb1f7a85","after":"00e4bc643d64469a69ef776e40a35141287b6d18","ref":"refs/heads/assoc-automation","pushedAt":"2024-04-02T23:53:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"adrianleh","name":"Adrian Lehmann","path":"/adrianleh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26521502?s=80&v=4"},"commit":{"message":"Add assoc counting script","shortMessageHtmlLink":"Add assoc counting script"}},{"before":null,"after":"bc68dc646bc0a436a5545ec6c22c31afcb1f7a85","ref":"refs/heads/assoc-automation","pushedAt":"2024-04-02T23:52:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"adrianleh","name":"Adrian Lehmann","path":"/adrianleh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26521502?s=80&v=4"},"commit":{"message":"Add assoc counting script","shortMessageHtmlLink":"Add assoc counting script"}},{"before":"741059a608e4939cd636efb3a43966284df64d7b","after":"8d15778df617131a1c3c9a6914d15ede8c31ca07","ref":"refs/heads/category-abstraction","pushedAt":"2024-02-11T23:08:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wjbs","name":"William Spencer","path":"/wjbs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16036974?s=80&v=4"},"commit":{"message":"Added support for conjugate and adjoint to ZXperm lemmas (fixed)","shortMessageHtmlLink":"Added support for conjugate and adjoint to ZXperm lemmas (fixed)"}},{"before":"ff5fe0c1a00e531530b52f1dfca5f038f4e3c7fa","after":"741059a608e4939cd636efb3a43966284df64d7b","ref":"refs/heads/category-abstraction","pushedAt":"2024-02-11T22:53:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wjbs","name":"William Spencer","path":"/wjbs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16036974?s=80&v=4"},"commit":{"message":"Added support for conjugate and adjoint to ZXperm lemmas","shortMessageHtmlLink":"Added support for conjugate and adjoint to ZXperm lemmas"}},{"before":"e7586dc1cda69171ddbdb2d5345bcfd70f150b9b","after":"ff5fe0c1a00e531530b52f1dfca5f038f4e3c7fa","ref":"refs/heads/category-abstraction","pushedAt":"2024-02-11T22:00:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wjbs","name":"William Spencer","path":"/wjbs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16036974?s=80&v=4"},"commit":{"message":"Added ZXperm instance lemmas for n_top_to_bottom and n_bottom_to_top. Added functionality for prop_perm_eq and cleanup_perm_of_zx to autounfold with hints from zxperm_db.","shortMessageHtmlLink":"Added ZXperm instance lemmas for n_top_to_bottom and n_bottom_to_top.…"}},{"before":"c1d57f690b4fac4c98fa234c616fb3847ab6ddae","after":"e7586dc1cda69171ddbdb2d5345bcfd70f150b9b","ref":"refs/heads/category-abstraction","pushedAt":"2024-02-11T17:06:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wjbs","name":"William Spencer","path":"/wjbs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16036974?s=80&v=4"},"commit":{"message":"Fixed hint databases to be export instead of global, and updated perm_prop_eq to be more effective.","shortMessageHtmlLink":"Fixed hint databases to be export instead of global, and updated perm…"}},{"before":"a9c603e8f4a49ab6dfbc527b3f983a2a0e12e27f","after":"c1d57f690b4fac4c98fa234c616fb3847ab6ddae","ref":"refs/heads/category-abstraction","pushedAt":"2024-02-11T16:40:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wjbs","name":"William Spencer","path":"/wjbs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16036974?s=80&v=4"},"commit":{"message":"Fixed corrupt files in Permutations","shortMessageHtmlLink":"Fixed corrupt files in Permutations"}},{"before":"7ddf12200e7a9d59c17c1b05348cab8a7a92ab53","after":"a9c603e8f4a49ab6dfbc527b3f983a2a0e12e27f","ref":"refs/heads/category-abstraction","pushedAt":"2024-02-11T08:08:25.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"wjbs","name":"William Spencer","path":"/wjbs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16036974?s=80&v=4"},"commit":{"message":"Merge branch 'category-abstraction' of https://github.com/inQWIRE/VyZX into category-abstraction\nAligning my updated code with CategoryTypeclass being deleted","shortMessageHtmlLink":"Merge branch 'category-abstraction' of <a href=\"https://github.com/inQWIRE/VyZX\">https://github.com/inQWIRE/VyZX</a> …"}},{"before":"b731b4e21cd5eb8704cbe12b981d49336840e2ed","after":null,"ref":"refs/heads/category-abstraction-with-permutations","pushedAt":"2024-02-10T21:51:54.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"wjbs","name":"William Spencer","path":"/wjbs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16036974?s=80&v=4"}},{"before":"a734fe368f2640d88ee486f0f330cc6951cf9339","after":"7ddf12200e7a9d59c17c1b05348cab8a7a92ab53","ref":"refs/heads/category-abstraction","pushedAt":"2024-02-07T20:24:34.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"caldwellb","name":"Ben Caldwell","path":"/caldwellb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53534983?s=80&v=4"},"commit":{"message":"Fix permutation imports","shortMessageHtmlLink":"Fix permutation imports"}},{"before":"04a7a6782790181dad5fe937bc65e3337e00a266","after":"a734fe368f2640d88ee486f0f330cc6951cf9339","ref":"refs/heads/category-abstraction","pushedAt":"2024-02-07T18:00:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"caldwellb","name":"Ben Caldwell","path":"/caldwellb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53534983?s=80&v=4"},"commit":{"message":"Fixed compilation on 8.17.1, identity notation was used and has been depreciated in standard Coq","shortMessageHtmlLink":"Fixed compilation on 8.17.1, identity notation was used and has been …"}},{"before":"b2a36039578f8c8969f4b9b205cba33facbde196","after":null,"ref":"refs/heads/fix/pre-commit-stash-issue","pushedAt":"2024-02-07T16:21:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"adrianleh","name":"Adrian Lehmann","path":"/adrianleh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26521502?s=80&v=4"}},{"before":"1672944322502dc325413593eea71ac95b6c8a2c","after":"772846c0eaebd9e4bca8ea3419b73744e2c79a63","ref":"refs/heads/main","pushedAt":"2024-02-07T16:21:24.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"caldwellb","name":"Ben Caldwell","path":"/caldwellb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53534983?s=80&v=4"},"commit":{"message":"Merge pull request #44 from inQWIRE/fix/pre-commit-stash-issue\n\nFix usability issues with hooks","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2121550702\" data-permission-text=\"Title is private\" data-url=\"https://github.com/inQWIRE/VyZX/issues/44\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/inQWIRE/VyZX/pull/44/hovercard\" href=\"https://github.com/inQWIRE/VyZX/pull/44\">#44</a> from inQWIRE/fix/pre-commit-stash-issue"}},{"before":"09d1a680dcfc351bab7e7dd726e7e3b83d9ed69c","after":"b2a36039578f8c8969f4b9b205cba33facbde196","ref":"refs/heads/fix/pre-commit-stash-issue","pushedAt":"2024-02-06T19:48:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"adrianleh","name":"Adrian Lehmann","path":"/adrianleh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26521502?s=80&v=4"},"commit":{"message":"Add python version guard","shortMessageHtmlLink":"Add python version guard"}},{"before":"58f63c9a0246a5b1bc96906bac5d06c75237c2ca","after":"09d1a680dcfc351bab7e7dd726e7e3b83d9ed69c","ref":"refs/heads/fix/pre-commit-stash-issue","pushedAt":"2024-02-06T19:47:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adrianleh","name":"Adrian Lehmann","path":"/adrianleh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26521502?s=80&v=4"},"commit":{"message":"Add python version guard","shortMessageHtmlLink":"Add python version guard"}},{"before":"a0543a0cfb8f6e1e13513357e8e418ed8b6cc408","after":"04a7a6782790181dad5fe937bc65e3337e00a266","ref":"refs/heads/category-abstraction","pushedAt":"2024-02-06T19:29:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lczielinski","name":"Laura Zielinski","path":"/lczielinski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76456473?s=80&v=4"},"commit":{"message":"readd hooks","shortMessageHtmlLink":"readd hooks"}},{"before":"ffdae6e44a244bd9733a2100f37a73f75c6c7d37","after":"a0543a0cfb8f6e1e13513357e8e418ed8b6cc408","ref":"refs/heads/category-abstraction","pushedAt":"2024-02-06T19:06:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lczielinski","name":"Laura Zielinski","path":"/lczielinski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76456473?s=80&v=4"},"commit":{"message":"prove one more general lemma","shortMessageHtmlLink":"prove one more general lemma"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEQRYvmAA","startCursor":null,"endCursor":null}},"title":"Activity · inQWIRE/VyZX"}