{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":452800711,"defaultBranch":"master","name":"CGRA-Mapper","ownerLogin":"j-c-w","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-01-27T18:36:35.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7925570?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1693442181.0","currentOid":""},"activityList":{"items":[{"before":"804f681fa561c52afbf58bb0e637a87a5fe4c774","after":"e43392fa7adb577dc9b137ed46edaa7bd6856ec6","ref":"refs/heads/master","pushedAt":"2024-03-25T18:08:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"j-c-w","name":"Jackson Woodruff","path":"/j-c-w","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7925570?s=80&v=4"},"commit":{"message":"Fix compile error","shortMessageHtmlLink":"Fix compile error"}},{"before":"7d27a7c8858e1d771519cb5906fdf1cb7080195d","after":"804f681fa561c52afbf58bb0e637a87a5fe4c774","ref":"refs/heads/master","pushedAt":"2024-03-15T16:02:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"j-c-w","name":"Jackson Woodruff","path":"/j-c-w","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7925570?s=80&v=4"},"commit":{"message":"Sort rules before in greedy","shortMessageHtmlLink":"Sort rules before in greedy"}},{"before":"71817d1c1808323469cf0e3665b91593c8636a3d","after":"c30e7bc36e6ceb3906eb50275f07471e67440a5f","ref":"refs/heads/greedy-extractor","pushedAt":"2023-08-31T12:04:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bastacyclop","name":"Thomas Koehler","path":"/Bastacyclop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4070553?s=80&v=4"},"commit":{"message":"custom greedy extraction","shortMessageHtmlLink":"custom greedy extraction"}},{"before":null,"after":"71817d1c1808323469cf0e3665b91593c8636a3d","ref":"refs/heads/greedy-extractor","pushedAt":"2023-08-31T00:36:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"j-c-w","name":"Jackson Woodruff","path":"/j-c-w","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7925570?s=80&v=4"},"commit":{"message":"Try to make extractor greedy","shortMessageHtmlLink":"Try to make extractor greedy"}},{"before":"7ff4227de8468cb5a60f644c7f750642edf9c9fa","after":"7d27a7c8858e1d771519cb5906fdf1cb7080195d","ref":"refs/heads/master","pushedAt":"2023-08-31T00:34:56.000Z","pushType":"push","commitsCount":10,"pusher":{"login":"j-c-w","name":"Jackson Woodruff","path":"/j-c-w","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7925570?s=80&v=4"},"commit":{"message":"Merge branch 'jackson-rewrites'","shortMessageHtmlLink":"Merge branch 'jackson-rewrites'"}},{"before":"bd8904fe67895f1bcde3da508976495ccfc5c8c7","after":"53b392004f21745993909a9143b73b4a269eace0","ref":"refs/heads/jackson-rewrites","pushedAt":"2023-08-31T00:06:26.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"j-c-w","name":"Jackson Woodruff","path":"/j-c-w","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7925570?s=80&v=4"},"commit":{"message":"Fix broken rules","shortMessageHtmlLink":"Fix broken rules"}},{"before":"a6b6b4b6743ad99a6459a819a5460b44e0f9e8af","after":"bd8904fe67895f1bcde3da508976495ccfc5c8c7","ref":"refs/heads/jackson-rewrites","pushedAt":"2023-08-28T17:06:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"j-c-w","name":"Jackson Woodruff","path":"/j-c-w","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7925570?s=80&v=4"},"commit":{"message":"Remove all 'Constant' and fix all duplicate rules","shortMessageHtmlLink":"Remove all 'Constant' and fix all duplicate rules"}},{"before":"a6b6b4b6743ad99a6459a819a5460b44e0f9e8af","after":"6e431e5c6b265c299ba591d9cd14cc125e89b481","ref":"refs/heads/explain-rewrites","pushedAt":"2023-08-28T08:18:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bastacyclop","name":"Thomas Koehler","path":"/Bastacyclop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4070553?s=80&v=4"},"commit":{"message":"explain","shortMessageHtmlLink":"explain"}},{"before":null,"after":"a6b6b4b6743ad99a6459a819a5460b44e0f9e8af","ref":"refs/heads/explain-rewrites","pushedAt":"2023-08-28T08:17:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Bastacyclop","name":"Thomas Koehler","path":"/Bastacyclop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4070553?s=80&v=4"},"commit":{"message":"End-to-end rewrite rule dumper","shortMessageHtmlLink":"End-to-end rewrite rule dumper"}},{"before":"a80c487fc9673f73820a0bc039a1d16dca324eae","after":"a6b6b4b6743ad99a6459a819a5460b44e0f9e8af","ref":"refs/heads/jackson-rewrites","pushedAt":"2023-08-25T23:15:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"j-c-w","name":"Jackson Woodruff","path":"/j-c-w","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7925570?s=80&v=4"},"commit":{"message":"End-to-end rewrite rule dumper","shortMessageHtmlLink":"End-to-end rewrite rule dumper"}},{"before":"391b7416eb3a5f20ddda3a76967e16a40ac2033b","after":"a80c487fc9673f73820a0bc039a1d16dca324eae","ref":"refs/heads/jackson-rewrites","pushedAt":"2023-08-24T22:33:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"j-c-w","name":"Jackson Woodruff","path":"/j-c-w","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7925570?s=80&v=4"},"commit":{"message":"Update type signatures for c","shortMessageHtmlLink":"Update type signatures for c"}},{"before":null,"after":"391b7416eb3a5f20ddda3a76967e16a40ac2033b","ref":"refs/heads/jackson-rewrites","pushedAt":"2023-08-24T22:33:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"j-c-w","name":"Jackson Woodruff","path":"/j-c-w","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7925570?s=80&v=4"},"commit":{"message":"Add first steps to integration","shortMessageHtmlLink":"Add first steps to integration"}},{"before":"6d557ec661f623dccd4213a95836e27fa0f230a4","after":"7ff4227de8468cb5a60f644c7f750642edf9c9fa","ref":"refs/heads/master","pushedAt":"2023-08-23T19:57:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"j-c-w","name":"Jackson Woodruff","path":"/j-c-w","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7925570?s=80&v=4"},"commit":{"message":"Add scripts for dumping the egraphs","shortMessageHtmlLink":"Add scripts for dumping the egraphs"}},{"before":"32f88a7d083057beac4aa90f114e04fa82379570","after":"6d557ec661f623dccd4213a95836e27fa0f230a4","ref":"refs/heads/master","pushedAt":"2023-08-10T15:24:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"j-c-w","name":"Jackson Woodruff","path":"/j-c-w","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7925570?s=80&v=4"},"commit":{"message":"Add scripts for getting the egraph dumps","shortMessageHtmlLink":"Add scripts for getting the egraph dumps"}},{"before":"c1ef444154dc5ddda0f0183dead1ff3355476037","after":"f8659eec043d383cef5aed99b427707e92078c39","ref":"refs/heads/rewrite-rewrites","pushedAt":"2023-08-10T08:32:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bastacyclop","name":"Thomas Koehler","path":"/Bastacyclop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4070553?s=80&v=4"},"commit":{"message":"add useless rule, it is removed from ruleset","shortMessageHtmlLink":"add useless rule, it is removed from ruleset"}},{"before":null,"after":"c1ef444154dc5ddda0f0183dead1ff3355476037","ref":"refs/heads/rewrite-rewrites","pushedAt":"2023-08-10T08:22:39.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Bastacyclop","name":"Thomas Koehler","path":"/Bastacyclop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4070553?s=80&v=4"},"commit":{"message":"rewriting the set of rewrite rules","shortMessageHtmlLink":"rewriting the set of rewrite rules"}},{"before":"2d98c208fb2fc5f0138de8a97ca82e95700b0fe0","after":"32f88a7d083057beac4aa90f114e04fa82379570","ref":"refs/heads/master","pushedAt":"2023-08-08T22:37:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"j-c-w","name":"Jackson Woodruff","path":"/j-c-w","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7925570?s=80&v=4"},"commit":{"message":"Add flags to control serializer and stuff","shortMessageHtmlLink":"Add flags to control serializer and stuff"}},{"before":"e8d9bc0c04a9c1f51722e93db33ff63a7196c7ea","after":"2d98c208fb2fc5f0138de8a97ca82e95700b0fe0","ref":"refs/heads/master","pushedAt":"2023-08-04T09:36:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bastacyclop","name":"Thomas Koehler","path":"/Bastacyclop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4070553?s=80&v=4"},"commit":{"message":"code improvements: factorize code, dump correct JSON","shortMessageHtmlLink":"code improvements: factorize code, dump correct JSON"}},{"before":"fe9806a31323db13b58e4939ccc27eadfa2b0472","after":"e8d9bc0c04a9c1f51722e93db33ff63a7196c7ea","ref":"refs/heads/master","pushedAt":"2023-08-03T16:25:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"j-c-w","name":"Jackson Woodruff","path":"/j-c-w","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7925570?s=80&v=4"},"commit":{"message":"Fix missing ocmpile call","shortMessageHtmlLink":"Fix missing ocmpile call"}},{"before":"d8b9103bd9c1509f37c0df807311305cc9f3c01a","after":"fe9806a31323db13b58e4939ccc27eadfa2b0472","ref":"refs/heads/master","pushedAt":"2023-08-03T15:02:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"j-c-w","name":"Jackson Woodruff","path":"/j-c-w","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7925570?s=80&v=4"},"commit":{"message":"Add a reproducing file + dumping code","shortMessageHtmlLink":"Add a reproducing file + dumping code"}},{"before":"1af97467f93cce163c0fdc05b555c05cba9b39d6","after":"d8b9103bd9c1509f37c0df807311305cc9f3c01a","ref":"refs/heads/master","pushedAt":"2023-08-03T08:22:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bastacyclop","name":"Thomas Koehler","path":"/Bastacyclop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4070553?s=80&v=4"},"commit":{"message":"hotfixes","shortMessageHtmlLink":"hotfixes"}},{"before":"d01b62b23246def36e564f60c1b7e18c80e3c4ca","after":"1af97467f93cce163c0fdc05b555c05cba9b39d6","ref":"refs/heads/master","pushedAt":"2023-08-01T14:58:06.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Bastacyclop","name":"Thomas Koehler","path":"/Bastacyclop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4070553?s=80&v=4"},"commit":{"message":"Merge branch 'egraph-serialize'","shortMessageHtmlLink":"Merge branch 'egraph-serialize'"}},{"before":null,"after":"3b8131656e200e36cbd26b928ae969432119e6f9","ref":"refs/heads/egraph-serialize","pushedAt":"2023-08-01T14:57:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Bastacyclop","name":"Thomas Koehler","path":"/Bastacyclop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4070553?s=80&v=4"},"commit":{"message":"INFINITY and serialize (encoded as 'null' though ..)","shortMessageHtmlLink":"INFINITY and serialize (encoded as 'null' though ..)"}},{"before":"87504a9b678ea035bf8ed86313ef55bc5a99486c","after":"d01b62b23246def36e564f60c1b7e18c80e3c4ca","ref":"refs/heads/master","pushedAt":"2023-08-01T14:27:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"j-c-w","name":"Jackson Woodruff","path":"/j-c-w","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7925570?s=80&v=4"},"commit":{"message":"Add timing and egrpahde bug info","shortMessageHtmlLink":"Add timing and egrpahde bug info"}},{"before":"d6964e69f13b09a7a9a0f332cc439d39ea1af3ab","after":"87504a9b678ea035bf8ed86313ef55bc5a99486c","ref":"refs/heads/master","pushedAt":"2023-07-28T15:03:49.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"j-c-w","name":"Jackson Woodruff","path":"/j-c-w","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7925570?s=80&v=4"},"commit":{"message":"Use new extractor","shortMessageHtmlLink":"Use new extractor"}},{"before":"f141789f812f743003ce15e5660615608aac4e27","after":"1364274c5271256ef73bda6312f7f9097ea46d2a","ref":"refs/heads/extraction-benchs","pushedAt":"2023-06-29T23:52:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bastacyclop","name":"Thomas Koehler","path":"/Bastacyclop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4070553?s=80&v=4"},"commit":{"message":"WIP comparisons","shortMessageHtmlLink":"WIP comparisons"}},{"before":null,"after":"f141789f812f743003ce15e5660615608aac4e27","ref":"refs/heads/extraction-benchs","pushedAt":"2023-04-17T12:16:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Bastacyclop","name":"Thomas Koehler","path":"/Bastacyclop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4070553?s=80&v=4"},"commit":{"message":"changes to collect e-graph examples with panic","shortMessageHtmlLink":"changes to collect e-graph examples with panic"}},{"before":null,"after":"627f2385c0b4356b7a461635c13f684f132ad585","ref":"refs/heads/custom-extraction","pushedAt":"2023-04-11T08:59:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Bastacyclop","name":"Thomas Koehler","path":"/Bastacyclop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4070553?s=80&v=4"},"commit":{"message":"try using custom extractor","shortMessageHtmlLink":"try using custom extractor"}},{"before":"847e52d322459a349255c7b0eb332d4fe1b9fcf3","after":"d6964e69f13b09a7a9a0f332cc439d39ea1af3ab","ref":"refs/heads/master","pushedAt":"2023-03-28T16:01:13.394Z","pushType":"push","commitsCount":1,"pusher":{"login":"j-c-w","name":"Jackson Woodruff","path":"/j-c-w","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7925570?s=80&v=4"},"commit":{"message":"Increase timeout for extractor","shortMessageHtmlLink":"Increase timeout for extractor"}},{"before":"fbafa7ed4a908dd5d868477392709308f2b60e10","after":"847e52d322459a349255c7b0eb332d4fe1b9fcf3","ref":"refs/heads/master","pushedAt":"2023-03-27T20:02:42.511Z","pushType":"push","commitsCount":2,"pusher":{"login":"j-c-w","name":"Jackson Woodruff","path":"/j-c-w","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7925570?s=80&v=4"},"commit":{"message":"Increase timeout + refer to python3 specifically","shortMessageHtmlLink":"Increase timeout + refer to python3 specifically"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEHt1VsQA","startCursor":null,"endCursor":null}},"title":"Activity · j-c-w/CGRA-Mapper"}