{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":577935715,"defaultBranch":"main","name":"cvc5","ownerLogin":"CyanoKobalamyne","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2022-12-13T21:43:08.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/4078712?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1698798757.0","currentOid":""},"activityList":{"items":[{"before":"142f8938d3ab58c896bc7615bd21daa02064eaa8","after":"15fbdbd04588bf54d10a46e6d09d6a7a8507d566","ref":"refs/heads/main","pushedAt":"2024-07-02T15:16:50.000Z","pushType":"push","commitsCount":446,"pusher":{"login":"CyanoKobalamyne","name":"Áron Ricardo Perez-Lopez","path":"/CyanoKobalamyne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4078712?s=80&v=4"},"commit":{"message":"Add WebAssembly build job to CI workflow (#10278)\n\nCo-authored-by: Daniel Larraz <daniel-larraz@users.noreply.github.com>","shortMessageHtmlLink":"Add WebAssembly build job to CI workflow (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2084700264\" data-permission-text=\"Title is private\" data-url=\"https://github.com/cvc5/cvc5/issues/10278\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/cvc5/cvc5/pull/10278/hovercard\" href=\"https://github.com/cvc5/cvc5/pull/10278\">cvc5#10278</a>)"}},{"before":"d074da20bfae3d38a56832347cf1fa21fd092e25","after":"e33ab779e3d1e4e36626b600034fef07fad713f3","ref":"refs/heads/lazy-bv","pushedAt":"2024-02-23T20:43:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CyanoKobalamyne","name":"Áron Ricardo Perez-Lopez","path":"/CyanoKobalamyne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4078712?s=80&v=4"},"commit":{"message":"Fix typos","shortMessageHtmlLink":"Fix typos"}},{"before":"df22f76e6b404048964aec1d8e7c7a43803fcbab","after":"142f8938d3ab58c896bc7615bd21daa02064eaa8","ref":"refs/heads/main","pushedAt":"2024-02-23T20:33:07.000Z","pushType":"push","commitsCount":77,"pusher":{"login":"CyanoKobalamyne","name":"Áron Ricardo Perez-Lopez","path":"/CyanoKobalamyne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4078712?s=80&v=4"},"commit":{"message":"Do not mark clauses as removable. (#10396)\n\nMarking clauses as removable in MiniSat was introduced prior to the introduction of the equality engine (a long time ago). As it is now, marking clauses as removable has a huge negative impact on performance, especially on strings. The question of when to mark which clauses as removable is currently being investigated from scratch.","shortMessageHtmlLink":"Do not mark clauses as removable. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2139707314\" data-permission-text=\"Title is private\" data-url=\"https://github.com/cvc5/cvc5/issues/10396\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/cvc5/cvc5/pull/10396/hovercard\" href=\"https://github.com/cvc5/cvc5/pull/10396\">cvc5#10396</a>)"}},{"before":"b3cec094e535d4013c5de2ef7d194dd535c79e7e","after":"df22f76e6b404048964aec1d8e7c7a43803fcbab","ref":"refs/heads/main","pushedAt":"2024-02-06T01:12:35.000Z","pushType":"push","commitsCount":144,"pusher":{"login":"CyanoKobalamyne","name":"Áron Ricardo Perez-Lopez","path":"/CyanoKobalamyne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4078712?s=80&v=4"},"commit":{"message":"Do not convert SCOPE in ALF post processor (#10345)\n\nThis is work towards eliminating the postprocessing step for the ALF printer.\r\n\r\nThis handles the printing of SCOPE in the ALF printer without converting the proof nodes.","shortMessageHtmlLink":"Do not convert SCOPE in ALF post processor (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2116555713\" data-permission-text=\"Title is private\" data-url=\"https://github.com/cvc5/cvc5/issues/10345\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/cvc5/cvc5/pull/10345/hovercard\" href=\"https://github.com/cvc5/cvc5/pull/10345\">cvc5#10345</a>)"}},{"before":"2c862d3de4a980c62059f203134307e0d571b961","after":"b3cec094e535d4013c5de2ef7d194dd535c79e7e","ref":"refs/heads/main","pushedAt":"2023-11-01T17:23:56.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"CyanoKobalamyne","name":"Áron Ricardo Perez-Lopez","path":"/CyanoKobalamyne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4078712?s=80&v=4"},"commit":{"message":"Remove function from parser API (#10130)","shortMessageHtmlLink":"Remove function from parser API (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1970860421\" data-permission-text=\"Title is private\" data-url=\"https://github.com/cvc5/cvc5/issues/10130\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/cvc5/cvc5/pull/10130/hovercard\" href=\"https://github.com/cvc5/cvc5/pull/10130\">cvc5#10130</a>)"}},{"before":"bbb2a46f7586b0199b3a3e1175103356e8d70dc4","after":null,"ref":"refs/heads/static-poly","pushedAt":"2023-11-01T00:32:37.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"CyanoKobalamyne","name":"Áron Ricardo Perez-Lopez","path":"/CyanoKobalamyne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4078712?s=80&v=4"}},{"before":"f336107bc91d4fe75cff82d9a4b5f4a7ccc3e261","after":"bbb2a46f7586b0199b3a3e1175103356e8d70dc4","ref":"refs/heads/static-poly","pushedAt":"2023-10-30T22:37:27.000Z","pushType":"push","commitsCount":34,"pusher":{"login":"mpreiner","name":"Mathias Preiner","path":"/mpreiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4653598?s=80&v=4"},"commit":{"message":"Merge branch 'main' into static-poly","shortMessageHtmlLink":"Merge branch 'main' into static-poly"}},{"before":"3663fdafc7b296b615ba440c0e8f0ad47c97b24b","after":"f336107bc91d4fe75cff82d9a4b5f4a7ccc3e261","ref":"refs/heads/static-poly","pushedAt":"2023-10-30T18:58:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CyanoKobalamyne","name":"Áron Ricardo Perez-Lopez","path":"/CyanoKobalamyne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4078712?s=80&v=4"},"commit":{"message":"Remove OS-specific part of file name.","shortMessageHtmlLink":"Remove OS-specific part of file name."}},{"before":"bb31b8bd37fd44b96dee609e7c0cdf442971381e","after":"2c862d3de4a980c62059f203134307e0d571b961","ref":"refs/heads/main","pushedAt":"2023-10-26T19:01:16.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"CyanoKobalamyne","name":"Áron Ricardo Perez-Lopez","path":"/CyanoKobalamyne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4078712?s=80&v=4"},"commit":{"message":"examples: Enable FF examples when built with cocoa. (#10121)","shortMessageHtmlLink":"examples: Enable FF examples when built with cocoa. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1962052749\" data-permission-text=\"Title is private\" data-url=\"https://github.com/cvc5/cvc5/issues/10121\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/cvc5/cvc5/pull/10121/hovercard\" href=\"https://github.com/cvc5/cvc5/pull/10121\">cvc5#10121</a>)"}},{"before":"bb31b8bd37fd44b96dee609e7c0cdf442971381e","after":"d074da20bfae3d38a56832347cf1fa21fd092e25","ref":"refs/heads/lazy-bv","pushedAt":"2023-10-26T18:59:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"CyanoKobalamyne","name":"Áron Ricardo Perez-Lopez","path":"/CyanoKobalamyne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4078712?s=80&v=4"},"commit":{"message":"Ignore temporary test files","shortMessageHtmlLink":"Ignore temporary test files"}},{"before":null,"after":"bb31b8bd37fd44b96dee609e7c0cdf442971381e","ref":"refs/heads/lazy-bv","pushedAt":"2023-10-26T18:48:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"CyanoKobalamyne","name":"Áron Ricardo Perez-Lopez","path":"/CyanoKobalamyne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4078712?s=80&v=4"},"commit":{"message":"Ignore temporary test files","shortMessageHtmlLink":"Ignore temporary test files"}},{"before":null,"after":"3663fdafc7b296b615ba440c0e8f0ad47c97b24b","ref":"refs/heads/static-poly","pushedAt":"2023-10-04T22:30:04.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"CyanoKobalamyne","name":"Áron Ricardo Perez-Lopez","path":"/CyanoKobalamyne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4078712?s=80&v=4"},"commit":{"message":"Find correct LibPoly file when compiling with --static","shortMessageHtmlLink":"Find correct LibPoly file when compiling with --static"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0wMlQxNToxNjo1MC4wMDAwMDBazwAAAAR0-EtN","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0wMlQxNToxNjo1MC4wMDAwMDBazwAAAAR0-EtN","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMC0wNFQyMjozMDowNC4wMDAwMDBazwAAAAOPqddJ"}},"title":"Activity · CyanoKobalamyne/cvc5"}