{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":562307965,"defaultBranch":"main","name":"egg-smol","ownerLogin":"saulshanabrook","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2022-11-05T23:31:25.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1186124?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1722692555.0","currentOid":""},"activityList":{"items":[{"before":"a0fec7bf9534d52de75699856448c4bddb136e8d","after":null,"ref":"refs/heads/public-dummy","pushedAt":"2024-08-03T13:42:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"}},{"before":null,"after":"a0fec7bf9534d52de75699856448c4bddb136e8d","ref":"refs/heads/public-dummy","pushedAt":"2024-08-02T02:00:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"},"commit":{"message":"Make dummy span and filenames public\n\nFor custom sorts out of core it is useful to have these defined for `make_expr`","shortMessageHtmlLink":"Make dummy span and filenames public"}},{"before":"e8d4f72831233069d9896cd2c2a0ac94447a18e0","after":null,"ref":"refs/heads/back-and-forth","pushedAt":"2024-07-31T16:38:51.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"}},{"before":"97635ae6ac2563675c3db0458a4c874455141939","after":"e8d4f72831233069d9896cd2c2a0ac94447a18e0","ref":"refs/heads/back-and-forth","pushedAt":"2024-07-30T21:45:37.000Z","pushType":"push","commitsCount":27,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"},"commit":{"message":"Update test for span support","shortMessageHtmlLink":"Update test for span support"}},{"before":"8f037b9ac2912c0e4b6fa61ad28066981da32751","after":"97635ae6ac2563675c3db0458a4c874455141939","ref":"refs/heads/back-and-forth","pushedAt":"2024-07-30T21:41:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"},"commit":{"message":"fix docstring and add assert","shortMessageHtmlLink":"fix docstring and add assert"}},{"before":null,"after":"8e354f230ec798b1bd9ce12b3eded1a303b86e32","ref":"refs/heads/unstable-fn-inference","pushedAt":"2024-07-28T15:31:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"},"commit":{"message":"Infer types of functions values based on names","shortMessageHtmlLink":"Infer types of functions values based on names"}},{"before":null,"after":"8f037b9ac2912c0e4b6fa61ad28066981da32751","ref":"refs/heads/back-and-forth","pushedAt":"2024-07-15T17:54:39.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"},"commit":{"message":"Add support for going to/from class ID and Value","shortMessageHtmlLink":"Add support for going to/from class ID and Value"}},{"before":null,"after":"2a032c1f8c45c1162e146a6f8a4fffb8017ccc99","ref":"refs/heads/container-sort-worst-case","pushedAt":"2024-07-15T14:22:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"},"commit":{"message":"Merge immutable-assignments into container-sort-worst-case","shortMessageHtmlLink":"Merge immutable-assignments into container-sort-worst-case"}},{"before":null,"after":"f2a7f0c74c7c9eacb4263f9f814636497dcf80f3","ref":"refs/heads/clipped-serialized","pushedAt":"2024-07-15T13:15:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"},"commit":{"message":"Serialize edges to omitted nodes\n\nPreviously, if certain nodes were omitted due to size constraints in the serialization format, than they would not appear at all and the edge to them would be missing as well.\n\nThis was confusing, because then some functions would have the wrong number of arguments.\n\nNow, if an edge points to an e-class where all nodes in that e-class were omitted, a dummy `[...]` node is added to that e-class so that they have something to point to.\n\nPreviously, we discussed implementing this change by modifying the serialization format to allow pointing to `null` node IDs as children. I went with this approach here, by just creating omitted dummy children, so you can still know the sort of the omitted node and if two nodes point to the same omitted e-class, that will also be visible.","shortMessageHtmlLink":"Serialize edges to omitted nodes"}},{"before":"0c0c6aedeb123ca212e5df5d0b1b3f1c4b4609b9","after":null,"ref":"refs/heads/fix-nullary-unstable-fns","pushedAt":"2024-07-11T22:53:45.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"}},{"before":"92b3d9d04fb8ecde2194578db7aa480fd6217429","after":"5025db25930c7dffaff579149a862e50ebae2c0a","ref":"refs/heads/immutable-assignments","pushedAt":"2024-06-20T19:18:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"},"commit":{"message":"Switch to non threadsafe rc for performance","shortMessageHtmlLink":"Switch to non threadsafe rc for performance"}},{"before":null,"after":"92b3d9d04fb8ecde2194578db7aa480fd6217429","ref":"refs/heads/immutable-assignments","pushedAt":"2024-06-18T22:42:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"},"commit":{"message":"Use immutable hashmap for assignments in type checking","shortMessageHtmlLink":"Use immutable hashmap for assignments in type checking"}},{"before":null,"after":"0c0c6aedeb123ca212e5df5d0b1b3f1c4b4609b9","ref":"refs/heads/fix-nullary-unstable-fns","pushedAt":"2024-06-06T20:11:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"},"commit":{"message":"Fix support for nullary unstable functions\n\nThis resolves #382 by adding parsing support for defining sorts of 0 argument\nunstable functions.\n\nIt does this by handling that input `()` as the `Unit` constructor.\n\nIf we ever want to remove the Unit constructor, we could move the return type\nto the list of argument types, to make sure it always has at least one value.\n\nThis would also make parsing it more similar to other datatypes.\n\nFor now I just kept it the same to make the change minimal.","shortMessageHtmlLink":"Fix support for nullary unstable functions"}},{"before":"bb58357d8f6f339c55b0647cf8842e51ca6d7ef1","after":null,"ref":"refs/heads/higher-order-functions","pushedAt":"2024-04-18T15:14:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"}},{"before":"a800c25ae2cc280dafaedaa6dd6cf5eaddcc66ab","after":"bb58357d8f6f339c55b0647cf8842e51ca6d7ef1","ref":"refs/heads/higher-order-functions","pushedAt":"2024-04-15T14:15:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"},"commit":{"message":"Try to improve error messages for using functions in facts","shortMessageHtmlLink":"Try to improve error messages for using functions in facts"}},{"before":"0f0b6325e53ea3dba525f0937e5f7a585250db78","after":"a800c25ae2cc280dafaedaa6dd6cf5eaddcc66ab","ref":"refs/heads/higher-order-functions","pushedAt":"2024-04-15T14:11:39.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"},"commit":{"message":"Add type checking tests for function application","shortMessageHtmlLink":"Add type checking tests for function application"}},{"before":"6db25389f610b76b1d4ef1db90ac719af02eb76a","after":"0f0b6325e53ea3dba525f0937e5f7a585250db78","ref":"refs/heads/higher-order-functions","pushedAt":"2024-04-15T13:53:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"},"commit":{"message":"Add type checking tests for function application","shortMessageHtmlLink":"Add type checking tests for function application"}},{"before":"ffdddab37091083f0e2467c78f916600c746dda9","after":"6db25389f610b76b1d4ef1db90ac719af02eb76a","ref":"refs/heads/higher-order-functions","pushedAt":"2024-04-11T22:49:27.000Z","pushType":"push","commitsCount":82,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"},"commit":{"message":"Update PR with merged in changes","shortMessageHtmlLink":"Update PR with merged in changes"}},{"before":"31d5fda548b06fdecda2f8ceb5ac6b7b6802c5a6","after":"ffdddab37091083f0e2467c78f916600c746dda9","ref":"refs/heads/higher-order-functions","pushedAt":"2024-04-11T17:12:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"},"commit":{"message":"Prefix function with unstable","shortMessageHtmlLink":"Prefix function with unstable"}},{"before":null,"after":"16ff378368ae1adbc46fbc3b81b05d1ffcf3726a","ref":"refs/heads/recursive","pushedAt":"2024-04-11T17:08:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"},"commit":{"message":"tmp more recursive","shortMessageHtmlLink":"tmp more recursive"}},{"before":"c05cec89b32cb8d70b1879fa810a598112c2cd39","after":"919a24693a191d1cba9d0d298ed59a62fa547791","ref":"refs/heads/cost-action","pushedAt":"2024-03-12T14:05:21.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"},"commit":{"message":"Rename cost in eggcc so doesn't shadow action","shortMessageHtmlLink":"Rename cost in eggcc so doesn't shadow action"}},{"before":"da84ad83c6cc575f30b63b19eae9275b26b64d54","after":"c05cec89b32cb8d70b1879fa810a598112c2cd39","ref":"refs/heads/cost-action","pushedAt":"2024-03-12T14:02:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"},"commit":{"message":"Rename cost in eggcc so doesn't shadow action","shortMessageHtmlLink":"Rename cost in eggcc so doesn't shadow action"}},{"before":null,"after":"da84ad83c6cc575f30b63b19eae9275b26b64d54","ref":"refs/heads/cost-action","pushedAt":"2024-03-12T13:50:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"},"commit":{"message":"Add action to set custom cost\n\nAlternative to https://github.com/egraphs-good/egglog/pull/353 that\nadds an additional action instead of specifying a new table.","shortMessageHtmlLink":"Add action to set custom cost"}},{"before":"c2405604cdd862d14bd68d00c783fd8bfd213218","after":null,"ref":"refs/heads/unextractable","pushedAt":"2024-02-23T21:05:44.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"}},{"before":"048a58e2d94bdc28fbb53eb37b86d8527bb6e214","after":null,"ref":"refs/heads/serialize-all-by-default","pushedAt":"2024-02-20T17:05:33.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"}},{"before":"29dff37c9d8a44d21be828be0b8a6a7d5d743422","after":"c2405604cdd862d14bd68d00c783fd8bfd213218","ref":"refs/heads/unextractable","pushedAt":"2024-02-20T17:02:49.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"},"commit":{"message":"Merge branch 'main' into unextractable","shortMessageHtmlLink":"Merge branch 'main' into unextractable"}},{"before":"28862f934bb4a75f6e0b42ab0bfadd7ee1ee0c8b","after":"31d5fda548b06fdecda2f8ceb5ac6b7b6802c5a6","ref":"refs/heads/higher-order-functions","pushedAt":"2024-02-16T23:07:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"},"commit":{"message":"Add prim test","shortMessageHtmlLink":"Add prim test"}},{"before":"92318ded57016b091754cb33e9b687f2b55afe77","after":"28862f934bb4a75f6e0b42ab0bfadd7ee1ee0c8b","ref":"refs/heads/higher-order-functions","pushedAt":"2024-02-16T22:52:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"},"commit":{"message":"Rename to app so it doesn't conflict with other examples","shortMessageHtmlLink":"Rename to app so it doesn't conflict with other examples"}},{"before":"2f22e06884360243b8ed246f5d8c92cdc0766325","after":"92318ded57016b091754cb33e9b687f2b55afe77","ref":"refs/heads/higher-order-functions","pushedAt":"2024-02-16T22:48:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"},"commit":{"message":"Use proper sorts","shortMessageHtmlLink":"Use proper sorts"}},{"before":"1cbd076a474e0135e210a5a885ddcc7e5b3c0377","after":"2f22e06884360243b8ed246f5d8c92cdc0766325","ref":"refs/heads/higher-order-functions","pushedAt":"2024-02-16T21:00:50.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"},"commit":{"message":"Fix canonicalize","shortMessageHtmlLink":"Fix canonicalize"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEkN7_4AA","startCursor":null,"endCursor":null}},"title":"Activity ยท saulshanabrook/egg-smol"}