{"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:1726190427.0","currentOid":""},"activityList":{"items":[{"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"}},{"before":"8ea1f74c1507a3220ddfcc001175d97ff4bef781","after":null,"ref":"refs/tags/hwmcc24","pushedAt":"2024-09-11T05:28:24.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":"b12f9cd11515964baef7e8c2f55ab5e1f2b82ab0","after":"78c5d2d3245b66314885e850b5d0d861be9fbf0b","ref":"refs/heads/benchmarking","pushedAt":"2024-09-11T04:39:11.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":"2b9c09ecfb655ce6cfceeac382d573e1275d22b4","after":"b12f9cd11515964baef7e8c2f55ab5e1f2b82ab0","ref":"refs/heads/benchmarking","pushedAt":"2024-09-11T03:55: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":"Build static release binary and upload as artifact","shortMessageHtmlLink":"Build static release binary and upload as artifact"}},{"before":"9233c3cc7f47211d6fe7a5e1c89f9dd5a7ed7c11","after":"2b9c09ecfb655ce6cfceeac382d573e1275d22b4","ref":"refs/heads/benchmarking","pushedAt":"2024-09-11T02:40:49.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":"e3f6927d2a55ddeb960d93059dd5dd4588123eeb","after":"9233c3cc7f47211d6fe7a5e1c89f9dd5a7ed7c11","ref":"refs/heads/benchmarking","pushedAt":"2024-09-11T02:24:42.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":"8ea1f74c1507a3220ddfcc001175d97ff4bef781","after":"e3f6927d2a55ddeb960d93059dd5dd4588123eeb","ref":"refs/heads/benchmarking","pushedAt":"2024-09-11T00:00:18.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":"3ac3039cd81c948e274f0ca48b2c0935fbcb6d1e","after":null,"ref":"refs/heads/next-var-fix","pushedAt":"2024-09-10T23:45:49.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":"92e7cda9c323b0e8acef90d4a109b29f33b4fccb","after":"96136ce863111336e7f46f18197de20d9b08fa25","ref":"refs/heads/main","pushedAt":"2024-09-10T23:45: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":"Fix naming of automatically generated next-state variables (#349)\n\nIf a user has state variables called both `x` and `x.next` in their BTOR2 file, Pono currently throws an error, because `TransitionSystem.make_statevar` creates two solver symbols, an identically-named one for the current value of the state variable, and one with `\".next\"` appended for the next value. This PR changes the suffix to be something that is less likely to clash with actual signals. It is still possible to cause a crash deliberately, but the only way to avoid that would be to make the variable names less readable and using something like an UUID.\r\n\r\nChanges included in this commit:\r\n* Unify TS constructors\r\n* Make next-state suffix configurable\r\n* Change TS test to exhibit bug\r\n* Change default next-state suffix","shortMessageHtmlLink":"Fix naming of automatically generated next-state variables (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2518112667\" data-permission-text=\"Title is private\" data-url=\"https://github.com/stanford-centaur/pono/issues/349\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/stanford-centaur/pono/pull/349/hovercard\" href=\"https://github.com/stanford-centaur/pono/pull/349\">#349</a>)"}},{"before":"e51b233f9bad9c71669f43b7c443e7e61a569e5b","after":"3ac3039cd81c948e274f0ca48b2c0935fbcb6d1e","ref":"refs/heads/next-var-fix","pushedAt":"2024-09-10T21:41:20.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":"Change default next-state suffix","shortMessageHtmlLink":"Change default next-state suffix"}},{"before":"6ccd0d32f98a3663dfe5c4a2fba2a9e254a82537","after":"e51b233f9bad9c71669f43b7c443e7e61a569e5b","ref":"refs/heads/next-var-fix","pushedAt":"2024-09-10T06:11:44.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":"Change default next-state suffix","shortMessageHtmlLink":"Change default next-state suffix"}},{"before":"393bea07a07571d4232a1c51508a09d64c2c75d1","after":"6ccd0d32f98a3663dfe5c4a2fba2a9e254a82537","ref":"refs/heads/next-var-fix","pushedAt":"2024-09-10T06:10: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":"Change TS test to exhibit bug","shortMessageHtmlLink":"Change TS test to exhibit bug"}},{"before":"78405391515145ad307f91ea0154337690eb7730","after":"393bea07a07571d4232a1c51508a09d64c2c75d1","ref":"refs/heads/next-var-fix","pushedAt":"2024-09-10T01:27: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":"Change default next-state suffix","shortMessageHtmlLink":"Change default next-state suffix"}},{"before":"12e6bae7d95b97b46129d1e84901d80ee2d968d3","after":"78405391515145ad307f91ea0154337690eb7730","ref":"refs/heads/next-var-fix","pushedAt":"2024-09-10T01:25:00.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":"Change TS test to exhibit bug","shortMessageHtmlLink":"Change TS test to exhibit bug"}},{"before":"5386b86f0b6941170b0e622fd365415efee6cd7e","after":"12e6bae7d95b97b46129d1e84901d80ee2d968d3","ref":"refs/heads/next-var-fix","pushedAt":"2024-09-10T01:24: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":"Make next-state suffix configurable","shortMessageHtmlLink":"Make next-state suffix configurable"}},{"before":null,"after":"5386b86f0b6941170b0e622fd365415efee6cd7e","ref":"refs/heads/next-var-fix","pushedAt":"2024-09-09T23:51:57.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":"Unify TS constructors","shortMessageHtmlLink":"Unify TS constructors"}},{"before":"0281ce9cf4cda540c8bed5eda0d7ea8a04a51b4b","after":"8ea1f74c1507a3220ddfcc001175d97ff4bef781","ref":"refs/heads/benchmarking","pushedAt":"2024-08-31T12:00:30.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 parallel script for benchmarking","shortMessageHtmlLink":"Update parallel script for benchmarking"}},{"before":"ffe6b61fd00e838dbb480d6c59e8809ca1a82e5b","after":"0281ce9cf4cda540c8bed5eda0d7ea8a04a51b4b","ref":"refs/heads/benchmarking","pushedAt":"2024-08-31T11:04:14.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 parallel script for benchmarking","shortMessageHtmlLink":"Update parallel script for benchmarking"}},{"before":"8e017bfcfbef0511f97f567e0d77f466173ad27e","after":null,"ref":"refs/heads/bitwuzla-default","pushedAt":"2024-08-31T10:44: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":"d15620c1f733157f4caf36cf3ca1565b2d242113","after":"92e7cda9c323b0e8acef90d4a109b29f33b4fccb","ref":"refs/heads/main","pushedAt":"2024-08-31T10:44:55.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":"Switch default solver to Bitwuzla (#348)","shortMessageHtmlLink":"Switch default solver to Bitwuzla (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2498469298\" data-permission-text=\"Title is private\" data-url=\"https://github.com/stanford-centaur/pono/issues/348\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/stanford-centaur/pono/pull/348/hovercard\" href=\"https://github.com/stanford-centaur/pono/pull/348\">#348</a>)"}},{"before":"15bc87b8953d9941bf1c5931fe57241b548e3611","after":null,"ref":"refs/heads/ci-bitwuzla-deps","pushedAt":"2024-08-31T10:44:24.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":"e7147b817f6b0408726bfdbcc5676d7ebf1eceb6","after":"d15620c1f733157f4caf36cf3ca1565b2d242113","ref":"refs/heads/main","pushedAt":"2024-08-31T10:44:17.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":"Fix CI deps for Bitwuzla installation (#347)\n\n* Install meson in CI\r\n\r\n* Install ninja in CI","shortMessageHtmlLink":"Fix CI deps for Bitwuzla installation (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2498468427\" data-permission-text=\"Title is private\" data-url=\"https://github.com/stanford-centaur/pono/issues/347\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/stanford-centaur/pono/pull/347/hovercard\" href=\"https://github.com/stanford-centaur/pono/pull/347\">#347</a>)"}},{"before":"631bbf95b985234f9985315f8767484042f48a56","after":null,"ref":"refs/heads/smt-switch-update-20240830","pushedAt":"2024-08-31T10:43:52.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":"2451303cf879250dce33685867cef927e29f0bb8","after":"e7147b817f6b0408726bfdbcc5676d7ebf1eceb6","ref":"refs/heads/main","pushedAt":"2024-08-31T10:43:24.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":"Update smt-switch version to stanford-centaur/smt-switch@1f708c2da4aa102e45848b6a349d1d3260d262a5 (#344)","shortMessageHtmlLink":"Update smt-switch version to <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/stanford-centaur/smt-switch/commit/1f708c2da4aa102e45848b6a349d1d3260d262a5/hovercard\" href=\"https://github.com/stanford-centaur/smt-switch/commit/1f708c2da4aa102e45848b6a349d1d3260d262a5\">stanford-centaur/smt-switch@<tt>1f708c2</tt></a> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2498286017\" data-permission-text=\"Title is private\" data-url=\"https://github.com/stanford-centaur/pono/issues/344\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/stanford-centaur/pono/pull/344/hovercard\" href=\"https://github.com/stanford-centaur/pono/pull/344\">#344</a>)"}},{"before":"187773164e63c4eb919827ad4de44e2068cdae95","after":"8e017bfcfbef0511f97f567e0d77f466173ad27e","ref":"refs/heads/bitwuzla-default","pushedAt":"2024-08-31T09:29:21.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":"Switch default solver to Bitwuzla","shortMessageHtmlLink":"Switch default solver to Bitwuzla"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEtPxobAA","startCursor":null,"endCursor":null}},"title":"Activity · stanford-centaur/pono"}