{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":114906951,"defaultBranch":"main","name":"heterocl","ownerLogin":"cornell-zhang","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-12-20T16:13:52.000Z","ownerAvatar":"https://github.com/avatars/u/9019401?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1677214633.670491","currentOid":""},"activityList":{"items":[{"before":"af645f9738a2200e8d51d2ac56ffc2e752b89db0","after":"6caebd7fc207e7e07a6dd3a3e9ac5a63a39ab193","ref":"refs/heads/main","pushedAt":"2024-04-20T13:55:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"chhzh123","name":"Hongzheng Chen","path":"/chhzh123","primaryAvatarUrl":"https://github.com/avatars/u/30967989?s=80&v=4"},"commit":{"message":"Update README","shortMessageHtmlLink":"Update README"}},{"before":"69181b080c8cf7d9fab0a6b2ae3511923274b32e","after":"af645f9738a2200e8d51d2ac56ffc2e752b89db0","ref":"refs/heads/main","pushedAt":"2024-04-12T20:36:53.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zzzDavid","name":"Niansong Zhang","path":"/zzzDavid","primaryAvatarUrl":"https://github.com/avatars/u/33577135?s=80&v=4"},"commit":{"message":"Update README (#513)","shortMessageHtmlLink":"Update README (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2240855123\" data-permission-text=\"Title is private\" data-url=\"https://github.com/cornell-zhang/heterocl/issues/513\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/cornell-zhang/heterocl/pull/513/hovercard\" href=\"https://github.com/cornell-zhang/heterocl/pull/513\">#513</a>)"}},{"before":"b794409e68e326cafa6c3eaec2e3560ff066e129","after":"69181b080c8cf7d9fab0a6b2ae3511923274b32e","ref":"refs/heads/main","pushedAt":"2024-01-25T19:26:19.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zzzDavid","name":"Niansong Zhang","path":"/zzzDavid","primaryAvatarUrl":"https://github.com/avatars/u/33577135?s=80&v=4"},"commit":{"message":"[Python Package] Update Python package settings (Fix #510) (#511)\n\n* Change hcl-dialect remote from ssh to https\r\n\r\n* Add empty __init__.py so that passes.py gets installed\r\n\r\n* Add harness as package data\r\n\r\n* Fix a typo in README\r\n\r\n* Fix linter errors\r\n\r\n* Use correct hcl-dialect commit point\r\n\r\n* Use git submodule update to get correct hcl-dialect version","shortMessageHtmlLink":"[Python Package] Update Python package settings (<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #510.\">Fix</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2099014598\" data-permission-text=\"Title is private\" data-url=\"https://github.com/cornell-zhang/heterocl/issues/510\" data-hovercard-type=\"issue\" data-hovercard-url=\"/cornell-zhang/heterocl/issues/510/hovercard\" href=\"https://github.com/cornell-zhang/heterocl/issues/510\">#510</a>) (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2099018753\" data-permission-text=\"Title is private\" data-url=\"https://github.com/cornell-zhang/heterocl/issues/511\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/cornell-zhang/heterocl/pull/511/hovercard\" href=\"https://github.com/cornell-zhang/heterocl/pull/511\">#511</a>)"}},{"before":"0e690d1dbdcac698d18fb38e572c4405b902c49e","after":"b794409e68e326cafa6c3eaec2e3560ff066e129","ref":"refs/heads/main","pushedAt":"2023-07-19T19:58:13.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zzzDavid","name":"Niansong Zhang","path":"/zzzDavid","primaryAvatarUrl":"https://github.com/avatars/u/33577135?s=80&v=4"},"commit":{"message":"[Primitive] Extensible primitives and transformations in Python (#504)\n\n* [Primitive] Refactor\r\n\r\n* Decouple primitives\r\n\r\n* Remove redundant code\r\n\r\n* Fix pylint\r\n\r\n* Move context outside\r\n\r\n* Add user-defined primitives\r\n\r\n* Fix typo\r\n\r\n* Add create_buffer\r\n\r\n* Fix format\r\n\r\n* Fix linting\r\n\r\n* Update transform","shortMessageHtmlLink":"[Primitive] Extensible primitives and transformations in Python (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1811211344\" data-permission-text=\"Title is private\" data-url=\"https://github.com/cornell-zhang/heterocl/issues/504\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/cornell-zhang/heterocl/pull/504/hovercard\" href=\"https://github.com/cornell-zhang/heterocl/pull/504\">#504</a>)"}},{"before":"2923ff57ff0b30f0f34cabe4a6e6e6b5960d3393","after":"0e690d1dbdcac698d18fb38e572c4405b902c49e","ref":"refs/heads/main","pushedAt":"2023-05-08T21:06:49.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zzzDavid","name":"Niansong Zhang","path":"/zzzDavid","primaryAvatarUrl":"https://github.com/avatars/u/33577135?s=80&v=4"},"commit":{"message":"[Test] Adding new tests to the test suite (#476)\n\n* TEST: MATH\r\n\r\n* TESTING CI WORKS\r\n\r\n* Rebase on top of main branch PR check\r\n\r\n* [Test] Added AST Operations Location Testing file and fixed PR Review comments\r\n\r\n* [TEST] PR Changes\r\n\r\n* [Format] format with black and remove loc test\r\n\r\n* [TEST] completed test_math\r\n\r\n* [TEST] revised code formatting\r\n\r\n* [TEST] revised edits\r\n\r\n* [TEST] revised edits\r\n\r\n* [TEST] revised edits\r\n\r\n* [TEST] revised edits\r\n\r\n* changed pylint version\r\n\r\n* PR merge\r\n\r\n* PR merge\r\n\r\n* PR merge\r\n\r\n* Completing the math test PR\r\n\r\n* deleting location tests\r\n\r\n* removed print statements\r\n\r\n* reformatted test_math.py using black","shortMessageHtmlLink":"[Test] Adding new tests to the test suite (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1568868321\" data-permission-text=\"Title is private\" data-url=\"https://github.com/cornell-zhang/heterocl/issues/476\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/cornell-zhang/heterocl/pull/476/hovercard\" href=\"https://github.com/cornell-zhang/heterocl/pull/476\">#476</a>)"}},{"before":"ac00ba68bd9545915dbb56b7244ee6c6a32d3658","after":"2923ff57ff0b30f0f34cabe4a6e6e6b5960d3393","ref":"refs/heads/main","pushedAt":"2023-04-18T17:13:13.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zzzDavid","name":"Niansong Zhang","path":"/zzzDavid","primaryAvatarUrl":"https://github.com/avatars/u/33577135?s=80&v=4"},"commit":{"message":"[IRBuilder] Fix FP to Index cast (#498)\n\n* [IRBuilder] Fix FP to Index cast\r\n\r\n* [Test] Add test case for fp to index cast\r\n\r\n* [API] Add type checking for indices, update tests","shortMessageHtmlLink":"[IRBuilder] Fix FP to Index cast (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1671786453\" data-permission-text=\"Title is private\" data-url=\"https://github.com/cornell-zhang/heterocl/issues/498\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/cornell-zhang/heterocl/pull/498/hovercard\" href=\"https://github.com/cornell-zhang/heterocl/pull/498\">#498</a>)"}},{"before":"afe72341727a16526171d8ea5acf63b116382429","after":"ac00ba68bd9545915dbb56b7244ee6c6a32d3658","ref":"refs/heads/main","pushedAt":"2023-04-17T20:13:22.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zzzDavid","name":"Niansong Zhang","path":"/zzzDavid","primaryAvatarUrl":"https://github.com/avatars/u/33577135?s=80&v=4"},"commit":{"message":"[CI] Add attrs and specify black, pylint version (#499)","shortMessageHtmlLink":"[CI] Add attrs and specify black, pylint version (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1671810205\" data-permission-text=\"Title is private\" data-url=\"https://github.com/cornell-zhang/heterocl/issues/499\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/cornell-zhang/heterocl/pull/499/hovercard\" href=\"https://github.com/cornell-zhang/heterocl/pull/499\">#499</a>)"}},{"before":"d3d0326fd6242253d7b62749a9077713626d125d","after":"afe72341727a16526171d8ea5acf63b116382429","ref":"refs/heads/main","pushedAt":"2023-03-23T16:41:47.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zzzDavid","name":"Niansong Zhang","path":"/zzzDavid","primaryAvatarUrl":"https://github.com/avatars/u/33577135?s=80&v=4"},"commit":{"message":"[AST] Add operators to simplify and test cases for them (#491)\n\n* [AST] Add LeftShiftOp and RightShiftOp to expression simplifier\r\n\r\n* [Test] Add RightShiftOp test\r\n\r\n* [AST] Add binary bitwise operator and test cases\r\n\r\n* [AST] Cmp simplify in progress\r\n\r\n* [AST] Added simplify for Cmp\r\n\r\n* [TEST] Added some tests for Cmp\r\n\r\n* [Format] Update formatting with black\r\n\r\n* [AST] Added StructGetOp to simplify\r\n\r\n* [AST] Added SelectOp to simplify and test cases for it\r\n\r\n* [AST] Added Neg and Logical Operators to simplify\r\n\r\n* [Format] Format with black\r\n\r\n* [Lint] Fix linting errors for ast.py\r\n\r\n* [Lint] Fix pylint errors?\r\n\r\n* [Lint] Fix pylint errors from CI\r\n\r\n* [Lint] Actually fixed errors\r\n\r\n* [AST] Fix sympy usage to updated version\r\n\r\n* [AST] Added an unwrap_sp function to use instead of reusing simplify\r\n\r\n---------\r\n\r\nCo-authored-by: Raymond Lin <rl569@zhang-21.ece.cornell.edu>","shortMessageHtmlLink":"[AST] Add operators to simplify and test cases for them (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1620160634\" data-permission-text=\"Title is private\" data-url=\"https://github.com/cornell-zhang/heterocl/issues/491\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/cornell-zhang/heterocl/pull/491/hovercard\" href=\"https://github.com/cornell-zhang/heterocl/pull/491\">#491</a>)"}},{"before":"a6913060ebe406c8ca6d4df039672c012e9e3684","after":"d3d0326fd6242253d7b62749a9077713626d125d","ref":"refs/heads/main","pushedAt":"2023-03-16T22:24:37.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zzzDavid","name":"Niansong Zhang","path":"/zzzDavid","primaryAvatarUrl":"https://github.com/avatars/u/33577135?s=80&v=4"},"commit":{"message":"[Op] Add math operations (#497)\n\n* [Math] Add log2, confirm that it works\r\n\r\n* [Type] Update pow and intrin type rules\r\n\r\n* [AST] Register type rules for math ops\r\n\r\n* [AST] Add unified builder for math ops\r\n\r\n* [AST] Add type inf method for math ops\r\n\r\n* [Op] Throw MLIRLimitationError for hcl.tan, as math.tan lowering is not available in LLVM15\r\n\r\n* [Format] Format everything with black\r\n\r\n* [Lint] Fix pylint errors\r\n\r\n* Fix typo","shortMessageHtmlLink":"[Op] Add math operations (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1628352104\" data-permission-text=\"Title is private\" data-url=\"https://github.com/cornell-zhang/heterocl/issues/497\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/cornell-zhang/heterocl/pull/497/hovercard\" href=\"https://github.com/cornell-zhang/heterocl/pull/497\">#497</a>)"}},{"before":"d2362df82f06eecf2115118c95ceb771c05c2069","after":"a6913060ebe406c8ca6d4df039672c012e9e3684","ref":"refs/heads/main","pushedAt":"2023-03-16T17:52:30.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zzzDavid","name":"Niansong Zhang","path":"/zzzDavid","primaryAvatarUrl":"https://github.com/avatars/u/33577135?s=80&v=4"},"commit":{"message":"[Type] Fix type comparison (Fix #492) (#495)\n\n* [Type] Fix type comparison\r\n\r\n* [Type] Use exact type comparison","shortMessageHtmlLink":"[Type] Fix type comparison (<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #492.\">Fix</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1626031704\" data-permission-text=\"Title is private\" data-url=\"https://github.com/cornell-zhang/heterocl/issues/492\" data-hovercard-type=\"issue\" data-hovercard-url=\"/cornell-zhang/heterocl/issues/492/hovercard\" href=\"https://github.com/cornell-zhang/heterocl/issues/492\">#492</a>) (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1627863240\" data-permission-text=\"Title is private\" data-url=\"https://github.com/cornell-zhang/heterocl/issues/495\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/cornell-zhang/heterocl/pull/495/hovercard\" href=\"https://github.com/cornell-zhang/heterocl/pull/495\">#495</a>)"}},{"before":"d2ac547c76ef4037113156607eb3c6fe456e99a2","after":"d2362df82f06eecf2115118c95ceb771c05c2069","ref":"refs/heads/main","pushedAt":"2023-03-16T16:55:04.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zzzDavid","name":"Niansong Zhang","path":"/zzzDavid","primaryAvatarUrl":"https://github.com/avatars/u/33577135?s=80&v=4"},"commit":{"message":"[Backend][LLVM] Set opt-level to 3 (#496)","shortMessageHtmlLink":"[Backend][LLVM] Set opt-level to 3 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1627892244\" data-permission-text=\"Title is private\" data-url=\"https://github.com/cornell-zhang/heterocl/issues/496\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/cornell-zhang/heterocl/pull/496/hovercard\" href=\"https://github.com/cornell-zhang/heterocl/pull/496\">#496</a>)"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAENdtWpwA","startCursor":null,"endCursor":null}},"title":"Activity · cornell-zhang/heterocl"}