{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":97044906,"defaultBranch":"master","name":"qrhl-tool","ownerLogin":"dominique-unruh","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-07-12T19:30:04.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/9913676?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1695400177.0","currentOid":""},"activityList":{"items":[{"before":"7b464af8c64791f413ffe34baabaa06c48795f93","after":"c908c76b4ea9c784782d0e72dda73d2abab46e8e","ref":"refs/heads/topic-registers","pushedAt":"2024-09-03T15:54:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"Moved things to AFP","shortMessageHtmlLink":"Moved things to AFP"}},{"before":"074cd086311117b56eb4548072b0db50211f9b55","after":"7b464af8c64791f413ffe34baabaa06c48795f93","ref":"refs/heads/topic-registers","pushedAt":"2024-09-03T15:45:26.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"Moved many things to AFP","shortMessageHtmlLink":"Moved many things to AFP"}},{"before":"2be8389ea4c38f6c624e8ea632463e563ddaa74d","after":"074cd086311117b56eb4548072b0db50211f9b55","ref":"refs/heads/topic-registers","pushedAt":"2024-09-03T12:34:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"Fixes due to AFP changes.","shortMessageHtmlLink":"Fixes due to AFP changes."}},{"before":"2a69fc0c6b036a316c35e48a59ef6953e88d0069","after":"2be8389ea4c38f6c624e8ea632463e563ddaa74d","ref":"refs/heads/topic-registers","pushedAt":"2024-09-03T12:20:39.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"Fixes due to AFP changes.","shortMessageHtmlLink":"Fixes due to AFP changes."}},{"before":"92a9d5defebaaf4385442a38e9ece76f31165b44","after":"2a69fc0c6b036a316c35e48a59ef6953e88d0069","ref":"refs/heads/topic-registers","pushedAt":"2024-07-18T20:30:27.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"Some fixes related to changed With_Type","shortMessageHtmlLink":"Some fixes related to changed With_Type"}},{"before":"060abfab7d83537df783ef73340b74a85417676e","after":"92a9d5defebaaf4385442a38e9ece76f31165b44","ref":"refs/heads/topic-registers","pushedAt":"2024-06-29T20:48:31.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"Moved some theorems.","shortMessageHtmlLink":"Moved some theorems."}},{"before":"8ee48480390cad9df224cd9f66dd7e3b403c4b31","after":"060abfab7d83537df783ef73340b74a85417676e","ref":"refs/heads/topic-registers","pushedAt":"2024-06-10T15:13:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"Misc","shortMessageHtmlLink":"Misc"}},{"before":"fcc7a817b2508bbfae3ef0fbc708ee6f6265d647","after":"8ee48480390cad9df224cd9f66dd7e3b403c4b31","ref":"refs/heads/topic-registers","pushedAt":"2024-05-11T12:47:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"Definitions of semantics of while and local-q. Various Kraus_Maps/CQ_Operators results.","shortMessageHtmlLink":"Definitions of semantics of while and local-q. Various Kraus_Maps/CQ_…"}},{"before":"3b09c8f3a8263031e8a45637426edbe60e15f1c8","after":"fcc7a817b2508bbfae3ef0fbc708ee6f6265d647","ref":"refs/heads/topic-registers","pushedAt":"2024-05-08T13:19:15.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"Moved some lemmas into Kraus_Maps.","shortMessageHtmlLink":"Moved some lemmas into Kraus_Maps."}},{"before":"35f4f4c3d4755a2146ba52177e390ad661b37a31","after":"3b09c8f3a8263031e8a45637426edbe60e15f1c8","ref":"refs/heads/topic-registers","pushedAt":"2024-05-05T10:09:47.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"Sorting theorems. Extended cq_map to have different in/out type parameters.","shortMessageHtmlLink":"Sorting theorems. Extended cq_map to have different in/out type param…"}},{"before":"565bf85dc19389ea5e97d30302c077a3dffa546c","after":"35f4f4c3d4755a2146ba52177e390ad661b37a31","ref":"refs/heads/topic-registers","pushedAt":"2024-05-02T18:40:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"Moved some theorems to AFP.","shortMessageHtmlLink":"Moved some theorems to AFP."}},{"before":"daf823c4d4e4e144b927a3050daa2b3eb51ea52f","after":"565bf85dc19389ea5e97d30302c077a3dffa546c","ref":"refs/heads/topic-registers","pushedAt":"2024-05-02T16:29:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"Work in Kraus_Maps, Programs, and related.","shortMessageHtmlLink":"Work in Kraus_Maps, Programs, and related."}},{"before":"1efb290841c68c8f4815406e77bc5b548f3dd50b","after":"daf823c4d4e4e144b927a3050daa2b3eb51ea52f","ref":"refs/heads/topic-registers","pushedAt":"2024-04-13T19:05:35.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"Moved program_state/program_semantics things to new CQ_Operators.thy.","shortMessageHtmlLink":"Moved program_state/program_semantics things to new CQ_Operators.thy."}},{"before":"649cf6cb22c3e2ce5fbb74d527fce14a3f7325bf","after":"1efb290841c68c8f4815406e77bc5b548f3dd50b","ref":"refs/heads/topic-registers","pushedAt":"2024-03-20T19:44:34.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"More on Kraus_Maps.","shortMessageHtmlLink":"More on Kraus_Maps."}},{"before":"0a3f4c3500e0a2f97241abf6b0b8c49e6e0235d5","after":"649cf6cb22c3e2ce5fbb74d527fce14a3f7325bf","ref":"refs/heads/topic-registers","pushedAt":"2024-03-04T22:58:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"Progress on Kraus_Maps, CQ_Operators2","shortMessageHtmlLink":"Progress on Kraus_Maps, CQ_Operators2"}},{"before":"9e0f8821a7c97d1c71a9086e618cc9edfe0a4450","after":"0a3f4c3500e0a2f97241abf6b0b8c49e6e0235d5","ref":"refs/heads/topic-registers","pushedAt":"2024-02-11T20:12:50.000Z","pushType":"push","commitsCount":10,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"More work.","shortMessageHtmlLink":"More work."}},{"before":"92cb10780edd64d12b41cc06eda4bb0f6e5c42c9","after":"9e0f8821a7c97d1c71a9086e618cc9edfe0a4450","ref":"refs/heads/topic-registers","pushedAt":"2023-11-09T14:36:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"Temporary_Compact_Op: proofs finished.","shortMessageHtmlLink":"Temporary_Compact_Op: proofs finished."}},{"before":"3c95df792242e67adcacd5a8e3c6ba081bc19894","after":"92cb10780edd64d12b41cc06eda4bb0f6e5c42c9","ref":"refs/heads/topic-registers","pushedAt":"2023-11-02T21:29:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"Progress on compact_op diagonalization.","shortMessageHtmlLink":"Progress on compact_op diagonalization."}},{"before":"4ce9691aacfabfeb73c16663cd3357ed54efb428","after":"3c95df792242e67adcacd5a8e3c6ba081bc19894","ref":"refs/heads/topic-registers","pushedAt":"2023-11-02T20:49:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"Progress on compact_op diagonalization.","shortMessageHtmlLink":"Progress on compact_op diagonalization."}},{"before":"2fec9b16f89037105c28b1115666e9d8eac92494","after":"4ce9691aacfabfeb73c16663cd3357ed54efb428","ref":"refs/heads/topic-registers","pushedAt":"2023-11-02T19:22:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"Reworked eigenvalues_of and related def. Proofs work better now.","shortMessageHtmlLink":"Reworked eigenvalues_of and related def. Proofs work better now."}},{"before":"1b489aaa155ee7e74bf35ef39351d8c0bc3da026","after":"2fec9b16f89037105c28b1115666e9d8eac92494","ref":"refs/heads/topic-registers","pushedAt":"2023-10-07T13:27:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"Moved efforts for compact operator diagonalization to Temporary_Compact_Op.thy","shortMessageHtmlLink":"Moved efforts for compact operator diagonalization to Temporary_Compa…"}},{"before":"c4075729b838716f41f72bb73be1b9a38e191708","after":"1b489aaa155ee7e74bf35ef39351d8c0bc3da026","ref":"refs/heads/topic-registers","pushedAt":"2023-09-29T12:21:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"Progress on CQ_Operators/Kraus_Maps.","shortMessageHtmlLink":"Progress on CQ_Operators/Kraus_Maps."}},{"before":"57d89542290b88e6ef9a3e20f373c4c1f2511b8a","after":"c4075729b838716f41f72bb73be1b9a38e191708","ref":"refs/heads/topic-registers","pushedAt":"2023-09-22T18:05:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"Progress in CQ_Operators.","shortMessageHtmlLink":"Progress in CQ_Operators."}},{"before":"cc7515466d10fa9959a7b2d2063efc2f20faeba7","after":"523d0ee331ace0cfcd01c6101e34f606926da022","ref":"refs/heads/master","pushedAt":"2023-09-22T18:05:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"Removed \"prototype\" sentence from manual.","shortMessageHtmlLink":"Removed \"prototype\" sentence from manual."}},{"before":"5eb847ba36a7324c6f2e691bed77d9cabf712ef7","after":"699afbe6cf0fe7cc5051f5bdaeaf5dae9e95ca4d","ref":"refs/heads/gh-pages","pushedAt":"2023-09-22T16:39:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"Updated to version 0.7.2.","shortMessageHtmlLink":"Updated to version 0.7.2."}},{"before":"ab6c4e9624d496e679af75d86ee2eaf0bb7f7329","after":"cc7515466d10fa9959a7b2d2063efc2f20faeba7","ref":"refs/heads/master","pushedAt":"2023-09-22T16:34:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"Edited release instructions.","shortMessageHtmlLink":"Edited release instructions."}},{"before":"51482021ec488e3b33b876b6547c3c2e8221c999","after":"581aa6aee8d7167659e16204f6d9c8c3880aac3d","ref":"refs/heads/release-candidate","pushedAt":"2023-09-22T15:30:45.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"Merge branch 'master' into release-candidate","shortMessageHtmlLink":"Merge branch 'master' into release-candidate"}},{"before":"ca6250e6c1e2bce1f9631b99ee2ab7ef94c74544","after":"ab6c4e9624d496e679af75d86ee2eaf0bb7f7329","ref":"refs/heads/master","pushedAt":"2023-09-22T15:29:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"Updated manual.","shortMessageHtmlLink":"Updated manual."}},{"before":"5e74491893f062f915fe819b838b870fcb6a922b","after":"ca6250e6c1e2bce1f9631b99ee2ab7ef94c74544","ref":"refs/heads/master","pushedAt":"2023-09-21T21:15:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"Updated doc/Makefile -- pulls declmath repo","shortMessageHtmlLink":"Updated doc/Makefile -- pulls declmath repo"}},{"before":"9b7f802241b4ff921e71b8b71146840d42b0fc47","after":"51482021ec488e3b33b876b6547c3c2e8221c999","ref":"refs/heads/release-candidate","pushedAt":"2023-09-21T21:10:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dominique-unruh","name":"Dominique Unruh","path":"/dominique-unruh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9913676?s=80&v=4"},"commit":{"message":"Updated doc/Makefile -- pulls declmath repo","shortMessageHtmlLink":"Updated doc/Makefile -- pulls declmath repo"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEq8W2EwA","startCursor":null,"endCursor":null}},"title":"Activity · dominique-unruh/qrhl-tool"}