{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":470204772,"defaultBranch":"master","name":"QpfTypes","ownerLogin":"alexkeizer","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-03-15T14:48:15.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/18490187?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1720103210.0","currentOid":""},"activityList":{"items":[{"before":"3fcaf9b78af8ff71bb3263da9bc2e72f2cd26cc4","after":"baed8e333b873d08720d8e08fccb0bd732732e3b","ref":"refs/heads/master","pushedAt":"2024-07-19T12:01:22.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"Equilibris","name":"William Sørensen","path":"/Equilibris","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47296141?s=80&v=4"},"commit":{"message":"Merge pull request #30 from alexkeizer/gen-induction\n\nfeat: add generation of inductive principles for basic ctors","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2395222117\" data-permission-text=\"Title is private\" data-url=\"https://github.com/alexkeizer/QpfTypes/issues/30\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/alexkeizer/QpfTypes/pull/30/hovercard\" href=\"https://github.com/alexkeizer/QpfTypes/pull/30\">#30</a> from alexkeizer/gen-induction"}},{"before":"c51fbdafe75a016ade407ba8e86ed8fb31fe4233","after":"98b3831e833133719ddb908359b18f5613a0bca2","ref":"refs/heads/gen-induction","pushedAt":"2024-07-19T11:59:28.000Z","pushType":"push","commitsCount":12,"pusher":{"login":"Equilibris","name":"William Sørensen","path":"/Equilibris","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47296141?s=80&v=4"},"commit":{"message":"Merge branch 'master' into gen-induction","shortMessageHtmlLink":"Merge branch 'master' into gen-induction"}},{"before":"40d350e0b2367450df822cf39aa67b9d052f59ce","after":"c51fbdafe75a016ade407ba8e86ed8fb31fe4233","ref":"refs/heads/gen-induction","pushedAt":"2024-07-19T10:45:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Equilibris","name":"William Sørensen","path":"/Equilibris","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47296141?s=80&v=4"},"commit":{"message":"docs: comment some code","shortMessageHtmlLink":"docs: comment some code"}},{"before":"75ba863f28f3cefa58501a00046a160a1d3d86c7","after":"40d350e0b2367450df822cf39aa67b9d052f59ce","ref":"refs/heads/gen-induction","pushedAt":"2024-07-17T15:35:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Equilibris","name":"William Sørensen","path":"/Equilibris","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47296141?s=80&v=4"},"commit":{"message":"refactor: clean-up Ind defn","shortMessageHtmlLink":"refactor: clean-up Ind defn"}},{"before":"a8d228c4bc898a049e71e938a5aa71dc739e3085","after":"75ba863f28f3cefa58501a00046a160a1d3d86c7","ref":"refs/heads/gen-induction","pushedAt":"2024-07-17T10:02:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Equilibris","name":"William Sørensen","path":"/Equilibris","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47296141?s=80&v=4"},"commit":{"message":"refactor: clean-up Ind defn","shortMessageHtmlLink":"refactor: clean-up Ind defn"}},{"before":"3d687e3a22fbaf95e9189863836e1f9c050f984a","after":"a8d228c4bc898a049e71e938a5aa71dc739e3085","ref":"refs/heads/gen-induction","pushedAt":"2024-07-15T12:27:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Equilibris","name":"William Sørensen","path":"/Equilibris","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47296141?s=80&v=4"},"commit":{"message":"feat: add noConfusion principle\n\nadd more stuff","shortMessageHtmlLink":"feat: add noConfusion principle"}},{"before":"f205324f59ee5f2a0bb56e2d28375a1a5ceb6079","after":"ccbc9bc0c47c42e8170f5088c6ea4b6a61865549","ref":"refs/heads/type-ascription","pushedAt":"2024-07-08T11:43:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexkeizer","name":"Alex Keizer","path":"/alexkeizer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18490187?s=80&v=4"},"commit":{"message":"WIP attempt at setting Syntax references to localize errors better","shortMessageHtmlLink":"WIP attempt at setting Syntax references to localize errors better"}},{"before":"de64c979ffc1e590a27bce57b17fb33bf9e1953a","after":"3d687e3a22fbaf95e9189863836e1f9c050f984a","ref":"refs/heads/gen-induction","pushedAt":"2024-07-08T10:07:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Equilibris","name":"William Sørensen","path":"/Equilibris","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47296141?s=80&v=4"},"commit":{"message":"feat: add basic ind gen\n\nTentative, hacky fix for shadowing issue\n\nrefactor: Ind.lean\n\nrefactor: clean-up Ind defn","shortMessageHtmlLink":"feat: add basic ind gen"}},{"before":"35e4f2f0703766bf4be7b41c7f63d3d600868959","after":"f205324f59ee5f2a0bb56e2d28375a1a5ceb6079","ref":"refs/heads/type-ascription","pushedAt":"2024-07-06T06:46:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"monsterkrampe","name":"Lukas Gerlach","path":"/monsterkrampe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12497479?s=80&v=4"},"commit":{"message":"WIP: try to narrow down failing tests","shortMessageHtmlLink":"WIP: try to narrow down failing tests"}},{"before":"80f02221978b842e52ad19d50f90e424fde08418","after":"de64c979ffc1e590a27bce57b17fb33bf9e1953a","ref":"refs/heads/gen-induction","pushedAt":"2024-07-05T11:59:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Equilibris","name":"William Sørensen","path":"/Equilibris","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47296141?s=80&v=4"},"commit":{"message":"refactor: Ind.lean","shortMessageHtmlLink":"refactor: Ind.lean"}},{"before":"fbde3684d9814443f2911284ae8f75a90bc44757","after":"80f02221978b842e52ad19d50f90e424fde08418","ref":"refs/heads/gen-induction","pushedAt":"2024-07-04T15:48:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexkeizer","name":"Alex Keizer","path":"/alexkeizer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18490187?s=80&v=4"},"commit":{"message":"Tentative, hacky fix for shadowing issue","shortMessageHtmlLink":"Tentative, hacky fix for shadowing issue"}},{"before":null,"after":"fbde3684d9814443f2911284ae8f75a90bc44757","ref":"refs/heads/gen-induction","pushedAt":"2024-07-04T14:26:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Equilibris","name":"William Sørensen","path":"/Equilibris","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47296141?s=80&v=4"},"commit":{"message":"feat: add basic ind gen","shortMessageHtmlLink":"feat: add basic ind gen"}},{"before":"6130bf1318d69f4aa6677d7b9855aa419e02e965","after":"3fcaf9b78af8ff71bb3263da9bc2e72f2cd26cc4","ref":"refs/heads/master","pushedAt":"2024-06-28T15:53:41.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"Equilibris","name":"William Sørensen","path":"/Equilibris","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47296141?s=80&v=4"},"commit":{"message":"Merge pull request #24 from alexkeizer/refactor-macro-comp-3\n\nrefactor: `is_trivial` check to be more succinct","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2375314796\" data-permission-text=\"Title is private\" data-url=\"https://github.com/alexkeizer/QpfTypes/issues/24\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/alexkeizer/QpfTypes/pull/24/hovercard\" href=\"https://github.com/alexkeizer/QpfTypes/pull/24\">#24</a> from alexkeizer/refactor-macro-comp-3"}},{"before":"e932a49469380f8f7bb2e9b58c16b0d5f3e4a65f","after":"8a185355a5740717ae087bfb31310e70fc5ad501","ref":"refs/heads/refactor-macro-comp-3","pushedAt":"2024-06-28T15:51:57.000Z","pushType":"push","commitsCount":14,"pusher":{"login":"Equilibris","name":"William Sørensen","path":"/Equilibris","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47296141?s=80&v=4"},"commit":{"message":"Merge branch 'master' into refactor-macro-comp-3","shortMessageHtmlLink":"Merge branch 'master' into refactor-macro-comp-3"}},{"before":"b3c22704a1b7c777df420a2c47be96dfb7c60b9f","after":"6130bf1318d69f4aa6677d7b9855aa419e02e965","ref":"refs/heads/master","pushedAt":"2024-06-28T15:50:46.000Z","pushType":"pr_merge","commitsCount":8,"pusher":{"login":"Equilibris","name":"William Sørensen","path":"/Equilibris","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47296141?s=80&v=4"},"commit":{"message":"Merge pull request #22 from alexkeizer/refactor-macro-comp-2\n\nrefactor: update types in elabQpf to reflect the code","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2374952704\" data-permission-text=\"Title is private\" data-url=\"https://github.com/alexkeizer/QpfTypes/issues/22\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/alexkeizer/QpfTypes/pull/22/hovercard\" href=\"https://github.com/alexkeizer/QpfTypes/pull/22\">#22</a> from alexkeizer/refactor-macro-comp-2"}},{"before":"6e78b770ae1012605c8c3625c73ce29ea9af0232","after":"76af185c57b88b3c0af43c2ea092a32a1cec3367","ref":"refs/heads/refactor-macro-comp-2","pushedAt":"2024-06-28T15:48:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Equilibris","name":"William Sørensen","path":"/Equilibris","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47296141?s=80&v=4"},"commit":{"message":"Apply suggestions from code review\r\n\r\nFix whitespace","shortMessageHtmlLink":"Apply suggestions from code review"}},{"before":"bfc07e0a3e9b64f14157e1e76fe0dae9c7ed8533","after":"6e78b770ae1012605c8c3625c73ce29ea9af0232","ref":"refs/heads/refactor-macro-comp-2","pushedAt":"2024-06-27T11:37:34.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"Equilibris","name":"William Sørensen","path":"/Equilibris","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47296141?s=80&v=4"},"commit":{"message":"Merge branch 'master' into refactor-macro-comp-2","shortMessageHtmlLink":"Merge branch 'master' into refactor-macro-comp-2"}},{"before":"abff4611ee943cb4a47fef6516d6ae9cdd4e9cfa","after":"b3c22704a1b7c777df420a2c47be96dfb7c60b9f","ref":"refs/heads/master","pushedAt":"2024-06-26T16:32:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexkeizer","name":"Alex Keizer","path":"/alexkeizer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18490187?s=80&v=4"},"commit":{"message":"chore: minor style changes","shortMessageHtmlLink":"chore: minor style changes"}},{"before":"0ee0fe579622f924766c5c5ece2a494d6c816dc2","after":"abff4611ee943cb4a47fef6516d6ae9cdd4e9cfa","ref":"refs/heads/master","pushedAt":"2024-06-26T16:17:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexkeizer","name":"Alex Keizer","path":"/alexkeizer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18490187?s=80&v=4"},"commit":{"message":"fix build","shortMessageHtmlLink":"fix build"}},{"before":"e46d8e0a256704b20c3adf52acc3e4d4cfb566be","after":"0ee0fe579622f924766c5c5ece2a494d6c816dc2","ref":"refs/heads/master","pushedAt":"2024-06-26T16:11:25.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"alexkeizer","name":"Alex Keizer","path":"/alexkeizer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18490187?s=80&v=4"},"commit":{"message":"Merge github.com:alexkeizer/QpfTypes","shortMessageHtmlLink":"Merge github.com:alexkeizer/QpfTypes"}},{"before":"a0f240c1dc4461067ebf546d75b6e11b8284bd79","after":"e46d8e0a256704b20c3adf52acc3e4d4cfb566be","ref":"refs/heads/master","pushedAt":"2024-06-26T15:52:48.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"alexkeizer","name":"Alex Keizer","path":"/alexkeizer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18490187?s=80&v=4"},"commit":{"message":"Revert \"refactor: replace.lean\"","shortMessageHtmlLink":"Revert \"refactor: replace.lean\""}},{"before":null,"after":"b5f4d4992defb9aefe272353f47c69d11b0c4511","ref":"refs/heads/revert-23-refactor-replace","pushedAt":"2024-06-26T15:50:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"alexkeizer","name":"Alex Keizer","path":"/alexkeizer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18490187?s=80&v=4"},"commit":{"message":"Revert \"refactor: replace.lean\"","shortMessageHtmlLink":"Revert \"refactor: replace.lean\""}},{"before":null,"after":"c62f9ccc37eaca01c8e8314f4e8779ea81e2b246","ref":"refs/heads/main","pushedAt":"2024-06-26T15:31:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"alexkeizer","name":"Alex Keizer","path":"/alexkeizer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18490187?s=80&v=4"},"commit":{"message":"refactor: move elabQpf into seperate funs","shortMessageHtmlLink":"refactor: move elabQpf into seperate funs"}},{"before":"c62f9ccc37eaca01c8e8314f4e8779ea81e2b246","after":"a0f240c1dc4461067ebf546d75b6e11b8284bd79","ref":"refs/heads/master","pushedAt":"2024-06-26T15:26:48.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"Equilibris","name":"William Sørensen","path":"/Equilibris","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47296141?s=80&v=4"},"commit":{"message":"Merge pull request #23 from alexkeizer/refactor-replace\n\nrefactor: replace.lean","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2374970192\" data-permission-text=\"Title is private\" data-url=\"https://github.com/alexkeizer/QpfTypes/issues/23\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/alexkeizer/QpfTypes/pull/23/hovercard\" href=\"https://github.com/alexkeizer/QpfTypes/pull/23\">#23</a> from alexkeizer/refactor-replace"}},{"before":null,"after":"e02f218d294b1071957043720ac64ffd38d51abf","ref":"refs/heads/cleanup-example-ci-17","pushedAt":"2024-06-26T13:59:04.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Equilibris","name":"William Sørensen","path":"/Equilibris","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47296141?s=80&v=4"},"commit":{"message":"test: add examples to Test file","shortMessageHtmlLink":"test: add examples to Test file"}},{"before":"33b6353260004d827e7d9a2133ca47054e546f49","after":"2c17e2a7834acbd07ec7e8f532003081c7df7430","ref":"refs/heads/refactor-replace","pushedAt":"2024-06-26T13:39:37.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Equilibris","name":"William Sørensen","path":"/Equilibris","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47296141?s=80&v=4"},"commit":{"message":"Merge branch 'master' into refactor-replace","shortMessageHtmlLink":"Merge branch 'master' into refactor-replace"}},{"before":null,"after":"e932a49469380f8f7bb2e9b58c16b0d5f3e4a65f","ref":"refs/heads/refactor-macro-comp-3","pushedAt":"2024-06-26T13:11:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Equilibris","name":"William Sørensen","path":"/Equilibris","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47296141?s=80&v=4"},"commit":{"message":"refactor: transform optimisation step","shortMessageHtmlLink":"refactor: transform optimisation step"}},{"before":"dd04580c2cb5ac52a0b384e8a180e9bdc12f1b3c","after":"bfc07e0a3e9b64f14157e1e76fe0dae9c7ed8533","ref":"refs/heads/refactor-macro-comp-2","pushedAt":"2024-06-26T12:53:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Equilibris","name":"William Sørensen","path":"/Equilibris","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47296141?s=80&v=4"},"commit":{"message":"refactor: revert to old is_trivial","shortMessageHtmlLink":"refactor: revert to old is_trivial"}},{"before":"6d15f9487463e070b5cd49dfb85880e9448db691","after":"dd04580c2cb5ac52a0b384e8a180e9bdc12f1b3c","ref":"refs/heads/refactor-macro-comp-2","pushedAt":"2024-06-26T10:38:00.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Equilibris","name":"William Sørensen","path":"/Equilibris","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47296141?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/master' into refactor-macro-comp-2","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/master' into refactor-macro-comp-2"}},{"before":"1720c1efdc9850cc271e0d97ad18805e4245cd79","after":"6d15f9487463e070b5cd49dfb85880e9448db691","ref":"refs/heads/refactor-macro-comp-2","pushedAt":"2024-06-26T10:35:59.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"Equilibris","name":"William Sørensen","path":"/Equilibris","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47296141?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/master' into refactor-macro-comp-2","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/master' into refactor-macro-comp-2"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEg9_JqAA","startCursor":null,"endCursor":null}},"title":"Activity · alexkeizer/QpfTypes"}