{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":328933254,"defaultBranch":"master","name":"Metatheory.jl","ownerLogin":"JuliaSymbolics","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-01-12T09:21:05.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/46542407?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1719505044.0","currentOid":""},"activityList":{"items":[{"before":"cf05384db180f396f128906c9568630f9e1fc55b","after":"2f3a032d516827335c8f4f1ae05bd95f2d017c85","ref":"refs/heads/ale/3.0","pushedAt":"2024-07-08T06:16:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0x0f0f0f","name":"Alessandro Cheli","path":"/0x0f0f0f","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17289614?s=80&v=4"},"commit":{"message":"minor optimizations","shortMessageHtmlLink":"minor optimizations"}},{"before":"6b34dfc4b933b509cfaa1354b424da45c1f763a3","after":"cf05384db180f396f128906c9568630f9e1fc55b","ref":"refs/heads/ale/3.0","pushedAt":"2024-07-06T10:29:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0x0f0f0f","name":"Alessandro Cheli","path":"/0x0f0f0f","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17289614?s=80&v=4"},"commit":{"message":"improve performance","shortMessageHtmlLink":"improve performance"}},{"before":"f81371d9b71a7a28ae51e7eb0b4fbe042f082917","after":"6b34dfc4b933b509cfaa1354b424da45c1f763a3","ref":"refs/heads/ale/3.0","pushedAt":"2024-07-06T09:46:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0x0f0f0f","name":"Alessandro Cheli","path":"/0x0f0f0f","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17289614?s=80&v=4"},"commit":{"message":"adjust syntax","shortMessageHtmlLink":"adjust syntax"}},{"before":"d10173c4a5af3ca17cd391aab2e6fe368fe999fc","after":"f81371d9b71a7a28ae51e7eb0b4fbe042f082917","ref":"refs/heads/ale/3.0","pushedAt":"2024-07-06T09:32:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0x0f0f0f","name":"Alessandro Cheli","path":"/0x0f0f0f","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17289614?s=80&v=4"},"commit":{"message":"syntax improvements","shortMessageHtmlLink":"syntax improvements"}},{"before":"dbdcdf50696c64166ffba42639dbb6e0358782d0","after":"d10173c4a5af3ca17cd391aab2e6fe368fe999fc","ref":"refs/heads/ale/3.0","pushedAt":"2024-07-06T09:15:05.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"0x0f0f0f","name":"Alessandro Cheli","path":"/0x0f0f0f","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17289614?s=80&v=4"},"commit":{"message":"Merge pull request #229 from gkronber/225_hashcollision_squashed\n\nFix hash collisions in e-graph saturation","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2392975200\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JuliaSymbolics/Metatheory.jl/issues/229\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JuliaSymbolics/Metatheory.jl/pull/229/hovercard\" href=\"https://github.com/JuliaSymbolics/Metatheory.jl/pull/229\">#229</a> from gkronber/225_hashcollision_squashed"}},{"before":"7709c902afbfd880405ec0c0916eee95c2e6d662","after":"dbdcdf50696c64166ffba42639dbb6e0358782d0","ref":"refs/heads/ale/3.0","pushedAt":"2024-07-05T12:10:56.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"0x0f0f0f","name":"Alessandro Cheli","path":"/0x0f0f0f","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17289614?s=80&v=4"},"commit":{"message":"Merge pull request #228 from vaerksted/ale/3.0\n\nfix typos","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2391193303\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JuliaSymbolics/Metatheory.jl/issues/228\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JuliaSymbolics/Metatheory.jl/pull/228/hovercard\" href=\"https://github.com/JuliaSymbolics/Metatheory.jl/pull/228\">#228</a> from vaerksted/ale/3.0"}},{"before":"8fca6f598986628581fb998e8f75937ec95347de","after":"539c2c32f9355c54752639ab8e387ef2f8e11249","ref":"refs/heads/ale/3.0-proof","pushedAt":"2024-06-28T12:50:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0x0f0f0f","name":"Alessandro Cheli","path":"/0x0f0f0f","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17289614?s=80&v=4"},"commit":{"message":"do it for the fun and profit","shortMessageHtmlLink":"do it for the fun and profit"}},{"before":"54e4c9ce9e131094d700350ba38a8ead4fb3de75","after":"8fca6f598986628581fb998e8f75937ec95347de","ref":"refs/heads/ale/3.0-proof","pushedAt":"2024-06-28T10:18:07.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"0x0f0f0f","name":"Alessandro Cheli","path":"/0x0f0f0f","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17289614?s=80&v=4"},"commit":{"message":"Merge branch 'ale/3.0' into ale/3.0-proof","shortMessageHtmlLink":"Merge branch 'ale/3.0' into ale/3.0-proof"}},{"before":"07fb12d4790e2d9ac4ed7be4dd2d8ad817206dcc","after":"7709c902afbfd880405ec0c0916eee95c2e6d662","ref":"refs/heads/ale/3.0","pushedAt":"2024-06-28T10:14:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0x0f0f0f","name":"Alessandro Cheli","path":"/0x0f0f0f","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17289614?s=80&v=4"},"commit":{"message":"remove merges buffer","shortMessageHtmlLink":"remove merges buffer"}},{"before":"583232ac9a6041d328286d63ae91f1ffd3b4dca8","after":"54e4c9ce9e131094d700350ba38a8ead4fb3de75","ref":"refs/heads/ale/3.0-proof","pushedAt":"2024-06-27T20:39:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0x0f0f0f","name":"Alessandro Cheli","path":"/0x0f0f0f","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17289614?s=80&v=4"},"commit":{"message":"update proofs","shortMessageHtmlLink":"update proofs"}},{"before":"3f345c4b6ea248fe46d744fe757bf7f2a9f8af40","after":"583232ac9a6041d328286d63ae91f1ffd3b4dca8","ref":"refs/heads/ale/3.0-proof","pushedAt":"2024-06-27T16:44:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0x0f0f0f","name":"Alessandro Cheli","path":"/0x0f0f0f","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17289614?s=80&v=4"},"commit":{"message":"got somewhere","shortMessageHtmlLink":"got somewhere"}},{"before":null,"after":"3f345c4b6ea248fe46d744fe757bf7f2a9f8af40","ref":"refs/heads/ale/3.0-proof","pushedAt":"2024-06-27T16:17:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"0x0f0f0f","name":"Alessandro Cheli","path":"/0x0f0f0f","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17289614?s=80&v=4"},"commit":{"message":"are we there yet","shortMessageHtmlLink":"are we there yet"}},{"before":"7328ea9a7b7d8db7126ce6ab6e19bd1cfb6b92c5","after":"07fb12d4790e2d9ac4ed7be4dd2d8ad817206dcc","ref":"refs/heads/ale/3.0","pushedAt":"2024-06-27T11:20:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0x0f0f0f","name":"Alessandro Cheli","path":"/0x0f0f0f","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17289614?s=80&v=4"},"commit":{"message":"add freeze scheduler","shortMessageHtmlLink":"add freeze scheduler"}},{"before":"2b9ae8cc5eaf903ecb1a5f331d468b0132701f32","after":"7328ea9a7b7d8db7126ce6ab6e19bd1cfb6b92c5","ref":"refs/heads/ale/3.0","pushedAt":"2024-06-27T10:01:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0x0f0f0f","name":"Alessandro Cheli","path":"/0x0f0f0f","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17289614?s=80&v=4"},"commit":{"message":"improvements to schedulers","shortMessageHtmlLink":"improvements to schedulers"}},{"before":"b36727dd00ac22a16482d2823192f466e3696d08","after":"2b9ae8cc5eaf903ecb1a5f331d468b0132701f32","ref":"refs/heads/ale/3.0","pushedAt":"2024-06-27T07:55:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0x0f0f0f","name":"Alessandro Cheli","path":"/0x0f0f0f","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17289614?s=80&v=4"},"commit":{"message":"format","shortMessageHtmlLink":"format"}},{"before":"0068427fd12159d9043595a46bb3b818c8a1bbdc","after":"b36727dd00ac22a16482d2823192f466e3696d08","ref":"refs/heads/ale/3.0","pushedAt":"2024-06-26T14:49:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0x0f0f0f","name":"Alessandro Cheli","path":"/0x0f0f0f","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17289614?s=80&v=4"},"commit":{"message":"adjust failing test on empty arrays","shortMessageHtmlLink":"adjust failing test on empty arrays"}},{"before":"360a29bda5f97eaa984262efa34ccfc049a875b0","after":"0068427fd12159d9043595a46bb3b818c8a1bbdc","ref":"refs/heads/ale/3.0","pushedAt":"2024-06-26T10:06:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0x0f0f0f","name":"Alessandro Cheli","path":"/0x0f0f0f","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17289614?s=80&v=4"},"commit":{"message":"remove areequal","shortMessageHtmlLink":"remove areequal"}},{"before":"95e4c4321be2ee570792926ad5fedf2d58a776f0","after":"360a29bda5f97eaa984262efa34ccfc049a875b0","ref":"refs/heads/ale/3.0","pushedAt":"2024-06-25T20:17:06.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"0x0f0f0f","name":"Alessandro Cheli","path":"/0x0f0f0f","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17289614?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/master' into ale/3.0","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/master' into ale/3.0"}},{"before":"f8d6349dda2007f0e3f77c220a5e103bede7d368","after":"95e4c4321be2ee570792926ad5fedf2d58a776f0","ref":"refs/heads/ale/3.0","pushedAt":"2024-06-25T17:01:39.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"0x0f0f0f","name":"Alessandro Cheli","path":"/0x0f0f0f","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17289614?s=80&v=4"},"commit":{"message":"Merge pull request #220 from nmheim/nh/direct-conversion\n\nAdd `direct` function to convert `EqualityRule`s to `DirectRule`s","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2364742787\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JuliaSymbolics/Metatheory.jl/issues/220\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JuliaSymbolics/Metatheory.jl/pull/220/hovercard\" href=\"https://github.com/JuliaSymbolics/Metatheory.jl/pull/220\">#220</a> from nmheim/nh/direct-conversion"}},{"before":"f4fa303a2d0c49a4a14be3af52c70d73b19f0789","after":"f8d6349dda2007f0e3f77c220a5e103bede7d368","ref":"refs/heads/ale/3.0","pushedAt":"2024-06-25T16:34:25.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"0x0f0f0f","name":"Alessandro Cheli","path":"/0x0f0f0f","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17289614?s=80&v=4"},"commit":{"message":"update TermInterface to 2.0","shortMessageHtmlLink":"update TermInterface to 2.0"}},{"before":null,"after":"1bd794f41457d04e7759b497f4618dd476c4e294","ref":"refs/heads/compathelper/new_version/2024-06-24-13-12-49-551-03102740586","pushedAt":"2024-06-24T13:12:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"CompatHelper: bump compat for TermInterface to 2, (keep existing compat)","shortMessageHtmlLink":"CompatHelper: bump compat for TermInterface to 2, (keep existing compat)"}},{"before":null,"after":"c2dd766615ae447937976a802c18ccec057dd10b","ref":"refs/heads/compathelper/new_version/2024-06-23-15-09-17-595-00312045597","pushedAt":"2024-06-23T15:09:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"CompatHelper: bump compat for TermInterface to 2, (keep existing compat)","shortMessageHtmlLink":"CompatHelper: bump compat for TermInterface to 2, (keep existing compat)"}},{"before":"fd267de8e640c4c5f1c4c9208e90f5d222eb9164","after":"f4fa303a2d0c49a4a14be3af52c70d73b19f0789","ref":"refs/heads/ale/3.0","pushedAt":"2024-06-18T11:09:38.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"0x0f0f0f","name":"Alessandro Cheli","path":"/0x0f0f0f","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17289614?s=80&v=4"},"commit":{"message":"more isequal","shortMessageHtmlLink":"more isequal"}},{"before":null,"after":"bd88b5b5025ddb7b9bf30747e66bb57ec4b1cd6c","ref":"refs/heads/compathelper/new_version/2024-06-08-13-10-03-461-02054025390","pushedAt":"2024-06-08T13:10:04.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"CompatHelper: bump compat for TermInterface to 1, (keep existing compat)","shortMessageHtmlLink":"CompatHelper: bump compat for TermInterface to 1, (keep existing compat)"}},{"before":"ded83f45e67f9da570042f9e707a8d2e479caa3f","after":"fd267de8e640c4c5f1c4c9208e90f5d222eb9164","ref":"refs/heads/ale/3.0","pushedAt":"2024-06-08T11:33:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0x0f0f0f","name":"Alessandro Cheli","path":"/0x0f0f0f","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17289614?s=80&v=4"},"commit":{"message":"adjust docs","shortMessageHtmlLink":"adjust docs"}},{"before":"76065b19329823038f384a912bdf9aa28a446689","after":"ded83f45e67f9da570042f9e707a8d2e479caa3f","ref":"refs/heads/ale/3.0","pushedAt":"2024-06-08T11:29:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0x0f0f0f","name":"Alessandro Cheli","path":"/0x0f0f0f","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17289614?s=80&v=4"},"commit":{"message":"improve doc","shortMessageHtmlLink":"improve doc"}},{"before":"b90a06a1b5c803754d6426ba0046e203a9a1e05d","after":"76065b19329823038f384a912bdf9aa28a446689","ref":"refs/heads/ale/3.0","pushedAt":"2024-06-08T11:15:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0x0f0f0f","name":"Alessandro Cheli","path":"/0x0f0f0f","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17289614?s=80&v=4"},"commit":{"message":"make it pass","shortMessageHtmlLink":"make it pass"}},{"before":null,"after":"a420ecc3882c8c25d0d5cf76bc0cea4dc802a608","ref":"refs/heads/compathelper/new_version/2024-06-08-11-09-14-284-02096190701","pushedAt":"2024-06-08T11:09:14.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"CompatHelper: bump compat for TermInterface to 1, (keep existing compat)","shortMessageHtmlLink":"CompatHelper: bump compat for TermInterface to 1, (keep existing compat)"}},{"before":"fd502b8b38dabb9820b4c29f343f317240941da6","after":"b90a06a1b5c803754d6426ba0046e203a9a1e05d","ref":"refs/heads/ale/3.0","pushedAt":"2024-06-08T11:01:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0x0f0f0f","name":"Alessandro Cheli","path":"/0x0f0f0f","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17289614?s=80&v=4"},"commit":{"message":"remove old matchers","shortMessageHtmlLink":"remove old matchers"}},{"before":"6965360892cf7e28fae050672dc894bd9ecd9502","after":"fd502b8b38dabb9820b4c29f343f317240941da6","ref":"refs/heads/ale/3.0","pushedAt":"2024-06-08T10:36:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0x0f0f0f","name":"Alessandro Cheli","path":"/0x0f0f0f","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17289614?s=80&v=4"},"commit":{"message":"remove unused, add test","shortMessageHtmlLink":"remove unused, add test"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEeT4y7AA","startCursor":null,"endCursor":null}},"title":"Activity · JuliaSymbolics/Metatheory.jl"}