{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":751531327,"defaultBranch":"master","name":"pono","ownerLogin":"GaloisInc","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2024-02-01T19:43:55.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1584774?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1717436692.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"7b5f8c07ed46affeaf3e40388bb60504587f9e0f","ref":"refs/heads/mus-dump-smt2","pushedAt":"2024-06-03T17:44:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"add pono flag to dump MUST smt2 query","shortMessageHtmlLink":"add pono flag to dump MUST smt2 query"}},{"before":"c920105330c4f37cf69f03fddc9ae6c5eefd36b0","after":"ad2d81d9975dd266eb26014280959264247197f4","ref":"refs/heads/mus","pushedAt":"2024-06-03T17:33:32.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"Merge pull request #1 from GaloisInc/mus-ignore-yoys-internal-netnames-option\n\nadd mus-ignore-yosys-internal-netnames option","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2264003296\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/pono/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/pono/pull/1/hovercard\" href=\"https://github.com/GaloisInc/pono/pull/1\">#1</a> from GaloisInc/mus-ignore-yoys-internal-netname…"}},{"before":"4196b6bb839e1f81a4664c5dbf0aa2417106a525","after":"cb486af02981c03e54a48d0a5732f4405f8fa98e","ref":"refs/heads/mus-ignore-yoys-internal-netnames-option","pushedAt":"2024-04-26T19:50:30.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"add some additional discussion on Yosys internal netnames","shortMessageHtmlLink":"add some additional discussion on Yosys internal netnames"}},{"before":null,"after":"4196b6bb839e1f81a4664c5dbf0aa2417106a525","ref":"refs/heads/mus-ignore-yoys-internal-netnames-option","pushedAt":"2024-04-26T15:57:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"add mus-ignore-yosys-internal-netnames option","shortMessageHtmlLink":"add mus-ignore-yosys-internal-netnames option"}},{"before":"4196b6bb839e1f81a4664c5dbf0aa2417106a525","after":null,"ref":"refs/heads/mus-ignore-yoys-internal-netnames-option","pushedAt":"2024-04-25T20:09:20.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"}},{"before":null,"after":"4196b6bb839e1f81a4664c5dbf0aa2417106a525","ref":"refs/heads/mus-ignore-yoys-internal-netnames-option","pushedAt":"2024-04-25T16:09:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"add mus-ignore-yosys-internal-netnames option","shortMessageHtmlLink":"add mus-ignore-yosys-internal-netnames option"}},{"before":"94f20f94d22bf14a3800e9fc4f2993c5f9938483","after":"c920105330c4f37cf69f03fddc9ae6c5eefd36b0","ref":"refs/heads/mus","pushedAt":"2024-04-03T17:27:07.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"pass pono location to must build","shortMessageHtmlLink":"pass pono location to must build"}},{"before":"91b1fa29460dd128f83f3e1c3ab67d236471c877","after":"94f20f94d22bf14a3800e9fc4f2993c5f9938483","ref":"refs/heads/mus","pushedAt":"2024-04-03T00:33:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"disable USESMT flag in must build","shortMessageHtmlLink":"disable USESMT flag in must build"}},{"before":"6b137ddd9e52c41355320fd9ed61634af903a1b8","after":"91b1fa29460dd128f83f3e1c3ab67d236471c877","ref":"refs/heads/mus","pushedAt":"2024-04-03T00:29:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"remove z3 from must build","shortMessageHtmlLink":"remove z3 from must build"}},{"before":"f646113faeb1e486217f1df25179cc528645c30b","after":"e2ee1c73cf8a909d7b5d3e6307e379b419105a07","ref":"refs/heads/master","pushedAt":"2024-04-03T00:17:11.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"Update smt switch (#314)\n\n* Update setup-smt-switch.sh\r\n\r\nupdate smt-switch\r\n\r\n* enable smt-switch tests","shortMessageHtmlLink":"Update smt switch (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1492770557\" data-permission-text=\"Title is private\" data-url=\"https://github.com/stanford-centaur/pono/issues/314\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/stanford-centaur/pono/pull/314/hovercard\" href=\"https://github.com/stanford-centaur/pono/pull/314\">stanford-centaur#314</a>)"}},{"before":"e2ee1c73cf8a909d7b5d3e6307e379b419105a07","after":"f646113faeb1e486217f1df25179cc528645c30b","ref":"refs/heads/master","pushedAt":"2024-04-03T00:16:25.000Z","pushType":"push","commitsCount":34,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"bump MUST version","shortMessageHtmlLink":"bump MUST version"}},{"before":"f646113faeb1e486217f1df25179cc528645c30b","after":"6b137ddd9e52c41355320fd9ed61634af903a1b8","ref":"refs/heads/mus","pushedAt":"2024-04-02T23:57:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"parallelize must build","shortMessageHtmlLink":"parallelize must build"}},{"before":"9728a40e6fc1c58ed12c3f4188285543ab4b8afb","after":"f646113faeb1e486217f1df25179cc528645c30b","ref":"refs/heads/mus","pushedAt":"2024-04-02T23:56:28.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"bump MUST version","shortMessageHtmlLink":"bump MUST version"}},{"before":"f646113faeb1e486217f1df25179cc528645c30b","after":"e2ee1c73cf8a909d7b5d3e6307e379b419105a07","ref":"refs/heads/master","pushedAt":"2024-04-02T23:56:09.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"Update smt switch (#314)\n\n* Update setup-smt-switch.sh\r\n\r\nupdate smt-switch\r\n\r\n* enable smt-switch tests","shortMessageHtmlLink":"Update smt switch (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1492770557\" data-permission-text=\"Title is private\" data-url=\"https://github.com/stanford-centaur/pono/issues/314\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/stanford-centaur/pono/pull/314/hovercard\" href=\"https://github.com/stanford-centaur/pono/pull/314\">stanford-centaur#314</a>)"}},{"before":"b243cef7ea0c98840e7e012f5ce30f3430b1edcc","after":"f646113faeb1e486217f1df25179cc528645c30b","ref":"refs/heads/master","pushedAt":"2024-04-02T23:54:02.000Z","pushType":"push","commitsCount":33,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"bump MUST version","shortMessageHtmlLink":"bump MUST version"}},{"before":"f646113faeb1e486217f1df25179cc528645c30b","after":"9728a40e6fc1c58ed12c3f4188285543ab4b8afb","ref":"refs/heads/mus","pushedAt":"2024-04-02T23:52:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"paralellize must build","shortMessageHtmlLink":"paralellize must build"}},{"before":"c2eb8ab7d12c5a24ee1afd3b9e0940142fbbb815","after":"f646113faeb1e486217f1df25179cc528645c30b","ref":"refs/heads/mus","pushedAt":"2024-04-02T23:41:04.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"bump MUST version","shortMessageHtmlLink":"bump MUST version"}},{"before":"649e0ecd23764ab31ae569625d43f97aff76b789","after":"c2eb8ab7d12c5a24ee1afd3b9e0940142fbbb815","ref":"refs/heads/mus","pushedAt":"2024-04-02T16:44:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"explicitly convert `(_ BitVec 1)` args for `and`, `not` instead of overloading them","shortMessageHtmlLink":"explicitly convert <code>(_ BitVec 1)</code> args for <code>and</code>, <code>not</code> instead of ov…"}},{"before":"0dbe578ee363ef1dd84ad0f5af1831ad00233e1e","after":"649e0ecd23764ab31ae569625d43f97aff76b789","ref":"refs/heads/mus","pushedAt":"2024-04-01T22:28:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"pull in z3 with MUST","shortMessageHtmlLink":"pull in z3 with MUST"}},{"before":"de2a85fdcc1fb3c4a0d34201c06f8fc46575672f","after":"0dbe578ee363ef1dd84ad0f5af1831ad00233e1e","ref":"refs/heads/mus","pushedAt":"2024-04-01T16:27:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"update test case paths","shortMessageHtmlLink":"update test case paths"}},{"before":"4c62fb64fa6bbee59681a11ad24fdb96692e5d12","after":"de2a85fdcc1fb3c4a0d34201c06f8fc46575672f","ref":"refs/heads/mus","pushedAt":"2024-03-27T21:16:09.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"add test case comparing SAT results of BMC/MUS for HWMCC benchmarks","shortMessageHtmlLink":"add test case comparing SAT results of BMC/MUS for HWMCC benchmarks"}},{"before":"b7ff8bc791462276e3c1e33faa9ab58852b73a10","after":"4c62fb64fa6bbee59681a11ad24fdb96692e5d12","ref":"refs/heads/mus","pushedAt":"2024-03-15T18:32:11.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"set logging solver option whenever mus engine is invoked","shortMessageHtmlLink":"set logging solver option whenever mus engine is invoked"}},{"before":"52116741ba43499b9234f33294021487453c7844","after":"b7ff8bc791462276e3c1e33faa9ab58852b73a10","ref":"refs/heads/mus","pushedAt":"2024-03-13T22:39:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"further clarify the connection between `MUS.bool_mus` and `controlVars`","shortMessageHtmlLink":"further clarify the connection between <code>MUS.bool_mus</code> and <code>controlVars</code>"}},{"before":"f7277d50375864950c07fd3fd53f9c1db53e4025","after":"52116741ba43499b9234f33294021487453c7844","ref":"refs/heads/mus","pushedAt":"2024-03-13T21:21:08.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"add some documentation and TODOs","shortMessageHtmlLink":"add some documentation and TODOs"}},{"before":"e8a737e13247f2c6b4eef5c16d758922c3ac32a8","after":"f7277d50375864950c07fd3fd53f9c1db53e4025","ref":"refs/heads/mus","pushedAt":"2024-03-13T18:13:08.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"coalesce functional and non-functional transition system cases","shortMessageHtmlLink":"coalesce functional and non-functional transition system cases"}},{"before":"53720c66c14d1f51fbcb11c006b2be7ebaf7f24d","after":"e8a737e13247f2c6b4eef5c16d758922c3ac32a8","ref":"refs/heads/mus","pushedAt":"2024-03-12T17:18:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"explicity convert selects yielding `(_ BitVec 1)` to `Bool`","shortMessageHtmlLink":"explicity convert selects yielding <code>(_ BitVec 1)</code> to <code>Bool</code>"}},{"before":"27cf88b5639896e7d4dea3c59b7886e7c09bce40","after":"53720c66c14d1f51fbcb11c006b2be7ebaf7f24d","ref":"refs/heads/mus","pushedAt":"2024-03-07T16:48:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"update tests","shortMessageHtmlLink":"update tests"}},{"before":"ccb3714f42e219cce3256209fd7bae7dcc121baa","after":"27cf88b5639896e7d4dea3c59b7886e7c09bce40","ref":"refs/heads/mus","pushedAt":"2024-03-07T15:45:35.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"add c example from btor2 paper","shortMessageHtmlLink":"add c example from btor2 paper"}},{"before":"423834d23188b8fea47fd74d6bc6a83c5c2f6259","after":"ccb3714f42e219cce3256209fd7bae7dcc121baa","ref":"refs/heads/mus","pushedAt":"2024-03-06T22:53:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"add smv count2 test cases","shortMessageHtmlLink":"add smv count2 test cases"}},{"before":"3d5032a24dfe947f42ea4895824df090fed57971","after":"423834d23188b8fea47fd74d6bc6a83c5c2f6259","ref":"refs/heads/mus","pushedAt":"2024-03-06T21:36:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rperoutka","name":"Ryan Peroutka","path":"/rperoutka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/72412210?s=80&v=4"},"commit":{"message":"update test filename asm -> altitude_switch_model and expected","shortMessageHtmlLink":"update test filename asm -&gt; altitude_switch_model and expected"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEWzlCyQA","startCursor":null,"endCursor":null}},"title":"Activity · GaloisInc/pono"}