{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":161556331,"defaultBranch":"master","name":"bosphorus","ownerLogin":"meelgroup","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-12-12T23:09:05.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/36448897?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1682826032.0","currentOid":""},"activityList":{"items":[{"before":"3cd6cea582e10dc9969f104f5a52ad4706bc1d91","after":"16db5c3f44c1d44d5d07236cd790562693069553","ref":"refs/heads/master","pushedAt":"2024-07-23T21:46:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msoos","name":"Mate Soos","path":"/msoos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1334841?s=80&v=4"},"commit":{"message":"Using `c p show` instead of `c ind`","shortMessageHtmlLink":"Using <code>c p show</code> instead of <code>c ind</code>"}},{"before":"bd1b643560c0ebe0af5deb28403e158b133be529","after":"3cd6cea582e10dc9969f104f5a52ad4706bc1d91","ref":"refs/heads/master","pushedAt":"2024-01-27T04:09:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kuldeepmeel","name":"Kuldeep S. Meel","path":"/kuldeepmeel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/777597?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"c11f2062c59b4c9e0fb188eeb0a59418ba902e17","after":"bd1b643560c0ebe0af5deb28403e158b133be529","ref":"refs/heads/master","pushedAt":"2023-08-07T19:17:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msoos","name":"Mate Soos","path":"/msoos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1334841?s=80&v=4"},"commit":{"message":"Fixing ANF parsing bug\n\nThank you to Tan Yong Kiam for finding and pointing to a fix!","shortMessageHtmlLink":"Fixing ANF parsing bug"}},{"before":"0d9938be14812acdb2ce44cf9a70cae00e7d0654","after":"c11f2062c59b4c9e0fb188eeb0a59418ba902e17","ref":"refs/heads/master","pushedAt":"2023-08-06T13:09:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msoos","name":"Mate Soos","path":"/msoos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1334841?s=80&v=4"},"commit":{"message":"Fixing indep generation when doing ANF->CNF","shortMessageHtmlLink":"Fixing indep generation when doing ANF-&gt;CNF"}},{"before":"a83c402419f4c579c8cb195af4a6b9b62f52e020","after":"0d9938be14812acdb2ce44cf9a70cae00e7d0654","ref":"refs/heads/master","pushedAt":"2023-08-06T12:45:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msoos","name":"Mate Soos","path":"/msoos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1334841?s=80&v=4"},"commit":{"message":"Fixing off-by-one caught by Tan Yong Kiam","shortMessageHtmlLink":"Fixing off-by-one caught by Tan Yong Kiam"}},{"before":"76a7427b79d09a6b5df067d6f771d3006734d2e6","after":"a83c402419f4c579c8cb195af4a6b9b62f52e020","ref":"refs/heads/master","pushedAt":"2023-08-03T18:56:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msoos","name":"Mate Soos","path":"/msoos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1334841?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"51f19f82efedeebe068e5d08ad9a827cd389a734","after":"76a7427b79d09a6b5df067d6f771d3006734d2e6","ref":"refs/heads/master","pushedAt":"2023-08-02T23:24:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msoos","name":"Mate Soos","path":"/msoos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1334841?s=80&v=4"},"commit":{"message":"Fixing up projection","shortMessageHtmlLink":"Fixing up projection"}},{"before":"3ddbf97bdf693416d0c0b25e8c1bb1bb409cd59e","after":"51f19f82efedeebe068e5d08ad9a827cd389a734","ref":"refs/heads/master","pushedAt":"2023-08-02T21:43:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msoos","name":"Mate Soos","path":"/msoos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1334841?s=80&v=4"},"commit":{"message":"Adding projection set with `c p show ... END`","shortMessageHtmlLink":"Adding projection set with <code>c p show ... END</code>"}},{"before":"c44f7d987373dd89941f787b0ab8efc0159679fc","after":"3ddbf97bdf693416d0c0b25e8c1bb1bb409cd59e","ref":"refs/heads/master","pushedAt":"2023-08-01T19:07:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msoos","name":"Mate Soos","path":"/msoos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1334841?s=80&v=4"},"commit":{"message":"Adding `--maxsol N` option","shortMessageHtmlLink":"Adding <code>--maxsol N</code> option"}},{"before":"0f7056a04c7c32f632e7f795bcd624935a83bb44","after":"c44f7d987373dd89941f787b0ab8efc0159679fc","ref":"refs/heads/master","pushedAt":"2023-08-01T18:49:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msoos","name":"Mate Soos","path":"/msoos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1334841?s=80&v=4"},"commit":{"message":"Adding missing include","shortMessageHtmlLink":"Adding missing include"}},{"before":"6db07f254dd72627d91ebad5fe4e529faebefa36","after":"0f7056a04c7c32f632e7f795bcd624935a83bb44","ref":"refs/heads/master","pushedAt":"2023-04-30T03:39:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msoos","name":"Mate Soos","path":"/msoos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1334841?s=80&v=4"},"commit":{"message":"Bumping version","shortMessageHtmlLink":"Bumping version"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEh1GlBAA","startCursor":null,"endCursor":null}},"title":"Activity · meelgroup/bosphorus"}