{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":207408903,"defaultBranch":"master","name":"sbv","ownerLogin":"doyougnu","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2019-09-09T21:33:52.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7284712?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1678200655.1968389","currentOid":""},"activityList":{"items":[{"before":"c31a36dcd02b09ce284a220d92132d9803a1a223","after":"b7b1d859092c6ac39a798f6100036dae9e1cded3","ref":"refs/heads/master","pushedAt":"2023-06-19T13:21:44.053Z","pushType":"push","commitsCount":3,"pusher":{"login":"doyougnu","name":"Jeffrey Young","path":"/doyougnu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7284712?s=80&v=4"},"commit":{"message":"fix the extension checker","shortMessageHtmlLink":"fix the extension checker"}},{"before":"c31a36dcd02b09ce284a220d92132d9803a1a223","after":"b7b1d859092c6ac39a798f6100036dae9e1cded3","ref":"refs/heads/master","pushedAt":"2023-06-19T13:21:44.010Z","pushType":"push","commitsCount":3,"pusher":{"login":"doyougnu","name":"Jeffrey Young","path":"/doyougnu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7284712?s=80&v=4"},"commit":{"message":"fix the extension checker","shortMessageHtmlLink":"fix the extension checker"}},{"before":"a99d9893f2232afb8978ebd86c89b1f681877a47","after":"c31a36dcd02b09ce284a220d92132d9803a1a223","ref":"refs/heads/master","pushedAt":"2023-06-12T14:33:40.961Z","pushType":"push","commitsCount":157,"pusher":{"login":"doyougnu","name":"Jeffrey Young","path":"/doyougnu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7284712?s=80&v=4"},"commit":{"message":"update gold","shortMessageHtmlLink":"update gold"}},{"before":"a99d9893f2232afb8978ebd86c89b1f681877a47","after":"c31a36dcd02b09ce284a220d92132d9803a1a223","ref":"refs/heads/master","pushedAt":"2023-06-12T14:33:40.909Z","pushType":"push","commitsCount":157,"pusher":{"login":"doyougnu","name":"Jeffrey Young","path":"/doyougnu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7284712?s=80&v=4"},"commit":{"message":"update gold","shortMessageHtmlLink":"update gold"}},{"before":"d26b685020f098cbcb646cda3750c453106da057","after":"a99d9893f2232afb8978ebd86c89b1f681877a47","ref":"refs/heads/master","pushedAt":"2023-03-29T11:10:06.500Z","pushType":"push","commitsCount":1,"pusher":{"login":"doyougnu","name":"Jeffrey Young","path":"/doyougnu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7284712?s=80&v=4"},"commit":{"message":"internals: export MProvable\n\nRequired for an instance in the benchsuite. We export in internals so that the\ninstance is not public facing since that violates the invariants or MProvable\nand MSatisfiable.\n\nCloses:\n  #649\n\nSee #650 for discusion and details.","shortMessageHtmlLink":"internals: export MProvable"}},{"before":"47ed0e360793226c753b672426f9dbd9942152e0","after":"d26b685020f098cbcb646cda3750c453106da057","ref":"refs/heads/master","pushedAt":"2023-03-29T00:30:16.512Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"doyougnu","name":"Jeffrey Young","path":"/doyougnu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7284712?s=80&v=4"},"commit":{"message":"benchsuite: compile with MProvable and MSatisfiable","shortMessageHtmlLink":"benchsuite: compile with MProvable and MSatisfiable"}},{"before":"b51468848325720e1f5af73a77c4b1cf6f7aa4a4","after":"47ed0e360793226c753b672426f9dbd9942152e0","ref":"refs/heads/master","pushedAt":"2023-03-29T00:17:07.652Z","pushType":"push","commitsCount":5,"pusher":{"login":"doyougnu","name":"Jeffrey Young","path":"/doyougnu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7284712?s=80&v=4"},"commit":{"message":"Merge branch 'LeventErkok:master' into master","shortMessageHtmlLink":"Merge branch 'LeventErkok:master' into master"}},{"before":"b59fe5cde94817801be0d9f3c9c7b5de0f6786ec","after":"b51468848325720e1f5af73a77c4b1cf6f7aa4a4","ref":"refs/heads/master","pushedAt":"2023-03-29T00:16:20.069Z","pushType":"push","commitsCount":1,"pusher":{"login":"doyougnu","name":"Jeffrey Young","path":"/doyougnu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7284712?s=80&v=4"},"commit":{"message":"benchsuite: compile with MProvable MSatisfiable","shortMessageHtmlLink":"benchsuite: compile with MProvable MSatisfiable"}},{"before":"96c573cd9c7e6c9a92a1bb41edb3362323f11451","after":"b59fe5cde94817801be0d9f3c9c7b5de0f6786ec","ref":"refs/heads/master","pushedAt":"2023-03-28T19:53:21.633Z","pushType":"push","commitsCount":306,"pusher":{"login":"doyougnu","name":"Jeffrey Young","path":"/doyougnu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7284712?s=80&v=4"},"commit":{"message":"missing packages","shortMessageHtmlLink":"missing packages"}},{"before":"c3435505a921040b487b60561fa46dd8c9adea13","after":"d6b06f80bca99fdd67ed2d19c7841d27bfc75782","ref":"refs/heads/sbv642","pushedAt":"2023-03-09T12:00:46.831Z","pushType":"push","commitsCount":1,"pusher":{"login":"doyougnu","name":"Jeffrey Young","path":"/doyougnu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7284712?s=80&v=4"},"commit":{"message":"update debug log","shortMessageHtmlLink":"update debug log"}},{"before":null,"after":"c3435505a921040b487b60561fa46dd8c9adea13","ref":"refs/heads/sbv642","pushedAt":"2023-03-07T14:50:55.196Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"doyougnu","name":"Jeffrey Young","path":"/doyougnu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7284712?s=80&v=4"},"commit":{"message":"more setup","shortMessageHtmlLink":"more setup"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADRHNB8wA","startCursor":null,"endCursor":null}},"title":"Activity · doyougnu/sbv"}