{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":663707996,"defaultBranch":"main","name":"egraph-serialize","ownerLogin":"egraphs-good","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-07-07T23:25:52.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/71104912?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1698453865.0","currentOid":""},"activityList":{"items":[{"before":"9629c7496382aebb845af2af271034fb35a63fd9","after":"5838c036623e91540831745b1574539e01c8cb23","ref":"refs/heads/main","pushedAt":"2024-01-22T17:30:59.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"Fix viz generation instructions (#10)\n\nThe readme seemed to reference an outdated make command to regenerate the visualizations (sorry I likely forgot to update it before).\r\n\r\nThis clarifies that they are updated when the tests are run.","shortMessageHtmlLink":"Fix viz generation instructions (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2091736488\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/egraph-serialize/issues/10\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/egraph-serialize/pull/10/hovercard\" href=\"https://github.com/egraphs-good/egraph-serialize/pull/10\">#10</a>)"}},{"before":"8d53c83b76f3722ef421cd802e3d6d62cd5f606f","after":"9629c7496382aebb845af2af271034fb35a63fd9","ref":"refs/heads/main","pushedAt":"2024-01-12T19:03:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"Pretty print the json","shortMessageHtmlLink":"Pretty print the json"}},{"before":"3ca6da932a3580b4ec65be2c15aba2f8c78d3a9a","after":"8d53c83b76f3722ef421cd802e3d6d62cd5f606f","ref":"refs/heads/main","pushedAt":"2023-11-10T22:13:57.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"Add example of fib with outputs split into own e-classes (#8)\n\n* Add example of fib with outputs split into own e-classes\r\n\r\n* Generate missing version","shortMessageHtmlLink":"Add example of fib with outputs split into own e-classes (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1921018419\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/egraph-serialize/issues/8\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/egraph-serialize/pull/8/hovercard\" href=\"https://github.com/egraphs-good/egraph-serialize/pull/8\">#8</a>)"}},{"before":"6f162222d617160cb9e9d475501c1567ff8c3ba8","after":"3ca6da932a3580b4ec65be2c15aba2f8c78d3a9a","ref":"refs/heads/main","pushedAt":"2023-11-09T22:29:14.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"Make graphviz colors consistent and fix color bug (#9)\n\n* Make colors consistent regardless of expr ordering\r\n\r\nCurrently, if you have two graphs which use the same types, the colors\r\nper type might be different, depending on which type comes first.\r\n\r\nThis makes comparing similar graphs harder visually.\r\n\r\nThis resolves that by using a sorted map for mapping types to values,\r\nso that if the same set of types are used by two graphs, they will\r\nhave the same colors.\r\n\r\n* Fix which collection needs to be sorted\r\n\r\n* Fix color wraparound when number of types exceed the max colors","shortMessageHtmlLink":"Make graphviz colors consistent and fix color bug (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1935832107\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/egraph-serialize/issues/9\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/egraph-serialize/pull/9/hovercard\" href=\"https://github.com/egraphs-good/egraph-serialize/pull/9\">#9</a>)"}},{"before":"e682702f9d755a1e13a63a354acd849bb64e9269","after":"6f162222d617160cb9e9d475501c1567ff8c3ba8","ref":"refs/heads/main","pushedAt":"2023-11-09T22:28:06.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"Escape newlines in graphviz output (#7)\n\n* Escape newlines when outputting labels\r\n\r\n* Close br tag\r\n\r\n* Align text to the left when separated by br\r\n\r\n* Fix quotes","shortMessageHtmlLink":"Escape newlines in graphviz output (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1878695726\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/egraph-serialize/issues/7\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/egraph-serialize/pull/7/hovercard\" href=\"https://github.com/egraphs-good/egraph-serialize/pull/7\">#7</a>)"}},{"before":"61a0cd4afe4ad60c1b0e17a20b91ead84a1cb140","after":"e682702f9d755a1e13a63a354acd849bb64e9269","ref":"refs/heads/main","pushedAt":"2023-11-09T22:27:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"Add ability to \"saturate\" inlining (#6)","shortMessageHtmlLink":"Add ability to \"saturate\" inlining (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1868083047\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/egraph-serialize/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/egraph-serialize/pull/6/hovercard\" href=\"https://github.com/egraphs-good/egraph-serialize/pull/6\">#6</a>)"}},{"before":"e406ffcec8c6e841089fd3e4f9b76c35ce448950","after":"61a0cd4afe4ad60c1b0e17a20b91ead84a1cb140","ref":"refs/heads/main","pushedAt":"2023-10-28T00:44:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"Add cargo metadata","shortMessageHtmlLink":"Add cargo metadata"}},{"before":"e2f8bb001068ae5e8a42888dc71855e3f630fea1","after":"e406ffcec8c6e841089fd3e4f9b76c35ce448950","ref":"refs/heads/main","pushedAt":"2023-08-10T22:10:00.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"Fix isolated nodes (#5)\n\n* Don't emit graphs when we already have them\r\n\r\n* Add eqsolve example and fix loner nodes","shortMessageHtmlLink":"Fix isolated nodes (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1842023194\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/egraph-serialize/issues/5\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/egraph-serialize/pull/5/hovercard\" href=\"https://github.com/egraphs-good/egraph-serialize/pull/5\">#5</a>)"}},{"before":"54b1a4f1e2f2135846b084edcb495cd159839540","after":"e2f8bb001068ae5e8a42888dc71855e3f630fea1","ref":"refs/heads/main","pushedAt":"2023-07-28T21:28:10.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"Add support for exporting with Graphviz (#4)\n\n* Add graphviz export\r\n\r\n* Generate test file SVGs\r\n\r\n* Add readme with list of all files\r\n\r\n* Fix path\r\n\r\n* Fix adding nodes\r\n\r\n* Fix edges\r\n\r\n* Fix graph margins\r\n\r\n* * fix readme header\r\n* dont run graphviz if not installed\r\n* formatting\r\n\r\n* wording\r\n\r\n* Add nits check all features\r\n\r\n* Add derivation to fix clippy\r\n\r\n* Bold root nodes\r\n\r\n* Add inlining\r\n\r\n* fmt\r\n\r\n* link to readme directly\r\n\r\n* Fix root e-classes\r\n\r\n* Add cost from children to parent\r\n\r\n* fmt\r\n\r\n* Fix cost\r\n\r\n* Add additional examples from egglog\r\n\r\n* Fix locations\r\n\r\n* Remove temp nodes from egglog files\r\n\r\n* Fix color generation","shortMessageHtmlLink":"Add support for exporting with Graphviz (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1822937965\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/egraph-serialize/issues/4\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/egraph-serialize/pull/4/hovercard\" href=\"https://github.com/egraphs-good/egraph-serialize/pull/4\">#4</a>)"}},{"before":"a81d488b905859a2fcd4fd4ad4f575071a4d0e63","after":"54b1a4f1e2f2135846b084edcb495cd159839540","ref":"refs/heads/main","pushedAt":"2023-07-11T23:07:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"Add CI","shortMessageHtmlLink":"Add CI"}},{"before":"82a3e2868c539ba1b214109313e3afd6158330dd","after":"a81d488b905859a2fcd4fd4ad4f575071a4d0e63","ref":"refs/heads/main","pushedAt":"2023-07-11T23:04:28.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"Add ability to have class data (#1)\n\n* Add sorts/types/names to classes\r\n\r\nThis adds a mapping of e-class id to class type to the format.\r\n\r\nOne use case for this was in the visualizer in egglog\r\n(https://github.com/egraphs-good/egglog/pull/147) to display the sort\r\non each e-class.\r\n\r\n* Use local test files (#2)\r\n\r\nThis changes the tests to use the local files instead of those in the\r\nextraction gym repo. I made this change so I could test the addition of\r\nclasses.\r\n\r\nFeel free to disregard if you like.\r\n\r\n* Make class_data a separate object\r\n\r\n---------\r\n\r\nCo-authored-by: Max Willsey <me@mwillsey.com>","shortMessageHtmlLink":"Add ability to have class data (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1799809615\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/egraph-serialize/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/egraph-serialize/pull/1/hovercard\" href=\"https://github.com/egraphs-good/egraph-serialize/pull/1\">#1</a>)"}},{"before":"d36280f0d68bf484a36abff9e413593cfd18a6e4","after":"82a3e2868c539ba1b214109313e3afd6158330dd","ref":"refs/heads/main","pushedAt":"2023-07-11T22:04:36.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"Use local test files (#2)\n\nThis changes the tests to use the local files instead of those in the\r\nextraction gym repo. I made this change so I could test the addition of\r\nclasses.\r\n\r\nFeel free to disregard if you like.","shortMessageHtmlLink":"Use local test files (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1799811370\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/egraph-serialize/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/egraph-serialize/pull/2/hovercard\" href=\"https://github.com/egraphs-good/egraph-serialize/pull/2\">#2</a>)"}},{"before":"40927ec72319f7c3987554c4a7925cf6a6377465","after":"d36280f0d68bf484a36abff9e413593cfd18a6e4","ref":"refs/heads/main","pushedAt":"2023-07-07T23:56:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"Add snippet","shortMessageHtmlLink":"Add snippet"}},{"before":"951b829a434f4008c7b45ba4ac0da1037d2da906","after":"40927ec72319f7c3987554c4a7925cf6a6377465","ref":"refs/heads/main","pushedAt":"2023-07-07T23:30:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"add tiny readme","shortMessageHtmlLink":"add tiny readme"}},{"before":null,"after":"951b829a434f4008c7b45ba4ac0da1037d2da906","ref":"refs/heads/main","pushedAt":"2023-07-07T23:26:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"Get started","shortMessageHtmlLink":"Get started"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD5hjanwA","startCursor":null,"endCursor":null}},"title":"Activity · egraphs-good/egraph-serialize"}