{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":616773788,"defaultBranch":"main","name":"solvent","ownerLogin":"dijkstracula","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-03-21T03:38:52.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/8949748?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1692126168.0","currentOid":""},"activityList":{"items":[{"before":"73cf84da001f02de6c13a41f014ae38f41c4a5f9","after":"1510df05cf00c6648beebd5e4af1d53668e31ddd","ref":"refs/heads/main","pushedAt":"2023-08-15T19:07:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"},"commit":{"message":"properly implement type-level eval","shortMessageHtmlLink":"properly implement type-level eval"}},{"before":null,"after":"1510df05cf00c6648beebd5e4af1d53668e31ddd","ref":"refs/heads/type-level-eval","pushedAt":"2023-08-15T19:02:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"},"commit":{"message":"properly implement type-level eval","shortMessageHtmlLink":"properly implement type-level eval"}},{"before":"687baaf9632da52c73a1a90962c4e32514948899","after":null,"ref":"refs/heads/nathan/ast_ids","pushedAt":"2023-07-28T17:54:26.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"}},{"before":"e9be6a7a6c1c78873f46bbe50f3daf67282ecb63","after":"73cf84da001f02de6c13a41f014ae38f41c4a5f9","ref":"refs/heads/main","pushedAt":"2023-07-28T17:54:22.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"},"commit":{"message":"Change the way that we carry data in the AST (#19)\n\n* wip(broken)\r\n\r\n* [wip] made good progress implementing forward type checking pass\r\n\r\n* [wip] started rewriting hm inference\r\n\r\n* [wip] things are broken (playing around with how class types should work)\r\n\r\n* [wip] break things more bc why not\r\n\r\n* [wip] got name resolution working. making steady progress in this refactor\r\n\r\n* fixed subsitution\r\n\r\n* [wip] fixed fn argument type checking + added second forward pass\r\n\r\n* [wip] operator resolution is now sorta working! with complex types!\r\n\r\n* [wip] add substs to returned type for binops (during forward\r\nannotation is probably the wrong place to do it)\r\n\r\n* [wip] start writing the templatizer\r\n\r\n* [wip] fixed up templating a little bit\r\n\r\n* [wip] revamped type subst + added option for eager eval\r\n\r\n* [wip] with ample hacks, got a simple example working!\r\n\r\n* [wip] cleanup so that things pass checks\r\n\r\n* [wip] syntax.Any -> syntax.AnyType\r\n\r\n* the fruits of my labor are finally realized!! (in a hacky way but still)\r\n\r\n* [wip] working on making tests work again\r\n\r\n* got list tests passing again\r\n\r\n* finally got tests working again!!\r\n\r\n* fix python version in CI\r\n\r\n---------\r\n\r\nCo-authored-by: Nathan Taylor <ntaylor@cs.utexas.edu>","shortMessageHtmlLink":"Change the way that we carry data in the AST (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1781367250\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dijkstracula/solvent/issues/19\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dijkstracula/solvent/pull/19/hovercard\" href=\"https://github.com/dijkstracula/solvent/pull/19\">#19</a>)"}},{"before":"70be99a8e615a6f42161eaba66133f5ee79d018b","after":"687baaf9632da52c73a1a90962c4e32514948899","ref":"refs/heads/nathan/ast_ids","pushedAt":"2023-07-28T17:46:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"},"commit":{"message":"fix python version in CI","shortMessageHtmlLink":"fix python version in CI"}},{"before":"c959c58730c78fe45e8e2000eda91c827d13da64","after":"70be99a8e615a6f42161eaba66133f5ee79d018b","ref":"refs/heads/nathan/ast_ids","pushedAt":"2023-07-28T17:44:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"},"commit":{"message":"finally got tests working again!!","shortMessageHtmlLink":"finally got tests working again!!"}},{"before":"53e460bf9163bb4c9e480b6dbdeceddfc8a37454","after":"c959c58730c78fe45e8e2000eda91c827d13da64","ref":"refs/heads/nathan/ast_ids","pushedAt":"2023-07-28T17:02:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"},"commit":{"message":"got list tests passing again","shortMessageHtmlLink":"got list tests passing again"}},{"before":"e26921e1178d1778ed71a364381614e7d9cce3e0","after":"53e460bf9163bb4c9e480b6dbdeceddfc8a37454","ref":"refs/heads/nathan/ast_ids","pushedAt":"2023-07-27T18:39:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"},"commit":{"message":"[wip] working on making tests work again","shortMessageHtmlLink":"[wip] working on making tests work again"}},{"before":"5d95bfc1100dcad38c2159810cdc4aab2ca2c93b","after":"e26921e1178d1778ed71a364381614e7d9cce3e0","ref":"refs/heads/nathan/ast_ids","pushedAt":"2023-07-25T19:48:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"},"commit":{"message":"the fruits of my labor are finally realized!! (in a hacky way but still)","shortMessageHtmlLink":"the fruits of my labor are finally realized!! (in a hacky way but still)"}},{"before":"196c31fd6b94a36978759d3e51dc4407e6338acd","after":"5d95bfc1100dcad38c2159810cdc4aab2ca2c93b","ref":"refs/heads/nathan/ast_ids","pushedAt":"2023-07-24T21:49:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"},"commit":{"message":"[wip] syntax.Any -> syntax.AnyType","shortMessageHtmlLink":"[wip] syntax.Any -&gt; syntax.AnyType"}},{"before":"86bfd2425fe1e278ebc734834dac2de56e0ad739","after":"196c31fd6b94a36978759d3e51dc4407e6338acd","ref":"refs/heads/nathan/ast_ids","pushedAt":"2023-07-24T21:44:57.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"},"commit":{"message":"[wip] cleanup so that things pass checks","shortMessageHtmlLink":"[wip] cleanup so that things pass checks"}},{"before":"15a54b027b9ab08f315987ce40c74341725bb7cd","after":"86bfd2425fe1e278ebc734834dac2de56e0ad739","ref":"refs/heads/nathan/ast_ids","pushedAt":"2023-07-24T17:33:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"},"commit":{"message":"[wip] fixed up templating a little bit","shortMessageHtmlLink":"[wip] fixed up templating a little bit"}},{"before":"f285de10e17eb59065d5f0370ceccd0416cc5082","after":"15a54b027b9ab08f315987ce40c74341725bb7cd","ref":"refs/heads/nathan/ast_ids","pushedAt":"2023-07-18T18:10:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"},"commit":{"message":"[wip] start writing the templatizer","shortMessageHtmlLink":"[wip] start writing the templatizer"}},{"before":"b8e5a862592a8d90ce0042ef8971e16aaa52eb43","after":"f285de10e17eb59065d5f0370ceccd0416cc5082","ref":"refs/heads/nathan/ast_ids","pushedAt":"2023-07-18T15:24:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"},"commit":{"message":"[wip] add substs to returned type for binops (during forward\nannotation is probably the wrong place to do it)","shortMessageHtmlLink":"[wip] add substs to returned type for binops (during forward"}},{"before":"8b3c67099ed7b920197579e765e3c478c1a4bf87","after":"b8e5a862592a8d90ce0042ef8971e16aaa52eb43","ref":"refs/heads/nathan/ast_ids","pushedAt":"2023-07-17T23:38:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"},"commit":{"message":"[wip] operator resolution is now sorta working! with complex types!","shortMessageHtmlLink":"[wip] operator resolution is now sorta working! with complex types!"}},{"before":"8a6be9ebeda2dbde44266c34f8f1be4c6b4ccd50","after":"8b3c67099ed7b920197579e765e3c478c1a4bf87","ref":"refs/heads/nathan/ast_ids","pushedAt":"2023-07-17T22:59:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"},"commit":{"message":"[wip] fixed fn argument type checking + added second forward pass","shortMessageHtmlLink":"[wip] fixed fn argument type checking + added second forward pass"}},{"before":"c2c9d89ef5bd2411aea5a9ec28528ba1aa38d3a4","after":"8a6be9ebeda2dbde44266c34f8f1be4c6b4ccd50","ref":"refs/heads/nathan/ast_ids","pushedAt":"2023-07-17T17:48:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"},"commit":{"message":"fixed subsitution","shortMessageHtmlLink":"fixed subsitution"}},{"before":"46c42dae4cd2bb3727d1028d96a7977f7d42f7fe","after":"c2c9d89ef5bd2411aea5a9ec28528ba1aa38d3a4","ref":"refs/heads/nathan/ast_ids","pushedAt":"2023-07-17T16:35:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"},"commit":{"message":"[wip] got name resolution working. making steady progress in this refactor","shortMessageHtmlLink":"[wip] got name resolution working. making steady progress in this ref…"}},{"before":"6a9afe49e9c9efa90ffe7e4cfccea1ecf3266686","after":"46c42dae4cd2bb3727d1028d96a7977f7d42f7fe","ref":"refs/heads/nathan/ast_ids","pushedAt":"2023-07-13T21:53:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"},"commit":{"message":"[wip] break things more bc why not","shortMessageHtmlLink":"[wip] break things more bc why not"}},{"before":"115e4236b4aa0528c4810f75564dcd01d4ec0b3f","after":"6a9afe49e9c9efa90ffe7e4cfccea1ecf3266686","ref":"refs/heads/nathan/ast_ids","pushedAt":"2023-07-11T21:17:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"},"commit":{"message":"[wip] things are broken (playing around with how class types should work)","shortMessageHtmlLink":"[wip] things are broken (playing around with how class types should w…"}},{"before":"0ca0cad381ef7b522701808609e8f8c7fd2280d3","after":"115e4236b4aa0528c4810f75564dcd01d4ec0b3f","ref":"refs/heads/nathan/ast_ids","pushedAt":"2023-07-11T17:48:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"},"commit":{"message":"[wip] started rewriting hm inference","shortMessageHtmlLink":"[wip] started rewriting hm inference"}},{"before":"154e92e864b0db578f30e6c116897d7bfcf6ae52","after":"0ca0cad381ef7b522701808609e8f8c7fd2280d3","ref":"refs/heads/nathan/ast_ids","pushedAt":"2023-07-10T20:13:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"},"commit":{"message":"[wip] made good progress implementing forward type checking pass","shortMessageHtmlLink":"[wip] made good progress implementing forward type checking pass"}},{"before":null,"after":"154e92e864b0db578f30e6c116897d7bfcf6ae52","ref":"refs/heads/nathan/ast_ids","pushedAt":"2023-06-29T22:11:15.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dijkstracula","name":"Nathan Taylor","path":"/dijkstracula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8949748?s=80&v=4"},"commit":{"message":"wip(broken)","shortMessageHtmlLink":"wip(broken)"}},{"before":"115bc81c881d07930f3e4dcd76f823e8df8fa4b1","after":"e9be6a7a6c1c78873f46bbe50f3daf67282ecb63","ref":"refs/heads/main","pushedAt":"2023-06-29T19:12:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"},"commit":{"message":"Remove old tests (closes #2)","shortMessageHtmlLink":"Remove old tests (<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #2.\">closes</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1689690740\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dijkstracula/solvent/issues/2\" data-hovercard-type=\"issue\" data-hovercard-url=\"/dijkstracula/solvent/issues/2/hovercard\" href=\"https://github.com/dijkstracula/solvent/issues/2\">#2</a>)"}},{"before":"7cddcde40049e3b0c52c784a0af99f6bddbfb503","after":null,"ref":"refs/heads/nathan/distinguished_series","pushedAt":"2023-06-29T16:43:24.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"}},{"before":"46340c28ec9b9ec199247d43d63f878471c0de9d","after":"115bc81c881d07930f3e4dcd76f823e8df8fa4b1","ref":"refs/heads/main","pushedAt":"2023-06-29T16:41:10.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"},"commit":{"message":"Nathan/distinguished series (#17)\n\n* start implementing basic support for dataframes\r\n\r\n* fleshed out dataframe support slightly\r\n\r\n* object system wip\r\n\r\n* wip\r\n\r\n* Minor refactoring; support series!\r\n\r\n* wip\r\n\r\n* wip fix for fixing series division + some series tests + visitor Neg fix\r\n\r\n* add str literals, start making object types more robust\r\n\r\n* started implementing real type parameters\r\n\r\n* [wip] hacked together some support for forall types. atm I'm doing\r\nmore heavy lifting in constraint generation than I would like.\r\n\r\n* wip\r\n\r\n* wip\r\n\r\n* [wip] finished threading through type application information\r\n\r\n* cleanup + improve printing\r\n\r\n* fix frontend annotator\r\n\r\n* bump python version\r\n\r\n---------\r\n\r\nCo-authored-by: Nathan Taylor <ntaylor@cs.utexas.edu>","shortMessageHtmlLink":"Nathan/distinguished series (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1781176594\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dijkstracula/solvent/issues/17\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dijkstracula/solvent/pull/17/hovercard\" href=\"https://github.com/dijkstracula/solvent/pull/17\">#17</a>)"}},{"before":"a18fd6cd955611fc296132d42d7265024b86bf86","after":"7cddcde40049e3b0c52c784a0af99f6bddbfb503","ref":"refs/heads/nathan/distinguished_series","pushedAt":"2023-06-29T16:39:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"},"commit":{"message":"bump python version","shortMessageHtmlLink":"bump python version"}},{"before":"52916706462570ebfbaa670b7b5b96c21547529b","after":"a18fd6cd955611fc296132d42d7265024b86bf86","ref":"refs/heads/nathan/distinguished_series","pushedAt":"2023-06-29T16:36:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"},"commit":{"message":"fix frontend annotator","shortMessageHtmlLink":"fix frontend annotator"}},{"before":"9365d3ccb0aef0cef48312f097ec2254833da708","after":"52916706462570ebfbaa670b7b5b96c21547529b","ref":"refs/heads/nathan/distinguished_series","pushedAt":"2023-06-29T16:05:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"},"commit":{"message":"cleanup + improve printing","shortMessageHtmlLink":"cleanup + improve printing"}},{"before":"180ab9e25f9b7cfcbbcb4cc8e7c8d27de978a838","after":"9365d3ccb0aef0cef48312f097ec2254833da708","ref":"refs/heads/nathan/distinguished_series","pushedAt":"2023-06-28T16:39:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgpthomas","name":"Samuel Thomas","path":"/sgpthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3752122?s=80&v=4"},"commit":{"message":"[wip] finished threading through type application information","shortMessageHtmlLink":"[wip] finished threading through type application information"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOC0xNVQxOTowNzoxMS4wMDAwMDBazwAAAANrTzSR","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOC0xNVQxOTowNzoxMS4wMDAwMDBazwAAAANrTzSR","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNi0yOFQxNjozOTo1MC4wMDAwMDBazwAAAANK67y0"}},"title":"Activity · dijkstracula/solvent"}