{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":206835806,"defaultBranch":"main","name":"pono","ownerLogin":"stanford-centaur","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-09-06T16:41:11.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/48811766?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726478862.0","currentOid":""},"activityList":{"items":[{"before":"5cbcaa087232d35ea7513cfa67581c5a4c678bcc","after":null,"ref":"refs/heads/benchmarking","pushedAt":"2024-09-16T09:24:59.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":null,"after":"5cbcaa087232d35ea7513cfa67581c5a4c678bcc","ref":"refs/heads/hwmcc24-dev","pushedAt":"2024-09-16T09:24:58.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":"Update CI workflow to make use of new testing target","shortMessageHtmlLink":"Update CI workflow to make use of new testing target"}},{"before":"49e412f4e20a6bf93b7e926f2a74dfa690d6f892","after":null,"ref":"refs/tags/hwmcc24","pushedAt":"2024-09-16T09:21:50.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":"bb4c9f4da08030379abba0f778edb3a150db3ade","after":"5cbcaa087232d35ea7513cfa67581c5a4c678bcc","ref":"refs/heads/benchmarking","pushedAt":"2024-09-16T08:52:13.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":"Update CI workflow to make use of new testing target","shortMessageHtmlLink":"Update CI workflow to make use of new testing target"}},{"before":"49e412f4e20a6bf93b7e926f2a74dfa690d6f892","after":"bb4c9f4da08030379abba0f778edb3a150db3ade","ref":"refs/heads/benchmarking","pushedAt":"2024-09-16T08:37:22.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":"Update k-induction variants in portfolio solver script","shortMessageHtmlLink":"Update k-induction variants in portfolio solver script"}},{"before":"69960bbfc6cf0d04096b711c0166a951e0481c83","after":null,"ref":"refs/heads/revert-354-cmake-min-version","pushedAt":"2024-09-16T07:39:30.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":"158bfaff2d70bc7dd05b50119af9fe91ed3e3463","after":"035c002684ae5d1a330ce7e30803d6974435b0d7","ref":"refs/heads/main","pushedAt":"2024-09-16T07:39:25.000Z","pushType":"pr_merge","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":"Revert \"Change minimum CMake version to 3.5 (#354)\" (#355)\n\nThis reverts commit 158bfaff2d70bc7dd05b50119af9fe91ed3e3463.","shortMessageHtmlLink":"Revert \"Change minimum CMake version to 3.5 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2526109781\" data-permission-text=\"Title is private\" data-url=\"https://github.com/stanford-centaur/pono/issues/354\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/stanford-centaur/pono/pull/354/hovercard\" href=\"https://github.com/stanford-centaur/pono/pull/354\">#354</a>)\" (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2527728061\" data-permission-text=\"Title is private\" data-url=\"https://github.com/stanford-centaur/pono/issues/355\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/stanford-centaur/pono/pull/355/hovercard\" href=\"https://github.com/stanford-centaur/pono/pull/355\">#355</a>)"}},{"before":null,"after":"69960bbfc6cf0d04096b711c0166a951e0481c83","ref":"refs/heads/revert-354-cmake-min-version","pushedAt":"2024-09-16T07:36:11.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":"Revert \"Change minimum CMake version to 3.5 (#354)\"\n\nThis reverts commit 158bfaff2d70bc7dd05b50119af9fe91ed3e3463.","shortMessageHtmlLink":"Revert \"Change minimum CMake version to 3.5 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2526109781\" data-permission-text=\"Title is private\" data-url=\"https://github.com/stanford-centaur/pono/issues/354\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/stanford-centaur/pono/pull/354/hovercard\" href=\"https://github.com/stanford-centaur/pono/pull/354\">#354</a>)\""}},{"before":"9c9cd3a2a0d7796e96079f49f4b8285227fa309a","after":"20c01bf18b5cc54121dfdd8e62df89563adf2bfb","ref":"refs/heads/quantified-invariants","pushedAt":"2024-09-16T07:35:40.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"CyanoKobalamyne","name":"Áron Ricardo Perez-Lopez","path":"/CyanoKobalamyne","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4078712?s=80&v=4"},"commit":{"message":"Simplify SubTermParametrizer","shortMessageHtmlLink":"Simplify SubTermParametrizer"}},{"before":"6e9bce0a6bcd042ae8257425462771e4c995edeb","after":"9c9cd3a2a0d7796e96079f49f4b8285227fa309a","ref":"refs/heads/quantified-invariants","pushedAt":"2024-09-14T23:37:40.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":"Implement property generalization","shortMessageHtmlLink":"Implement property generalization"}},{"before":"78c5d2d3245b66314885e850b5d0d861be9fbf0b","after":null,"ref":"refs/tags/hwmcc24","pushedAt":"2024-09-14T10:47:45.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":"8d69e77329ac8a2a64e9bf458ffc477970e53f63","after":"49e412f4e20a6bf93b7e926f2a74dfa690d6f892","ref":"refs/heads/benchmarking","pushedAt":"2024-09-14T10:47:19.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":"Restrict CMake to static libraries when compiling static binary","shortMessageHtmlLink":"Restrict CMake to static libraries when compiling static binary"}},{"before":"51e5030715b0933810f6168100d06c220ef657d2","after":"8d69e77329ac8a2a64e9bf458ffc477970e53f63","ref":"refs/heads/benchmarking","pushedAt":"2024-09-14T10:12:55.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":"Restrict CMake to static libraries when compiling static binary","shortMessageHtmlLink":"Restrict CMake to static libraries when compiling static binary"}},{"before":"d984107aca9f1c8ad943570ac1e7017cc1e8d256","after":"51e5030715b0933810f6168100d06c220ef657d2","ref":"refs/heads/benchmarking","pushedAt":"2024-09-14T09:11:09.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":"Build static release binary and upload as artifact","shortMessageHtmlLink":"Build static release binary and upload as artifact"}},{"before":"e3eff6daa45db34c265554b27f99615fe2ca1251","after":null,"ref":"refs/heads/cmake-min-version","pushedAt":"2024-09-14T09:09:41.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":"78ea2594e9186ac9ca30005b5c056e99fae2f841","after":"158bfaff2d70bc7dd05b50119af9fe91ed3e3463","ref":"refs/heads/main","pushedAt":"2024-09-14T09:09:37.000Z","pushType":"pr_merge","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":"Change minimum CMake version to 3.5 (#354)\n\nCurrent CMake versions print warnings that CMake < 3.5 is deprecated and support for it will be removed soon. CMake 3.5.0 was released in December 2018, so this should not affect any reasonably up-to-date installation.","shortMessageHtmlLink":"Change minimum CMake version to 3.5 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2526109781\" data-permission-text=\"Title is private\" data-url=\"https://github.com/stanford-centaur/pono/issues/354\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/stanford-centaur/pono/pull/354/hovercard\" href=\"https://github.com/stanford-centaur/pono/pull/354\">#354</a>)"}},{"before":"d81013d104638eacdf3f5d8d35a042d5f008258a","after":"78ea2594e9186ac9ca30005b5c056e99fae2f841","ref":"refs/heads/main","pushedAt":"2024-09-14T09:05:45.000Z","pushType":"pr_merge","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 unneeded boolector include (#353)","shortMessageHtmlLink":"Remove unneeded boolector include (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2526105978\" data-permission-text=\"Title is private\" data-url=\"https://github.com/stanford-centaur/pono/issues/353\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/stanford-centaur/pono/pull/353/hovercard\" href=\"https://github.com/stanford-centaur/pono/pull/353\">#353</a>)"}},{"before":"7c1d53615dd602666cbf6305f0f35921329c6772","after":null,"ref":"refs/heads/ic3-fail-on-unknown-bad","pushedAt":"2024-09-14T09:05:20.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":"b7860dbfb9cf2b836c458433f3dab0293fea07f8","after":"d81013d104638eacdf3f5d8d35a042d5f008258a","ref":"refs/heads/main","pushedAt":"2024-09-14T09:05:16.000Z","pushType":"pr_merge","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":"Throw exception when IC3 bad state reachability check result is unknown (#352)\n\nCurrently, if the invoked SMT solver returns \"unknown,\" we fail an assertion in debug mode and silently proceed as if it was unsat in release mode. This can happen on e.g. Bitwuzla when there are equalities involving constant arrays. (Other solvers might do this too, although some simply return incorrect results.)","shortMessageHtmlLink":"Throw exception when IC3 bad state reachability check result is unkno…"}},{"before":"438ed39685bc3d92969e4602b878854863522b12","after":null,"ref":"refs/heads/yices-support","pushedAt":"2024-09-14T08:45:40.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":"58f61e19a17a02fc65e39d7e560c147a5044874b","after":"b7860dbfb9cf2b836c458433f3dab0293fea07f8","ref":"refs/heads/main","pushedAt":"2024-09-14T08:45:36.000Z","pushType":"pr_merge","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":"Enable Yices2 backend (#350)","shortMessageHtmlLink":"Enable Yices2 backend (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2523579132\" data-permission-text=\"Title is private\" data-url=\"https://github.com/stanford-centaur/pono/issues/350\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/stanford-centaur/pono/pull/350/hovercard\" href=\"https://github.com/stanford-centaur/pono/pull/350\">#350</a>)"}},{"before":null,"after":"e3eff6daa45db34c265554b27f99615fe2ca1251","ref":"refs/heads/cmake-min-version","pushedAt":"2024-09-14T08:42:51.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":"Change minimum CMake version to 3.5","shortMessageHtmlLink":"Change minimum CMake version to 3.5"}},{"before":null,"after":"7c1d53615dd602666cbf6305f0f35921329c6772","ref":"refs/heads/ic3-fail-on-unknown-bad","pushedAt":"2024-09-14T07:16:10.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":"Throw exception when IC3 bad state reachability check result is unknown","shortMessageHtmlLink":"Throw exception when IC3 bad state reachability check result is unknown"}},{"before":null,"after":"7f15f34741ffb4f29fdc48a68d7558b51f161e1d","ref":"refs/heads/delete-unused-logging-param","pushedAt":"2024-09-14T06:01:46.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":"Remove unused logging parameter","shortMessageHtmlLink":"Remove unused logging parameter"}},{"before":"95280e10dd278a736fd2a96d365ab2b33c018a62","after":null,"ref":"refs/heads/msat-script-fix","pushedAt":"2024-09-13T01:20:27.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":"96136ce863111336e7f46f18197de20d9b08fa25","after":"58f61e19a17a02fc65e39d7e560c147a5044874b","ref":"refs/heads/main","pushedAt":"2024-09-13T01:20:23.000Z","pushType":"pr_merge","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":"Don't exit MathSAT setup script halfway through (#351)","shortMessageHtmlLink":"Don't exit MathSAT setup script halfway through (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2523597663\" data-permission-text=\"Title is private\" data-url=\"https://github.com/stanford-centaur/pono/issues/351\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/stanford-centaur/pono/pull/351/hovercard\" href=\"https://github.com/stanford-centaur/pono/pull/351\">#351</a>)"}},{"before":null,"after":"95280e10dd278a736fd2a96d365ab2b33c018a62","ref":"refs/heads/msat-script-fix","pushedAt":"2024-09-13T00:30:09.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":"Don't exit MathSAT setup script halfway through","shortMessageHtmlLink":"Don't exit MathSAT setup script halfway through"}},{"before":null,"after":"3822f274315f0354201da04002b736cdef31943c","ref":"refs/heads/z3-support","pushedAt":"2024-09-12T20:09:43.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":"Enable support for Z3","shortMessageHtmlLink":"Enable support for Z3"}},{"before":null,"after":"438ed39685bc3d92969e4602b878854863522b12","ref":"refs/heads/yices-support","pushedAt":"2024-09-12T18:24:29.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":"Enable Yices2 backend","shortMessageHtmlLink":"Enable Yices2 backend"}},{"before":"78c5d2d3245b66314885e850b5d0d861be9fbf0b","after":"d984107aca9f1c8ad943570ac1e7017cc1e8d256","ref":"refs/heads/benchmarking","pushedAt":"2024-09-11T23:02:53.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":"Build static release binary and upload as artifact","shortMessageHtmlLink":"Build static release binary and upload as artifact"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xNlQwOToyNDo1OS4wMDAwMDBazwAAAAS3Otd1","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xNlQwOToyNDo1OS4wMDAwMDBazwAAAAS3Otd1","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xMVQyMzowMjo1My4wMDAwMDBazwAAAASzvifC"}},"title":"Activity · stanford-centaur/pono"}