{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":811298103,"defaultBranch":"main","name":"imctk","ownerLogin":"YosysHQ","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-06-06T10:25:18.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/35169771?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726478651.0","currentOid":""},"activityList":{"items":[{"before":"10e066774f9189ccfc9e9db141e9fb5b39fb6e8c","after":null,"ref":"refs/heads/micko/windows_build","pushedAt":"2024-09-16T09:24:11.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jix","name":"Jannis Harder","path":"/jix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/128138?s=80&v=4"}},{"before":"d1bc6c57708b0dba7629ecad1b5f196c43f7932b","after":"2a77de1ea0aa4bd10a63b95fe3a7ade1c2c80c3c","ref":"refs/heads/main","pushedAt":"2024-09-16T09:24:10.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"jix","name":"Jannis Harder","path":"/jix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/128138?s=80&v=4"},"commit":{"message":"Merge pull request #3 from YosysHQ/micko/windows_build\n\nMake build for Windows working","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2527821934\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/imctk/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/imctk/pull/3/hovercard\" href=\"https://github.com/YosysHQ/imctk/pull/3\">#3</a> from YosysHQ/micko/windows_build"}},{"before":"23117ee9a39333cd85e7d82e2ec645415722a124","after":null,"ref":"refs/heads/wip","pushedAt":"2024-09-16T09:01:03.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jix","name":"Jannis Harder","path":"/jix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/128138?s=80&v=4"}},{"before":"1565f1be19fa43fbe401f4115d441c7321510a69","after":"d1bc6c57708b0dba7629ecad1b5f196c43f7932b","ref":"refs/heads/main","pushedAt":"2024-09-16T09:01:01.000Z","pushType":"pr_merge","commitsCount":43,"pusher":{"login":"jix","name":"Jannis Harder","path":"/jix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/128138?s=80&v=4"},"commit":{"message":"Merge pull request #1 from YosysHQ/wip\n\nFirst version of the EQY engine","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2512425814\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/imctk/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/imctk/pull/1/hovercard\" href=\"https://github.com/YosysHQ/imctk/pull/1\">#1</a> from YosysHQ/wip"}},{"before":null,"after":"10e066774f9189ccfc9e9db141e9fb5b39fb6e8c","ref":"refs/heads/micko/windows_build","pushedAt":"2024-09-16T08:00:39.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mmicko","name":"Miodrag Milanović","path":"/mmicko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3623496?s=80&v=4"},"commit":{"message":"Make build for Windows working","shortMessageHtmlLink":"Make build for Windows working"}},{"before":"a7862986ffdce34c74d0f7dfbac3c85a80797301","after":"23117ee9a39333cd85e7d82e2ec645415722a124","ref":"refs/heads/wip","pushedAt":"2024-09-08T14:49:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jix","name":"Jannis Harder","path":"/jix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/128138?s=80&v=4"},"commit":{"message":"Add licenses and disable crates.io publication for most crates\n\nPublication on crates.io will be enabled on a case-by-case basis.","shortMessageHtmlLink":"Add licenses and disable crates.io publication for most crates"}},{"before":"b5d1320b18d840140d25b1debbd6fb4ce78e1911","after":"a7862986ffdce34c74d0f7dfbac3c85a80797301","ref":"refs/heads/wip","pushedAt":"2024-09-08T13:09:08.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"jix","name":"Jannis Harder","path":"/jix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/128138?s=80&v=4"},"commit":{"message":"abc-sys: Fix binding generation on mac os\n\nCo-authored-by: Emily Schmidt <emily@yosyshq.com>","shortMessageHtmlLink":"abc-sys: Fix binding generation on mac os"}},{"before":"969f131e16833df0faaf14966cf38577c9a76738","after":"b5d1320b18d840140d25b1debbd6fb4ce78e1911","ref":"refs/heads/wip","pushedAt":"2024-09-08T12:57:49.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jix","name":"Jannis Harder","path":"/jix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/128138?s=80&v=4"},"commit":{"message":"inc_refine: Fully document public API","shortMessageHtmlLink":"inc_refine: Fully document public API"}},{"before":"304cadd7fedda88e437e31eb40ac757f21188522","after":"1565f1be19fa43fbe401f4115d441c7321510a69","ref":"refs/heads/main","pushedAt":"2024-08-20T14:19:10.000Z","pushType":"push","commitsCount":45,"pusher":{"login":"jix","name":"Jannis Harder","path":"/jix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/128138?s=80&v=4"},"commit":{"message":"eqy_engine, incr_refine: Module level docs","shortMessageHtmlLink":"eqy_engine, incr_refine: Module level docs"}},{"before":"6c8bc95a9b756fab3ef4fac3686e6defcd2e8d5c","after":"969f131e16833df0faaf14966cf38577c9a76738","ref":"refs/heads/wip","pushedAt":"2024-08-19T11:01:42.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jix","name":"Jannis Harder","path":"/jix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/128138?s=80&v=4"},"commit":{"message":"imctk: Add custom types instead of returning tuples from extraction fns","shortMessageHtmlLink":"imctk: Add custom types instead of returning tuples from extraction fns"}},{"before":"25d997da41b51fa19925ab6946161349933168af","after":"6c8bc95a9b756fab3ef4fac3686e6defcd2e8d5c","ref":"refs/heads/wip","pushedAt":"2024-08-12T12:13:47.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jix","name":"Jannis Harder","path":"/jix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/128138?s=80&v=4"},"commit":{"message":"ir: Silence some warnings about intentionally not-yet used code\n\nWhile the code isn't used yet, having it in the code-base makes it\neasier to keep it in sync with any related changes.","shortMessageHtmlLink":"ir: Silence some warnings about intentionally not-yet used code"}},{"before":null,"after":"25d997da41b51fa19925ab6946161349933168af","ref":"refs/heads/wip","pushedAt":"2024-08-05T06:42:04.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jix","name":"Jannis Harder","path":"/jix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/128138?s=80&v=4"},"commit":{"message":"Add partial low-level abc bindings","shortMessageHtmlLink":"Add partial low-level abc bindings"}},{"before":"8c4a71a58f2f3e5e5206a1e03b05abf6dd86409b","after":"304cadd7fedda88e437e31eb40ac757f21188522","ref":"refs/heads/main","pushedAt":"2024-07-08T09:01:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jix","name":"Jannis Harder","path":"/jix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/128138?s=80&v=4"},"commit":{"message":"table_seq: Begin review of `unsafe` usage\n\nThis adds a crate-wide `deny(unsafe_op_in_unsafe_fn)` together with the\nnecessary additional unsafe blocks this requires.\n\nI also started adding `// SAFETY:` comments, after reviewing and\ndocumenting the use of `unsafe` to eventually be able to add a\n`#![warn(clippy::undocumented_unsafe_blocks)]` lint to ensure that every\nuse of unsafe comes with a comment explaining why it is safe.","shortMessageHtmlLink":"table_seq: Begin review of <code>unsafe</code> usage"}},{"before":"1ce533d96f3a724acb6f7108106b5b842a4188c2","after":"8c4a71a58f2f3e5e5206a1e03b05abf6dd86409b","ref":"refs/heads/main","pushedAt":"2024-07-07T14:25:59.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"jix","name":"Jannis Harder","path":"/jix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/128138?s=80&v=4"},"commit":{"message":"Refactored egraph rebuilding and primary def extraction.\n\nThis adds extraction of input cones in an environment's primary def\ngraph. This extraction enabled me to prototype some new use cases during\nwhich I discovered issues with the previous egraph rebuilding\nimplementation and keeping the primary definition graph acyclic and\ncomplete. While I had a clear picture of how the resulting primary\ndefinition graph should look like after rebuliding, the specifics of\nwhat egraph rebuilding has to do to get there were an afterthought. To\nfix these issues, I ended up reimplementing rebuilding resulting in a\nsimpler implementation that correctly handles the corner cases the\nprevious implementation couldn't.\n\nThis also includes various smaller fixes for mostly unrelated bugs that\nI discovered during the refactoring. This also removes the config type\nparameter of `Env` to reduce the overall API complexity, which became\nquite apparent in the middle of the refactor.","shortMessageHtmlLink":"Refactored egraph rebuilding and primary def extraction."}},{"before":"d17e98718eac4def4bd02106a9fddfd926c6a317","after":"1ce533d96f3a724acb6f7108106b5b842a4188c2","ref":"refs/heads/main","pushedAt":"2024-06-29T14:28:22.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"jix","name":"Jannis Harder","path":"/jix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/128138?s=80&v=4"},"commit":{"message":"Automatic reductions and IR module reorg","shortMessageHtmlLink":"Automatic reductions and IR module reorg"}},{"before":"3de7e6f4d38cfbe8bf2a9c9c730d3ffff4a4b9a0","after":"d17e98718eac4def4bd02106a9fddfd926c6a317","ref":"refs/heads/main","pushedAt":"2024-06-26T16:32:26.000Z","pushType":"push","commitsCount":14,"pusher":{"login":"jix","name":"Jannis Harder","path":"/jix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/128138?s=80&v=4"},"commit":{"message":"Initial internal representation and egraph maintenance","shortMessageHtmlLink":"Initial internal representation and egraph maintenance"}},{"before":null,"after":"3de7e6f4d38cfbe8bf2a9c9c730d3ffff4a4b9a0","ref":"refs/heads/main","pushedAt":"2024-06-06T10:31:02.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jix","name":"Jannis Harder","path":"/jix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/128138?s=80&v=4"},"commit":{"message":"Add indexed_table crate\n\nSee the crate level doc comments for more details.","shortMessageHtmlLink":"Add indexed_table crate"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEtzqmmQA","startCursor":null,"endCursor":null}},"title":"Activity · YosysHQ/imctk"}