{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":721352663,"defaultBranch":"main","name":"leansat","ownerLogin":"leanprover","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-11-20T22:09:05.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7233018?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1724687965.0","currentOid":""},"activityList":{"items":[{"before":"d5ba404cd833689661576d21a0fb15ac87a36993","after":"b83b5d8631ee54bc913b0e6aaf44711c34a50e0d","ref":"refs/heads/main","pushedAt":"2024-08-29T08:22:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"deprecation","shortMessageHtmlLink":"deprecation"}},{"before":"30e2ed2327b32f7d56c831b7db3bef33158deebf","after":"d5ba404cd833689661576d21a0fb15ac87a36993","ref":"refs/heads/main","pushedAt":"2024-08-29T08:18:02.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"final refactor of AIG.RelabelNat","shortMessageHtmlLink":"final refactor of AIG.RelabelNat"}},{"before":"3c746365070b46215a8dfe59c06d6a0799d2a633","after":null,"ref":"refs/heads/dependabot/github_actions/leanprover/lean-action-1.0.1","pushedAt":"2024-08-26T15:59:25.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":null,"after":"60a958a3e5ffc7a75459a689e3633faa99d77198","ref":"refs/heads/dependabot/github_actions/leanprover/lean-action-1.0.2","pushedAt":"2024-08-26T15:59:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"chore(deps): bump leanprover/lean-action from 1.0.0 to 1.0.2\n\nBumps [leanprover/lean-action](https://github.com/leanprover/lean-action) from 1.0.0 to 1.0.2.\n- [Release notes](https://github.com/leanprover/lean-action/releases)\n- [Changelog](https://github.com/leanprover/lean-action/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/leanprover/lean-action/compare/v1.0.0...v1.0.2)\n\n---\nupdated-dependencies:\n- dependency-name: leanprover/lean-action\n  dependency-type: direct:production\n  update-type: version-update:semver-patch\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"chore(deps): bump leanprover/lean-action from 1.0.0 to 1.0.2"}},{"before":"e4f0e5e164f2b6bad74f3d860659411c7d7c83f6","after":"083fdb5cf09eda691cecbe7644c2f2935a21abef","ref":"refs/heads/upstream","pushedAt":"2024-08-21T18:47:25.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"only import std","shortMessageHtmlLink":"only import std"}},{"before":null,"after":"3c746365070b46215a8dfe59c06d6a0799d2a633","ref":"refs/heads/dependabot/github_actions/leanprover/lean-action-1.0.1","pushedAt":"2024-08-21T16:03:25.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"chore(deps): bump leanprover/lean-action from 1.0.0 to 1.0.1\n\nBumps [leanprover/lean-action](https://github.com/leanprover/lean-action) from 1.0.0 to 1.0.1.\n- [Release notes](https://github.com/leanprover/lean-action/releases)\n- [Changelog](https://github.com/leanprover/lean-action/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/leanprover/lean-action/compare/v1.0.0...v1.0.1)\n\n---\nupdated-dependencies:\n- dependency-name: leanprover/lean-action\n  dependency-type: direct:production\n  update-type: version-update:semver-patch\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"chore(deps): bump leanprover/lean-action from 1.0.0 to 1.0.1"}},{"before":"d60a453c909bbe679e52678fe503792fd2ac7ecb","after":"e4f0e5e164f2b6bad74f3d860659411c7d7c83f6","ref":"refs/heads/upstream","pushedAt":"2024-08-20T19:35:55.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"all of leansat in core","shortMessageHtmlLink":"all of leansat in core"}},{"before":"28bd45af91407771730193c7dc6280fe0911b857","after":"d60a453c909bbe679e52678fe503792fd2ac7ecb","ref":"refs/heads/upstream","pushedAt":"2024-08-20T08:16:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"parsers moved to core","shortMessageHtmlLink":"parsers moved to core"}},{"before":"0600aa229225f84950a79fd1d248583e3c227f51","after":"28bd45af91407771730193c7dc6280fe0911b857","ref":"refs/heads/upstream","pushedAt":"2024-08-19T08:03:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"adjust for LRAT upstreaming","shortMessageHtmlLink":"adjust for LRAT upstreaming"}},{"before":"b436f7580508535528126e52a495e8a4833220b1","after":"0600aa229225f84950a79fd1d248583e3c227f51","ref":"refs/heads/upstream","pushedAt":"2024-08-16T09:48:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"rename Basic -> Lemmas","shortMessageHtmlLink":"rename Basic -&gt; Lemmas"}},{"before":"b8af3ed94e6b401c4a21d3f638b3dde49118a5cc","after":"b436f7580508535528126e52a495e8a4833220b1","ref":"refs/heads/upstream","pushedAt":"2024-08-16T09:47:08.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"Prop capitilization step 2","shortMessageHtmlLink":"Prop capitilization step 2"}},{"before":"0e6b86883eaa7a80a1b22675e7f8c4d1ff6e5c90","after":"b8af3ed94e6b401c4a21d3f638b3dde49118a5cc","ref":"refs/heads/upstream","pushedAt":"2024-08-16T07:29:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"refactor: make trim pure","shortMessageHtmlLink":"refactor: make trim pure"}},{"before":"27ab420184f164b29bed75f4f3ac1ab352da5634","after":"0e6b86883eaa7a80a1b22675e7f8c4d1ff6e5c90","ref":"refs/heads/upstream","pushedAt":"2024-08-16T07:13:11.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"doc: module doc strings","shortMessageHtmlLink":"doc: module doc strings"}},{"before":"716717a39872dbb9561c731c3db14f1f458f9f7b","after":"27ab420184f164b29bed75f4f3ac1ab352da5634","ref":"refs/heads/upstream","pushedAt":"2024-08-15T13:30:47.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"finish compartmentalization","shortMessageHtmlLink":"finish compartmentalization"}},{"before":"64a1230fd2f993d642b4299c4dca533f5bde1438","after":"716717a39872dbb9561c731c3db14f1f458f9f7b","ref":"refs/heads/upstream","pushedAt":"2024-08-15T13:30:12.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"finish compartmentalization","shortMessageHtmlLink":"finish compartmentalization"}},{"before":"649ff0257588774dededd8d8a787dfc1ad167dc8","after":"64a1230fd2f993d642b4299c4dca533f5bde1438","ref":"refs/heads/upstream","pushedAt":"2024-08-14T13:32:56.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"fix: negate_iff name","shortMessageHtmlLink":"fix: negate_iff name"}},{"before":"7f54df0cb56b68b98f183da37b75668aa2f6a685","after":"649ff0257588774dededd8d8a787dfc1ad167dc8","ref":"refs/heads/upstream","pushedAt":"2024-08-14T11:42:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"prettify PosFin","shortMessageHtmlLink":"prettify PosFin"}},{"before":"0ee77e54aa9cb6516d4e327c01c9c6ff2eaec90c","after":"7f54df0cb56b68b98f183da37b75668aa2f6a685","ref":"refs/heads/upstream","pushedAt":"2024-08-14T11:32:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"chore: bitblaster is upstreamed","shortMessageHtmlLink":"chore: bitblaster is upstreamed"}},{"before":"bf819c5d5e4a950531a217b76f82c46557ab1c24","after":"0ee77e54aa9cb6516d4e327c01c9c6ff2eaec90c","ref":"refs/heads/upstream","pushedAt":"2024-08-13T09:39:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"style: cleanup BitBlast/Lemmas","shortMessageHtmlLink":"style: cleanup BitBlast/Lemmas"}},{"before":"23a9a44ea9552a47212123eae0226a9a347bfcd7","after":"bf819c5d5e4a950531a217b76f82c46557ab1c24","ref":"refs/heads/upstream","pushedAt":"2024-08-13T08:56:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"style: cleanup BitBlast/Impl","shortMessageHtmlLink":"style: cleanup BitBlast/Impl"}},{"before":"b5f0643b724facf5dc02a226a1df2e896094ecd2","after":"23a9a44ea9552a47212123eae0226a9a347bfcd7","ref":"refs/heads/upstream","pushedAt":"2024-08-12T19:49:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"chore: use spaces at if and match","shortMessageHtmlLink":"chore: use spaces at if and match"}},{"before":"6111ca54f519f10c8e6c0cc547cb4398a5f89a24","after":"b5f0643b724facf5dc02a226a1df2e896094ecd2","ref":"refs/heads/upstream","pushedAt":"2024-08-12T19:38:41.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"chore: dsimp only everywhere","shortMessageHtmlLink":"chore: dsimp only everywhere"}},{"before":"d3cac0e332446b711cef07e31528195e7963a092","after":"6111ca54f519f10c8e6c0cc547cb4398a5f89a24","ref":"refs/heads/upstream","pushedAt":"2024-08-12T18:46:03.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"more naming","shortMessageHtmlLink":"more naming"}},{"before":"b3e0639de247f8a0c0c66567d3bc3b20d5ac37ad","after":"d3cac0e332446b711cef07e31528195e7963a092","ref":"refs/heads/upstream","pushedAt":"2024-08-12T13:27:49.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"cleanup BitBlast.Lemmas","shortMessageHtmlLink":"cleanup BitBlast.Lemmas"}},{"before":"1a8f813d5f5538d285e4b56dd7a1026b2b6413b9","after":"b3e0639de247f8a0c0c66567d3bc3b20d5ac37ad","ref":"refs/heads/upstream","pushedAt":"2024-08-12T12:45:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"clean up BitBlat/BoolExpr","shortMessageHtmlLink":"clean up BitBlat/BoolExpr"}},{"before":"065b22ab4ff5cf1e1648a870400fc4f17ab7c6db","after":"1a8f813d5f5538d285e4b56dd7a1026b2b6413b9","ref":"refs/heads/upstream","pushedAt":"2024-08-12T10:48:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"AIG upstreamed","shortMessageHtmlLink":"AIG upstreamed"}},{"before":"10bb41815af85f0c86a7eeb512bcaee4b4ee1ed4","after":"065b22ab4ff5cf1e1648a870400fc4f17ab7c6db","ref":"refs/heads/upstream","pushedAt":"2024-08-08T06:58:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"chore: use up stream file reading now that its fast","shortMessageHtmlLink":"chore: use up stream file reading now that its fast"}},{"before":"623a92452c210be835fc64f18c4ff6b9912e8e2e","after":"10bb41815af85f0c86a7eeb512bcaee4b4ee1ed4","ref":"refs/heads/upstream","pushedAt":"2024-08-08T06:53:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"chore: cut down on Misc even more","shortMessageHtmlLink":"chore: cut down on Misc even more"}},{"before":null,"after":"623a92452c210be835fc64f18c4ff6b9912e8e2e","ref":"refs/heads/upstream","pushedAt":"2024-08-07T15:35:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"use Std.Sat.CNF","shortMessageHtmlLink":"use Std.Sat.CNF"}},{"before":"45f37328af57692751cef7e8093243235392efb6","after":"30e2ed2327b32f7d56c831b7db3bef33158deebf","ref":"refs/heads/main","pushedAt":"2024-08-07T13:16:16.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"refactor: final refactor of CachedLemmas","shortMessageHtmlLink":"refactor: final refactor of CachedLemmas"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0yOVQwODoyMjo1MC4wMDAwMDBazwAAAASnWhYI","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0yOVQwODoyMjo1MC4wMDAwMDBazwAAAASnWhYI","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0wN1QxMzoxNjoxNi4wMDAwMDBazwAAAASUNE0A"}},"title":"Activity · leanprover/leansat"}