{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":448544083,"defaultBranch":"main","name":"tyes","ownerLogin":"pdferreira","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-01-16T12:13:17.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11616195?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1694464583.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"a473be97fc436ed9e2f9429d166bddf469855842","ref":"refs/heads/feat/premise-ranges","pushedAt":"2023-09-11T20:36:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"4ef8a4cfd2fc7d04792798cc77bff6dd79b82fd6","after":null,"ref":"refs/heads/experiment/cmdline-using-parsers","pushedAt":"2023-08-20T13:16:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"}},{"before":"6790af02a13c6f29f6a127bd49bc12ad2cfd4196","after":null,"ref":"refs/heads/feat/single-type-environment","pushedAt":"2023-08-20T13:16:03.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"}},{"before":"a85c2d86a033699274857228976ff362e37afe68","after":null,"ref":"refs/heads/feat/function-types-try-1","pushedAt":"2023-08-20T13:15:58.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"}},{"before":"88bc88df0a4296cd46c9f851b5126479388acbbf","after":null,"ref":"refs/heads/feat/function-types-try-2","pushedAt":"2023-08-20T13:15:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"}},{"before":"e91bee65d1cc28dc6efcf081d75c0af95db412ea","after":null,"ref":"refs/heads/feat/function-types","pushedAt":"2023-08-20T13:15:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"}},{"before":"29bd2f3ba1f67589f3d2d592d455bb92218b67c8","after":null,"ref":"refs/heads/setup-test-action","pushedAt":"2023-08-20T13:14:52.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"}},{"before":"f3600027fd42ce6994e492373fd39c1888934a36","after":"b3365b15ba71ce3e441a614d15af5c48556e8749","ref":"refs/heads/main","pushedAt":"2023-08-20T12:45:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"},"commit":{"message":"Add instructions on how to run to README","shortMessageHtmlLink":"Add instructions on how to run to README"}},{"before":"85d57077864bea2b584fba16ff03c410aab1221a","after":"f3600027fd42ce6994e492373fd39c1888934a36","ref":"refs/heads/main","pushedAt":"2023-08-20T12:32:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"},"commit":{"message":"Updated example in README","shortMessageHtmlLink":"Updated example in README"}},{"before":"cc3b326e851a0ab95edcd83b9201d08b466cda7c","after":"85d57077864bea2b584fba16ff03c410aab1221a","ref":"refs/heads/main","pushedAt":"2023-08-20T12:30:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"},"commit":{"message":"Updated example in README","shortMessageHtmlLink":"Updated example in README"}},{"before":"fd5a75a268de271f57479a8f2d6f99d5f7ead161","after":"cc3b326e851a0ab95edcd83b9201d08b466cda7c","ref":"refs/heads/main","pushedAt":"2023-08-19T19:49:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"},"commit":{"message":"Fixed link in README","shortMessageHtmlLink":"Fixed link in README"}},{"before":"de57283daee1b1244010010c563cc2c32c65dfde","after":"fd5a75a268de271f57479a8f2d6f99d5f7ead161","ref":"refs/heads/main","pushedAt":"2023-08-19T19:48:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"},"commit":{"message":"Bootstrapped main documentation","shortMessageHtmlLink":"Bootstrapped main documentation"}},{"before":"d2e0c77375245ce39ecdb617b65a5913864bc306","after":"de57283daee1b1244010010c563cc2c32c65dfde","ref":"refs/heads/main","pushedAt":"2023-08-16T16:04:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"},"commit":{"message":"Bump scala version to latest GA (3.3.0)","shortMessageHtmlLink":"Bump scala version to latest GA (3.3.0)"}},{"before":"29a7b00092c2eca4640dcc8f9310da916f61e0b6","after":"d2e0c77375245ce39ecdb617b65a5913864bc306","ref":"refs/heads/main","pushedAt":"2023-08-16T16:02:06.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"},"commit":{"message":"Update scala.yml (#1)","shortMessageHtmlLink":"Update scala.yml (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1853523993\" data-permission-text=\"Title is private\" data-url=\"https://github.com/pdferreira/tyes/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/pdferreira/tyes/pull/1/hovercard\" href=\"https://github.com/pdferreira/tyes/pull/1\">#1</a>)"}},{"before":null,"after":"29bd2f3ba1f67589f3d2d592d455bb92218b67c8","ref":"refs/heads/setup-test-action","pushedAt":"2023-08-16T16:00:08.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"},"commit":{"message":"Update scala.yml","shortMessageHtmlLink":"Update scala.yml"}},{"before":"204a260fa5fcc58d5bbd941048f60d85a5879411","after":"29a7b00092c2eca4640dcc8f9310da916f61e0b6","ref":"refs/heads/main","pushedAt":"2023-08-16T15:53:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"},"commit":{"message":"Create scala.yml","shortMessageHtmlLink":"Create scala.yml"}},{"before":"5d86868860cd91be220e106b6d3318a01c918096","after":"204a260fa5fcc58d5bbd941048f60d85a5879411","ref":"refs/heads/main","pushedAt":"2023-08-16T14:57:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"},"commit":{"message":"Fixed OrTypeDeclsRewrite to use fresh names","shortMessageHtmlLink":"Fixed OrTypeDeclsRewrite to use fresh names"}},{"before":"ef2fd5cd6573f0a028b86c4d51a44624a8db1184","after":"5d86868860cd91be220e106b6d3318a01c918096","ref":"refs/heads/main","pushedAt":"2023-08-16T14:52:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"},"commit":{"message":"Generalized OrTypeDeclsRewrite to handle name overlaps","shortMessageHtmlLink":"Generalized OrTypeDeclsRewrite to handle name overlaps"}},{"before":"cf1056392461abbc009b94d4dcbecbdfa00e9730","after":"ef2fd5cd6573f0a028b86c4d51a44624a8db1184","ref":"refs/heads/main","pushedAt":"2023-08-16T11:11:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"},"commit":{"message":"Fixed induction decls reorder rule","shortMessageHtmlLink":"Fixed induction decls reorder rule"}},{"before":"6c75c10da08e5d533352c5e8f263f6a4beaa0c3f","after":"cf1056392461abbc009b94d4dcbecbdfa00e9730","ref":"refs/heads/main","pushedAt":"2023-08-01T01:03:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"},"commit":{"message":"Refactored IR data flow optimizer to operate on IRNodes","shortMessageHtmlLink":"Refactored IR data flow optimizer to operate on IRNodes"}},{"before":"9111959b460540ef45e34a4ee77712c2062ca684","after":"6c75c10da08e5d533352c5e8f263f6a4beaa0c3f","ref":"refs/heads/main","pushedAt":"2023-07-29T15:10:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"},"commit":{"message":"Fixed OrTypeDeclsRewrite to use fresh names","shortMessageHtmlLink":"Fixed OrTypeDeclsRewrite to use fresh names"}},{"before":"2d86c48ce9b9602107b5b494250bf92ace6f6e00","after":"9111959b460540ef45e34a4ee77712c2062ca684","ref":"refs/heads/main","pushedAt":"2023-07-29T14:27:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"},"commit":{"message":"Iterate on IRNodeSimplifier code organization","shortMessageHtmlLink":"Iterate on IRNodeSimplifier code organization"}},{"before":"b8292c3e48005ac1561aa66e830db7b2a3c62d31","after":"2d86c48ce9b9602107b5b494250bf92ace6f6e00","ref":"refs/heads/main","pushedAt":"2023-07-28T22:53:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"},"commit":{"message":"Iterate on IRNodeSimplifier code organization","shortMessageHtmlLink":"Iterate on IRNodeSimplifier code organization"}},{"before":"64130a2083d0b1fdffdfc92484406e5d22604e81","after":"b8292c3e48005ac1561aa66e830db7b2a3c62d31","ref":"refs/heads/main","pushedAt":"2023-07-28T00:10:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"},"commit":{"message":"Progress in IRNode simplifier poc","shortMessageHtmlLink":"Progress in IRNode simplifier poc"}},{"before":"5a3bd32627ab9549b186b99996b5a08af7215fb6","after":"64130a2083d0b1fdffdfc92484406e5d22604e81","ref":"refs/heads/main","pushedAt":"2023-07-27T21:24:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"},"commit":{"message":"Improved indentation of generated code","shortMessageHtmlLink":"Improved indentation of generated code"}},{"before":"b766d9b31020e86e89ad42e4f951a08b225e6080","after":"5a3bd32627ab9549b186b99996b5a08af7215fb6","ref":"refs/heads/main","pushedAt":"2023-07-20T22:42:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"},"commit":{"message":"Specialized IRNode.Switch conditions","shortMessageHtmlLink":"Specialized IRNode.Switch conditions"}},{"before":"179e97c799f87d5f99b539d8b96d59691f49c40b","after":"b766d9b31020e86e89ad42e4f951a08b225e6080","ref":"refs/heads/main","pushedAt":"2023-07-20T21:31:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"},"commit":{"message":"Updated code generation for TypeEquals condition","shortMessageHtmlLink":"Updated code generation for TypeEquals condition"}},{"before":"9238c72a3f49cce7cec359f244f561c291998c81","after":"179e97c799f87d5f99b539d8b96d59691f49c40b","ref":"refs/heads/main","pushedAt":"2023-07-17T22:19:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"},"commit":{"message":"Specialized IRNode conditions and results","shortMessageHtmlLink":"Specialized IRNode conditions and results"}},{"before":"b272ee913b445e5b7c0bdb4ff6c15d7d2a6bfa53","after":"9238c72a3f49cce7cec359f244f561c291998c81","ref":"refs/heads/main","pushedAt":"2023-06-29T22:28:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"},"commit":{"message":"Added tests class for TargetCodeEnv","shortMessageHtmlLink":"Added tests class for TargetCodeEnv"}},{"before":"172f3c1b1a5b6af04745e83dbe8fc1ba0879e994","after":"b272ee913b445e5b7c0bdb4ff6c15d7d2a6bfa53","ref":"refs/heads/main","pushedAt":"2023-06-24T18:38:53.840Z","pushType":"push","commitsCount":1,"pusher":{"login":"pdferreira","name":"Paulo Ferreira","path":"/pdferreira","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11616195?s=80&v=4"},"commit":{"message":"Added extra examples of multiple rules over same constructor","shortMessageHtmlLink":"Added extra examples of multiple rules over same constructor"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADfjUP3QA","startCursor":null,"endCursor":null}},"title":"Activity · pdferreira/tyes"}