{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":451521509,"defaultBranch":"master","name":"thorin2","ownerLogin":"AnyDSL","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-01-24T15:32:56.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/8067965?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1715818489.0","currentOid":""},"activityList":{"items":[{"before":"d66ac66e6a23e49cf303899fda517eb1c8a6bab9","after":"0aabf805c972dc859a15e580c3a917ad6ccfd7a1","ref":"refs/heads/refactor/blockexpr","pushedAt":"2024-05-16T00:45:01.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"},"commit":{"message":"Merge branch 'master' into refactor/blockexpr","shortMessageHtmlLink":"Merge branch 'master' into refactor/blockexpr"}},{"before":"bd0f5b6b57d550abc982f57068d3d0a5b24e5bd6","after":"e661b9eab923cae32999f48c24bb11ac38c19e4f","ref":"refs/heads/gh-pages","pushedAt":"2024-05-16T00:21:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 816bc68164b798e6633a5f080111344f2625ba29","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/AnyDSL/thorin2/commit/816bc68164b798e6633a5f080111344f2625ba29/hovercard\" href=\"https://github.com/AnyDSL/thorin2/commit/816bc68164b798e6633a5f080111344f2625ba29\"><tt>816bc68</tt></a>"}},{"before":"f21a72cf7e92cedfb58aedaf0eecb2adf8c90634","after":null,"ref":"refs/heads/ast","pushedAt":"2024-05-16T00:14:49.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"}},{"before":"46569c710537d719375d4346eb1fca0b15d8c4ba","after":"816bc68164b798e6633a5f080111344f2625ba29","ref":"refs/heads/master","pushedAt":"2024-05-16T00:14:44.000Z","pushType":"pr_merge","commitsCount":101,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"},"commit":{"message":"Merge pull request #273 from AnyDSL/ast\n\nAst","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2216528418\" data-permission-text=\"Title is private\" data-url=\"https://github.com/AnyDSL/thorin2/issues/273\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/AnyDSL/thorin2/pull/273/hovercard\" href=\"https://github.com/AnyDSL/thorin2/pull/273\">#273</a> from AnyDSL/ast"}},{"before":"bdc1e2a929d010acb8ff2b9efad477d3587d2471","after":"b66f6e3cf2682b7eb6fdbdc9bef5928fa594f957","ref":"refs/heads/refactor/pi","pushedAt":"2024-05-10T13:42:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"},"commit":{"message":"removed Π","shortMessageHtmlLink":"removed Π"}},{"before":null,"after":"bdc1e2a929d010acb8ff2b9efad477d3587d2471","ref":"refs/heads/refactor/pi","pushedAt":"2024-05-09T01:46:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"},"commit":{"message":"make |~| optional in some cases","shortMessageHtmlLink":"make |~| optional in some cases"}},{"before":"238930c2e2a1d5fab86d4c7bdef155ac711d7ee3","after":"d66ac66e6a23e49cf303899fda517eb1c8a6bab9","ref":"refs/heads/refactor/blockexpr","pushedAt":"2024-05-08T22:49:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"},"commit":{"message":"adjust output to new syntax","shortMessageHtmlLink":"adjust output to new syntax"}},{"before":"e6c4d63f480f29a4a1b62a374aba292e3299d5c9","after":"238930c2e2a1d5fab86d4c7bdef155ac711d7ee3","ref":"refs/heads/refactor/blockexpr","pushedAt":"2024-05-01T23:55:29.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"},"commit":{"message":"simplify parsing of ptrns and remove {implicit} again","shortMessageHtmlLink":"simplify parsing of ptrns and remove {implicit} again"}},{"before":null,"after":"e6c4d63f480f29a4a1b62a374aba292e3299d5c9","ref":"refs/heads/refactor/blockexpr","pushedAt":"2024-04-29T14:25:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"},"commit":{"message":"remove BlockExpr\n\n* porting from BlockExpr away\n* Bug fix in parser when dealing with erroneous patterns","shortMessageHtmlLink":"remove BlockExpr"}},{"before":"b9dffe47999e1b0f65263cb53c775b328c5bc79c","after":"f21a72cf7e92cedfb58aedaf0eecb2adf8c90634","ref":"refs/heads/ast","pushedAt":"2024-04-27T22:15:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"},"commit":{"message":"polish","shortMessageHtmlLink":"polish"}},{"before":"3c92ef1c82d89b7443f954fe9e874a109fbd2dc4","after":"b9dffe47999e1b0f65263cb53c775b328c5bc79c","ref":"refs/heads/ast","pushedAt":"2024-04-27T21:53:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"},"commit":{"message":"porting main_loop to .where expr","shortMessageHtmlLink":"porting main_loop to .where expr"}},{"before":"7751e47a7c24b14acc57b233c39be52a0567546e","after":"3c92ef1c82d89b7443f954fe9e874a109fbd2dc4","ref":"refs/heads/ast","pushedAt":"2024-04-27T01:33:42.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"},"commit":{"message":"missing errors + further polishing of annexes/axioms","shortMessageHtmlLink":"missing errors + further polishing of annexes/axioms"}},{"before":"caf78d9d5de9eb6172c96f1a6b965238cba87f03","after":"7751e47a7c24b14acc57b233c39be52a0567546e","ref":"refs/heads/ast","pushedAt":"2024-04-26T23:54:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"},"commit":{"message":"Split Annex into Annex and ast::AnnexInfo","shortMessageHtmlLink":"Split Annex into Annex and ast::AnnexInfo"}},{"before":"fcd88847ba11911144f4abaf4c722401bb436864","after":"caf78d9d5de9eb6172c96f1a6b965238cba87f03","ref":"refs/heads/ast","pushedAt":"2024-04-26T23:32:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"},"commit":{"message":"deprecated BlockExpr\n\n* added warning\n* polished error handling","shortMessageHtmlLink":"deprecated BlockExpr"}},{"before":"16e96b05c9647ed3487b888e21e98540971008a0","after":"fcd88847ba11911144f4abaf4c722401bb436864","ref":"refs/heads/ast","pushedAt":"2024-04-26T21:23:56.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"},"commit":{"message":"wip: cleanup annex magic","shortMessageHtmlLink":"wip: cleanup annex magic"}},{"before":"c9de8cfaa78d99a70b0d22ba5affa56fcc4df425","after":"16e96b05c9647ed3487b888e21e98540971008a0","ref":"refs/heads/ast","pushedAt":"2024-04-26T00:05:32.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"},"commit":{"message":"move bootstrap stuff to AST","shortMessageHtmlLink":"move bootstrap stuff to AST"}},{"before":"2ce91c0af8f546a99b2c5c52c0c3e2a4d5d9d719","after":"c9de8cfaa78d99a70b0d22ba5affa56fcc4df425","ref":"refs/heads/ast","pushedAt":"2024-04-25T15:02:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"},"commit":{"message":"make .where truly upside down\n\n* better error messages","shortMessageHtmlLink":"make .where truly upside down"}},{"before":"6933c2b602938015e6d9a8e3e070ba4c8a8a07c2","after":"2ce91c0af8f546a99b2c5c52c0c3e2a4d5d9d719","ref":"refs/heads/ast","pushedAt":"2024-04-25T14:22:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"},"commit":{"message":"rework decls to explicitly use .and for mutal recursion","shortMessageHtmlLink":"rework decls to explicitly use .and for mutal recursion"}},{"before":"f4a21a51e20a095b3ece4dd0c91dd6dd471430e9","after":"6933c2b602938015e6d9a8e3e070ba4c8a8a07c2","ref":"refs/heads/ast","pushedAt":"2024-04-24T21:18:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"},"commit":{"message":"fix endless loops in parse_pi_expr/parse_lam_decl","shortMessageHtmlLink":"fix endless loops in parse_pi_expr/parse_lam_decl"}},{"before":"8da1efcfa35e7b45e29558f10f1e9b4854a8ee75","after":"f4a21a51e20a095b3ece4dd0c91dd6dd471430e9","ref":"refs/heads/ast","pushedAt":"2024-04-24T21:10:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"},"commit":{"message":"polish","shortMessageHtmlLink":"polish"}},{"before":"ef6fcd3c29f5e999cd8aac1ce1e08eccd9403614","after":"8da1efcfa35e7b45e29558f10f1e9b4854a8ee75","ref":"refs/heads/ast","pushedAt":"2024-04-24T20:31:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"},"commit":{"message":"added warnings + hints","shortMessageHtmlLink":"added warnings + hints"}},{"before":"344ab4408bbd5008dffd97ca5ad1299407920e8c","after":"ef6fcd3c29f5e999cd8aac1ce1e08eccd9403614","ref":"refs/heads/ast","pushedAt":"2024-04-24T20:20:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"},"commit":{"message":"cleanup","shortMessageHtmlLink":"cleanup"}},{"before":"ac9ce24252e9be79661a197323629cbfb9eaffc7","after":"344ab4408bbd5008dffd97ca5ad1299407920e8c","ref":"refs/heads/ast","pushedAt":"2024-04-24T13:14:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"},"commit":{"message":"make let in ptrns work","shortMessageHtmlLink":"make let in ptrns work"}},{"before":"2b5c3a69bb8f8b7dcf804a1702b5a25a9afd40f8","after":"ac9ce24252e9be79661a197323629cbfb9eaffc7","ref":"refs/heads/ast","pushedAt":"2024-04-24T00:06:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"},"commit":{"message":"cleanup","shortMessageHtmlLink":"cleanup"}},{"before":"1176a4e8a37f577ad557336530aa2a9f08dccad8","after":"2b5c3a69bb8f8b7dcf804a1702b5a25a9afd40f8","ref":"refs/heads/ast","pushedAt":"2024-04-23T22:43:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"},"commit":{"message":"cleanup","shortMessageHtmlLink":"cleanup"}},{"before":"f06aed4836c8172a27f7c2a477a65da0c51c36f1","after":"1176a4e8a37f577ad557336530aa2a9f08dccad8","ref":"refs/heads/ast","pushedAt":"2024-04-23T22:42:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"},"commit":{"message":"cleanup","shortMessageHtmlLink":"cleanup"}},{"before":"866ba3a2937b0923fe585b6ff5733094f54eaad3","after":"f06aed4836c8172a27f7c2a477a65da0c51c36f1","ref":"refs/heads/ast","pushedAt":"2024-04-23T21:36:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"},"commit":{"message":"removed !-filter\n\n* Filter: @(expr) -> @expr\n* old: .fun f!(A): B\n* new: .fun f(A)@.tt: B\n* Fix some bugs regarding utf8 output in lexer","shortMessageHtmlLink":"removed !-filter"}},{"before":"5f33ecea952a14accaa7ef82393e68d6bdb9e3da","after":"866ba3a2937b0923fe585b6ff5733094f54eaad3","ref":"refs/heads/ast","pushedAt":"2024-04-23T15:56:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"},"commit":{"message":"fix md output + refactoring\n\n* proper getters/setters for Dbg","shortMessageHtmlLink":"fix md output + refactoring"}},{"before":"4cefe87eacdc8d18f6aff0eda4017fb029e95114","after":"5f33ecea952a14accaa7ef82393e68d6bdb9e3da","ref":"refs/heads/ast","pushedAt":"2024-04-23T14:42:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"},"commit":{"message":"all tests working again","shortMessageHtmlLink":"all tests working again"}},{"before":"6cde3d7ff15f5674acdd88a1fe3d4e1b362d2faf","after":"4cefe87eacdc8d18f6aff0eda4017fb029e95114","ref":"refs/heads/ast","pushedAt":"2024-04-23T12:46:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leissa","name":"Roland Leißa","path":"/leissa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8067180?s=80&v=4"},"commit":{"message":"moving stuff around","shortMessageHtmlLink":"moving stuff around"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAESxdvsgA","startCursor":null,"endCursor":null}},"title":"Activity · AnyDSL/thorin2"}