{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":422105261,"defaultBranch":"master","name":"qecc","ownerLogin":"t6s","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-10-28T07:23:12.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1191438?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1710841033.0","currentOid":""},"activityList":{"items":[{"before":"c8ab962da1f07bb630de46ae1f1005c324a733a9","after":"afc45f0ce1b3258fbf0c9469085ff8749de14a2a","ref":"refs/heads/master","pushedAt":"2024-03-19T09:36:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"add description of new files","shortMessageHtmlLink":"add description of new files"}},{"before":"00bf62af62baf59998e5601576afe7214f43e276","after":"c8ab962da1f07bb630de46ae1f1005c324a733a9","ref":"refs/heads/master","pushedAt":"2024-03-16T03:51:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"add it","shortMessageHtmlLink":"add it"}},{"before":"251931a1823175441531d54b14f8e1d691f1906d","after":"00bf62af62baf59998e5601576afe7214f43e276","ref":"refs/heads/master","pushedAt":"2024-03-15T05:52:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"rank0","shortMessageHtmlLink":"rank0"}},{"before":"9eb0fa97d0ecb3a0a4948bcb2f09324eb7f89067","after":"251931a1823175441531d54b14f8e1d691f1906d","ref":"refs/heads/master","pushedAt":"2024-03-14T07:43:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"adapt to proof","shortMessageHtmlLink":"adapt to proof"}},{"before":"820d7a0edfb2344cdda2389d2342a600c7e85e1f","after":"9eb0fa97d0ecb3a0a4948bcb2f09324eb7f89067","ref":"refs/heads/master","pushedAt":"2024-03-14T05:51:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"lens_tactics","shortMessageHtmlLink":"lens_tactics"}},{"before":"74eebc8c63e87ac847ba3c4298c3f8cf09be4ea8","after":"820d7a0edfb2344cdda2389d2342a600c7e85e1f","ref":"refs/heads/master","pushedAt":"2024-03-14T05:27:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"mx -> dp, etc...","shortMessageHtmlLink":"mx -&gt; dp, etc..."}},{"before":"824432b0d04314b287f704707c4130b7d782fb46","after":"74eebc8c63e87ac847ba3c4298c3f8cf09be4ea8","ref":"refs/heads/master","pushedAt":"2024-03-14T03:33:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"qutrit examples","shortMessageHtmlLink":"qutrit examples"}},{"before":"da30f04edabe88a826a395428bb72be95def636e","after":"824432b0d04314b287f704707c4130b7d782fb46","ref":"refs/heads/master","pushedAt":"2024-03-14T01:03:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"fix qutrit","shortMessageHtmlLink":"fix qutrit"}},{"before":"a340e28077f207c3bd702c1965faaae5188ae843","after":"da30f04edabe88a826a395428bb72be95def636e","ref":"refs/heads/master","pushedAt":"2024-03-12T08:25:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"compress apply","shortMessageHtmlLink":"compress apply"}},{"before":"471936b257c4cc22d57494684e1af98587057ac7","after":"a340e28077f207c3bd702c1965faaae5188ae843","ref":"refs/heads/master","pushedAt":"2024-03-12T08:18:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"simplify lens proofs","shortMessageHtmlLink":"simplify lens proofs"}},{"before":"9ec87c6d387ab0fd65b251db63e304162c5b79d8","after":"471936b257c4cc22d57494684e1af98587057ac7","ref":"refs/heads/master","pushedAt":"2024-03-12T02:51:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"tnth_mergeP","shortMessageHtmlLink":"tnth_mergeP"}},{"before":"f0924e2091272b946a06fe42bc022e6a51081bf6","after":"9ec87c6d387ab0fd65b251db63e304162c5b79d8","ref":"refs/heads/master","pushedAt":"2024-03-11T08:25:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"mxmor_dpbasis","shortMessageHtmlLink":"mxmor_dpbasis"}},{"before":"7b9eec5391c0af0627c1e9a9fe2351555a46eb50","after":"f0924e2091272b946a06fe42bc022e6a51081bf6","ref":"refs/heads/master","pushedAt":"2024-03-07T04:40:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"simplify and optimize","shortMessageHtmlLink":"simplify and optimize"}},{"before":"7101c33be5d93dde68d3322a9c5b865fe82c0ae9","after":"7b9eec5391c0af0627c1e9a9fe2351555a46eb50","ref":"refs/heads/master","pushedAt":"2024-03-06T08:03:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"better annotation","shortMessageHtmlLink":"better annotation"}},{"before":"16049d3d19ae72ae21440be5196a7cea68326b5a","after":"7101c33be5d93dde68d3322a9c5b865fe82c0ae9","ref":"refs/heads/master","pushedAt":"2024-03-06T07:07:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"dead code","shortMessageHtmlLink":"dead code"}},{"before":"c9f4195f2dc1560a42ae17f85dfdf196efe0e8d1","after":"16049d3d19ae72ae21440be5196a7cea68326b5a","ref":"refs/heads/master","pushedAt":"2024-03-06T06:30:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"use nat equality","shortMessageHtmlLink":"use nat equality"}},{"before":"0673e63bf93f0534924e51d97a8a22eda5a80bfd","after":"c9f4195f2dc1560a42ae17f85dfdf196efe0e8d1","ref":"refs/heads/master","pushedAt":"2024-03-06T00:45:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"move lemma to lens","shortMessageHtmlLink":"move lemma to lens"}},{"before":"b07d79a337a05d60535b90f703cb8d223c5a60be","after":"0673e63bf93f0534924e51d97a8a22eda5a80bfd","ref":"refs/heads/master","pushedAt":"2024-03-05T08:57:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"be a bit more implicit","shortMessageHtmlLink":"be a bit more implicit"}},{"before":"501800aa2073bafa673558ce5647216049b8b039","after":"b07d79a337a05d60535b90f703cb8d223c5a60be","ref":"refs/heads/master","pushedAt":"2024-03-05T06:58:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"examples","shortMessageHtmlLink":"examples"}},{"before":"4ef11e148644bffa8776e4f31a1623d7fbffe20c","after":"501800aa2073bafa673558ce5647216049b8b039","ref":"refs/heads/master","pushedAt":"2024-02-16T13:44:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"qexamples_misc","shortMessageHtmlLink":"qexamples_misc"}},{"before":"2ddf4e5bc8529f0d2545a0dfa603a6b49b8281ea","after":"4ef11e148644bffa8776e4f31a1623d7fbffe20c","ref":"refs/heads/master","pushedAt":"2024-02-16T12:18:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"rev_circuit","shortMessageHtmlLink":"rev_circuit"}},{"before":"fbb0f1f0ab8755d05aae86b523feedb80ec6f194","after":"2ddf4e5bc8529f0d2545a0dfa603a6b49b8281ea","ref":"refs/heads/master","pushedAt":"2024-02-16T08:28:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"in qexamples_rev_circuit","shortMessageHtmlLink":"in qexamples_rev_circuit"}},{"before":"ef8755d8679a54e146f9a59e76b855931cd4fe2d","after":"fbb0f1f0ab8755d05aae86b523feedb80ec6f194","ref":"refs/heads/master","pushedAt":"2024-02-16T07:34:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"wip : need to fix examples","shortMessageHtmlLink":"wip : need to fix examples"}},{"before":"850acf3ddc9afb0737250bc9eb66872ca4905ce0","after":"ef8755d8679a54e146f9a59e76b855931cd4fe2d","ref":"refs/heads/master","pushedAt":"2024-02-16T06:04:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"add qutrit","shortMessageHtmlLink":"add qutrit"}},{"before":"cbeb4cdd125336b21392441667afb8ee0ef75c15","after":null,"ref":"refs/heads/mc2-wip","pushedAt":"2024-02-14T05:13:01.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"}},{"before":"12914bfd31f1ff70ca237edfb4147520510efcd3","after":"850acf3ddc9afb0737250bc9eb66872ca4905ce0","ref":"refs/heads/master","pushedAt":"2024-02-14T05:12:08.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"Merge pull request #4 from t6s/mc2-wip\n\nSwitch to Mathcomp 2.2","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2133495783\" data-permission-text=\"Title is private\" data-url=\"https://github.com/t6s/qecc/issues/4\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/t6s/qecc/pull/4/hovercard\" href=\"https://github.com/t6s/qecc/pull/4\">#4</a> from t6s/mc2-wip"}},{"before":"08bdfd4d4d911703395806ed5b34a59ed8595d8c","after":"cbeb4cdd125336b21392441667afb8ee0ef75c15","ref":"refs/heads/mc2-wip","pushedAt":"2024-02-14T05:11:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"add section","shortMessageHtmlLink":"add section"}},{"before":"97a19d22669d90bb94196d6b0a56cef0a5c2fc7c","after":"08bdfd4d4d911703395806ed5b34a59ed8595d8c","ref":"refs/heads/mc2-wip","pushedAt":"2024-02-14T05:09:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"speed up","shortMessageHtmlLink":"speed up"}},{"before":"5d08d88a5ddf44f73a0ea4133c54121704013b66","after":"97a19d22669d90bb94196d6b0a56cef0a5c2fc7c","ref":"refs/heads/mc2-wip","pushedAt":"2024-02-13T14:00:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"misc","shortMessageHtmlLink":"misc"}},{"before":"e4580ca12f20bb65a2007c0ec3adb6865020825e","after":"5d08d88a5ddf44f73a0ea4133c54121704013b66","ref":"refs/heads/mc2-wip","pushedAt":"2024-02-13T12:45:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"garrigue","name":"Jacques Garrigue","path":"/garrigue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/870242?s=80&v=4"},"commit":{"message":"qexamples","shortMessageHtmlLink":"qexamples"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEGWqYTgA","startCursor":null,"endCursor":null}},"title":"Activity · t6s/qecc"}