{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":169686321,"defaultBranch":"master","name":"sv2v","ownerLogin":"zachjs","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-02-08T04:49:52.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2541204?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1718770612.0","currentOid":""},"activityList":{"items":[{"before":"e3feeff152c268fa68d64ad13eaabeeb9bb6f02b","after":"2cc1f6e2dc531a869c445749df20b17a115e912d","ref":"refs/heads/master","pushedAt":"2024-06-30T16:31:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"},"commit":{"message":"fix coverage job checkout","shortMessageHtmlLink":"fix coverage job checkout"}},{"before":"52197df3252081f06912f98739ad5e4b855097f9","after":"e3feeff152c268fa68d64ad13eaabeeb9bb6f02b","ref":"refs/heads/master","pushedAt":"2024-06-23T19:15:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"},"commit":{"message":"cover --exclude assert in tests","shortMessageHtmlLink":"cover --exclude assert in tests"}},{"before":"73a9cc6750d6896eb0c90a33cf56c971237e5374","after":"52197df3252081f06912f98739ad5e4b855097f9","ref":"refs/heads/master","pushedAt":"2024-06-20T03:24:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"},"commit":{"message":"add bugpoint mode\n\nThis mode reduces the size of test cases that encounter conversion\nerrors or produce incorrect output. The logic developed slowly over the\npast three years. It is in a state that I find useful when fielding bug\nreports, but has some room for improvement in terms of constraints and\nfiltering.","shortMessageHtmlLink":"add bugpoint mode"}},{"before":"b6ea45fbcc1a1330d1dc79129307a2ca4e58c890","after":null,"ref":"refs/heads/bump-ghc-threads","pushedAt":"2024-06-19T04:16:52.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"}},{"before":"1c902773b4385e092fca28c73cc7dee549151250","after":"73a9cc6750d6896eb0c90a33cf56c971237e5374","ref":"refs/heads/master","pushedAt":"2024-06-18T04:14:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"},"commit":{"message":"logic conversion handles tf output ports","shortMessageHtmlLink":"logic conversion handles tf output ports"}},{"before":"636130f8b479bdc58013a72f32af08512846e6cf","after":"1c902773b4385e092fca28c73cc7dee549151250","ref":"refs/heads/master","pushedAt":"2024-06-18T03:06:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"},"commit":{"message":"parser support for not, strong, weak, nexttime, and s_nexttime","shortMessageHtmlLink":"parser support for not, strong, weak, nexttime, and s_nexttime"}},{"before":"d3dbaf0684f6165d0c799daa36845f336b13f896","after":"636130f8b479bdc58013a72f32af08512846e6cf","ref":"refs/heads/master","pushedAt":"2024-06-16T19:06:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"},"commit":{"message":"add weekly coverage build","shortMessageHtmlLink":"add weekly coverage build"}},{"before":"729b8acdf5658aab96363273341401ee145c814f","after":null,"ref":"refs/heads/coverage","pushedAt":"2024-06-16T19:01:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"}},{"before":"3cb15aa0d1ef4b196bcac21ac768ee79ed788295","after":"729b8acdf5658aab96363273341401ee145c814f","ref":"refs/heads/coverage","pushedAt":"2024-06-16T16:43:09.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"},"commit":{"message":"draft coverage workflow","shortMessageHtmlLink":"draft coverage workflow"}},{"before":"96094e68704ed561ecb4e5931b9f948ad8925e03","after":"3cb15aa0d1ef4b196bcac21ac768ee79ed788295","ref":"refs/heads/coverage","pushedAt":"2024-06-16T15:58:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"},"commit":{"message":"draft coverage workflow","shortMessageHtmlLink":"draft coverage workflow"}},{"before":"1705f286409401a7ebcdac4ac20291a8fb96c8df","after":"96094e68704ed561ecb4e5931b9f948ad8925e03","ref":"refs/heads/coverage","pushedAt":"2024-06-16T06:23:49.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"},"commit":{"message":"draft coverage workflow","shortMessageHtmlLink":"draft coverage workflow"}},{"before":"255cd0cda93749cb11963b563ab515993bd9abde","after":"1705f286409401a7ebcdac4ac20291a8fb96c8df","ref":"refs/heads/coverage","pushedAt":"2024-06-16T06:21:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"},"commit":{"message":"draft coverage workflow","shortMessageHtmlLink":"draft coverage workflow"}},{"before":null,"after":"255cd0cda93749cb11963b563ab515993bd9abde","ref":"refs/heads/coverage","pushedAt":"2024-06-16T06:20:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"},"commit":{"message":"draft coverage workflow","shortMessageHtmlLink":"draft coverage workflow"}},{"before":"6eda946f5739e316f0a71c8cb4761653dffb5e5a","after":"d3dbaf0684f6165d0c799daa36845f336b13f896","ref":"refs/heads/master","pushedAt":"2024-06-16T02:42:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"},"commit":{"message":"handle resetall when creating implicit nets","shortMessageHtmlLink":"handle resetall when creating implicit nets"}},{"before":"fdfa5971153d6829019fa052a35ab92f62fb30e4","after":"6eda946f5739e316f0a71c8cb4761653dffb5e5a","ref":"refs/heads/master","pushedAt":"2024-06-16T02:25:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"},"commit":{"message":"handle directives when writing to a directory","shortMessageHtmlLink":"handle directives when writing to a directory"}},{"before":"7a58f099adc595fc4750959c446460d0d5abddb9","after":"fdfa5971153d6829019fa052a35ab92f62fb30e4","ref":"refs/heads/master","pushedAt":"2024-06-09T22:31:29.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"},"commit":{"message":"upgrade system severity task AST representation","shortMessageHtmlLink":"upgrade system severity task AST representation"}},{"before":"70ec448a31293523769bbae05fc910e22263d090","after":"7a58f099adc595fc4750959c446460d0d5abddb9","ref":"refs/heads/master","pushedAt":"2024-06-09T22:30:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"},"commit":{"message":"upgrade system severity task AST representation","shortMessageHtmlLink":"upgrade system severity task AST representation"}},{"before":null,"after":"b6ea45fbcc1a1330d1dc79129307a2ca4e58c890","ref":"refs/heads/bump-ghc-threads","pushedAt":"2024-05-23T12:51:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"},"commit":{"message":"run GHC with 4 threads","shortMessageHtmlLink":"run GHC with 4 threads"}},{"before":"429dc5afec0ad24cc478eaf6d4f058c9eb99d3e9","after":"70ec448a31293523769bbae05fc910e22263d090","ref":"refs/heads/master","pushedAt":"2024-05-08T13:08:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"},"commit":{"message":"remove iverilog workaround from typeof_scope.sv\n\nWith steveicarus/iverilog#483 resolved, this workaround is no longer\nnecessary.","shortMessageHtmlLink":"remove iverilog workaround from typeof_scope.sv"}},{"before":"9ba03f99423c4dd180bb329411e8338f47f9f01c","after":"429dc5afec0ad24cc478eaf6d4f058c9eb99d3e9","ref":"refs/heads/master","pushedAt":"2024-05-07T03:18:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"},"commit":{"message":"use --pvp-bounds upper for future releases","shortMessageHtmlLink":"use --pvp-bounds upper for future releases"}},{"before":"7cf4944595bbfb935791d3895c4dcce194d79da4","after":"9ba03f99423c4dd180bb329411e8338f47f9f01c","ref":"refs/heads/master","pushedAt":"2024-05-07T02:29:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"},"commit":{"message":"release v0.0.12","shortMessageHtmlLink":"release v0.0.12"}},{"before":"4dc672bbfadcd29a870898cf04e52d7e205851f6","after":"7cf4944595bbfb935791d3895c4dcce194d79da4","ref":"refs/heads/master","pushedAt":"2024-05-07T02:19:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"},"commit":{"message":"prepare for the next release\n\n- add release.sh script to automate most of the process\n- minor revisions to the unreleased changelog\n- migrate away from deprecated release asset action","shortMessageHtmlLink":"prepare for the next release"}},{"before":"a4928a87e6c6861a8c2831c9c8ef3248cca93f1f","after":"4dc672bbfadcd29a870898cf04e52d7e205851f6","ref":"refs/heads/master","pushedAt":"2024-05-05T22:24:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"},"commit":{"message":"bump license year","shortMessageHtmlLink":"bump license year"}},{"before":"988f76b92bcbb081adc2d46f7a47526e6529b2a6","after":"a4928a87e6c6861a8c2831c9c8ef3248cca93f1f","ref":"refs/heads/master","pushedAt":"2024-05-05T22:23:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"},"commit":{"message":"swap order of regexes in notice.sh","shortMessageHtmlLink":"swap order of regexes in notice.sh"}},{"before":"bc1329a72bf6cfcfd5289468d770232635a25c7c","after":"988f76b92bcbb081adc2d46f7a47526e6529b2a6","ref":"refs/heads/master","pushedAt":"2024-05-05T20:05:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"},"commit":{"message":"broaden compiler support\n\n- build in CI using snapshots from lts-13 through lts-22 and nightly\n- allow building with alex >= 3.2 and happy >= 1.19\n- fallback to cabal version string with incompatible versions of githash","shortMessageHtmlLink":"broaden compiler support"}},{"before":"ff8fe76a38e12c84eec43098d9b6e761a2bfa3a2","after":null,"ref":"refs/heads/resolver","pushedAt":"2024-05-05T20:05:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"}},{"before":null,"after":"ff8fe76a38e12c84eec43098d9b6e761a2bfa3a2","ref":"refs/heads/resolver","pushedAt":"2024-05-05T19:43:05.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"},"commit":{"message":"broaden compiler support\n\n- build in CI using snapshots from lts-13 through lts-22 and nightly\n- allow building with alex >= 3.2 and happy >= 1.19\n- fallback to cabal version string with incompatible versions of githash","shortMessageHtmlLink":"broaden compiler support"}},{"before":"caf9abd6c84b62fd324611085ae949c3a55450e6","after":null,"ref":"refs/heads/resolver","pushedAt":"2024-05-05T19:28:23.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"}},{"before":"4a4aa79446def4e623658c3ed64ad53a7b290b90","after":"caf9abd6c84b62fd324611085ae949c3a55450e6","ref":"refs/heads/resolver","pushedAt":"2024-05-05T19:16:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"},"commit":{"message":"tolerate incompatible githash","shortMessageHtmlLink":"tolerate incompatible githash"}},{"before":"5f34eb8a94bd8faa8dd2a5cb426e297815ff34dc","after":"4a4aa79446def4e623658c3ed64ad53a7b290b90","ref":"refs/heads/resolver","pushedAt":"2024-05-05T18:54:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zachjs","name":"Zachary Snow","path":"/zachjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2541204?s=80&v=4"},"commit":{"message":"tweak supported versions","shortMessageHtmlLink":"tweak supported versions"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEcxMSoAA","startCursor":null,"endCursor":null}},"title":"Activity · zachjs/sv2v"}