{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":556909457,"defaultBranch":"main","name":"etylizer","ownerLogin":"etylizer","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-10-24T18:44:18.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/116347911?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1722589711.0","currentOid":""},"activityList":{"items":[{"before":"7bc4ba7099a0c3cd4a86da0fdbcb74d9e629d981","after":"1e390a400589d76a6c99fc92acb7db72c7133c8d","ref":"refs/heads/sw/map-constraints","pushedAt":"2024-08-06T13:26:12.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"skogsbaer","name":"Stefan Wehr","path":"/skogsbaer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/567524?s=80&v=4"},"commit":{"message":"more tests, not working yet","shortMessageHtmlLink":"more tests, not working yet"}},{"before":null,"after":"7bc4ba7099a0c3cd4a86da0fdbcb74d9e629d981","ref":"refs/heads/sw/map-constraints","pushedAt":"2024-08-02T09:08:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"skogsbaer","name":"Stefan Wehr","path":"/skogsbaer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/567524?s=80&v=4"},"commit":{"message":"tests for maps","shortMessageHtmlLink":"tests for maps"}},{"before":"a8b79442665cb44c1f494f185188851e84722f0b","after":"1aa52fe48f67583eb993d1eaa468db0d9a800da6","ref":"refs/heads/main","pushedAt":"2024-07-23T13:01:19.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"albsch","name":"Al","path":"/albsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38429047?s=80&v=4"},"commit":{"message":"Map subtyping support (#85)\n\nImplemented support for map subtyping and map normalization.\r\n\r\nMaps are interpreted as \"quasi k-omega-step\" (KO-Step) functions, which are a simple extension of \"quasi k-step\" (K-Step) functions, to account for polymorphic maps.\r\n\r\nCurrent steps: any_atom, any_integer, any_tuple.\r\n\r\nFor the case of monomorphic maps, KO-Step behaves the same as K-Step.\r\n\r\n---------\r\n\r\nCo-authored-by: erdemYl <eyildiri@rhrk.uni-kl.de>","shortMessageHtmlLink":"Map subtyping support (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2052556343\" data-permission-text=\"Title is private\" data-url=\"https://github.com/etylizer/etylizer/issues/85\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/etylizer/etylizer/pull/85/hovercard\" href=\"https://github.com/etylizer/etylizer/pull/85\">#85</a>)"}},{"before":"aab9b8f5ca397917588e4b7f278cd50963aaf5f4","after":"e9183f842c3feb156aac4d3e2b41d20b64ae4d6a","ref":"refs/heads/ey/maps","pushedAt":"2024-07-23T12:55:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"albsch","name":"Al","path":"/albsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38429047?s=80&v=4"},"commit":{"message":"added collect vars for map_any","shortMessageHtmlLink":"added collect vars for map_any"}},{"before":"6167b504f571cee669ea7794b5573de64d70a72a","after":"aab9b8f5ca397917588e4b7f278cd50963aaf5f4","ref":"refs/heads/ey/maps","pushedAt":"2024-07-23T12:50:28.000Z","pushType":"push","commitsCount":18,"pusher":{"login":"albsch","name":"Al","path":"/albsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38429047?s=80&v=4"},"commit":{"message":"Merge branch 'main' into ey/maps","shortMessageHtmlLink":"Merge branch 'main' into ey/maps"}},{"before":"52c4977d1bc4ce58856530216028e9c4c4082f67","after":"f27cb2a1b69805fd52050ae084f1a37da02a0781","ref":"refs/heads/as/debug-time","pushedAt":"2024-07-18T07:54:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"albsch","name":"Al","path":"/albsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38429047?s=80&v=4"},"commit":{"message":"debug","shortMessageHtmlLink":"debug"}},{"before":"638857c0cee37f76eda897a461d797ce081ac030","after":"a8b79442665cb44c1f494f185188851e84722f0b","ref":"refs/heads/main","pushedAt":"2024-07-16T10:10:02.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"albsch","name":"Al","path":"/albsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38429047?s=80&v=4"},"commit":{"message":"complete inference for intersection types (#104)\n\n* improved error messages for ast_check\r\n* support for detecting unmatched branches with intersection types\r\n* improve error messages for scrutinies of cases\r\n* use binary search for locating source errors\r\n* support dropped for erlang 24\r\n* do sanity checks for simple tests","shortMessageHtmlLink":"complete inference for intersection types (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2397591889\" data-permission-text=\"Title is private\" data-url=\"https://github.com/etylizer/etylizer/issues/104\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/etylizer/etylizer/pull/104/hovercard\" href=\"https://github.com/etylizer/etylizer/pull/104\">#104</a>)"}},{"before":"5a3b722db1a64cf2347d4bac3d24d318ee38cf2b","after":"b8c775a591738d44d209c8f07c5f78411b37a6d2","ref":"refs/heads/sw/simpl-complete","pushedAt":"2024-07-11T12:34:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"skogsbaer","name":"Stefan Wehr","path":"/skogsbaer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/567524?s=80&v=4"},"commit":{"message":"do sanity checks for simple tests","shortMessageHtmlLink":"do sanity checks for simple tests"}},{"before":null,"after":"52c4977d1bc4ce58856530216028e9c4c4082f67","ref":"refs/heads/as/debug-time","pushedAt":"2024-07-10T15:09:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"albsch","name":"Al","path":"/albsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38429047?s=80&v=4"},"commit":{"message":"Debug time","shortMessageHtmlLink":"Debug time"}},{"before":"2c5599c40209a0b63b75ff94f4a342c6a060d522","after":"5a3b722db1a64cf2347d4bac3d24d318ee38cf2b","ref":"refs/heads/sw/simpl-complete","pushedAt":"2024-07-09T15:13:27.000Z","pushType":"push","commitsCount":15,"pusher":{"login":"skogsbaer","name":"Stefan Wehr","path":"/skogsbaer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/567524?s=80&v=4"},"commit":{"message":"fix errors introduced by merge","shortMessageHtmlLink":"fix errors introduced by merge"}},{"before":"f65db80c464e81ba5d0aee863068dc71975aca21","after":null,"ref":"refs/heads/sw/clean-after-subst","pushedAt":"2024-07-09T14:44:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"skogsbaer","name":"Stefan Wehr","path":"/skogsbaer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/567524?s=80&v=4"}},{"before":"36e8b75e0d06f89558df39efd20ae3c1db55836e","after":"638857c0cee37f76eda897a461d797ce081ac030","ref":"refs/heads/main","pushedAt":"2024-07-09T14:44:51.000Z","pushType":"pr_merge","commitsCount":13,"pusher":{"login":"skogsbaer","name":"Stefan Wehr","path":"/skogsbaer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/567524?s=80&v=4"},"commit":{"message":"Merge pull request #87 from etylizer/sw/clean-after-subst\n\ncleaning","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2088061028\" data-permission-text=\"Title is private\" data-url=\"https://github.com/etylizer/etylizer/issues/87\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/etylizer/etylizer/pull/87/hovercard\" href=\"https://github.com/etylizer/etylizer/pull/87\">#87</a> from etylizer/sw/clean-after-subst"}},{"before":"5a087e16adc14128fa6dc7c6c824f83bcb8accc7","after":"2c5599c40209a0b63b75ff94f4a342c6a060d522","ref":"refs/heads/sw/simpl-complete","pushedAt":"2024-07-09T12:15:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"skogsbaer","name":"Stefan Wehr","path":"/skogsbaer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/567524?s=80&v=4"},"commit":{"message":"disable erlang 24 in CI","shortMessageHtmlLink":"disable erlang 24 in CI"}},{"before":"65ff3b7bfce20a853ce968c1ea97cbc878122d23","after":"5a087e16adc14128fa6dc7c6c824f83bcb8accc7","ref":"refs/heads/sw/simpl-complete","pushedAt":"2024-07-09T08:59:43.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"skogsbaer","name":"Stefan Wehr","path":"/skogsbaer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/567524?s=80&v=4"},"commit":{"message":"make dialyzer happy","shortMessageHtmlLink":"make dialyzer happy"}},{"before":"076d6616d1d3e7140bbeb527d8f8e93be3565074","after":"3b50b25e8001ae25f53ad08330aa57387d299151","ref":"refs/heads/as/proper-corecursion","pushedAt":"2024-07-08T12:40:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"albsch","name":"Al","path":"/albsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38429047?s=80&v=4"},"commit":{"message":"towards restructure","shortMessageHtmlLink":"towards restructure"}},{"before":null,"after":"65ff3b7bfce20a853ce968c1ea97cbc878122d23","ref":"refs/heads/sw/simpl-complete","pushedAt":"2024-07-04T06:53:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"skogsbaer","name":"Stefan Wehr","path":"/skogsbaer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/567524?s=80&v=4"},"commit":{"message":"fix error messages\n\nNow everything is working again, except for functions with intersection\ntypes","shortMessageHtmlLink":"fix error messages"}},{"before":"946be711a5439d5f222e7d075611d091740cae2b","after":"076d6616d1d3e7140bbeb527d8f8e93be3565074","ref":"refs/heads/as/proper-corecursion","pushedAt":"2024-06-27T15:01:14.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"albsch","name":"Al","path":"/albsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38429047?s=80&v=4"},"commit":{"message":"Dummy print","shortMessageHtmlLink":"Dummy print"}},{"before":"5e99afbf8d5a32b32a83a33dd70fc6bd9ea90a77","after":"946be711a5439d5f222e7d075611d091740cae2b","ref":"refs/heads/as/proper-corecursion","pushedAt":"2024-06-27T13:28:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"albsch","name":"Al","path":"/albsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38429047?s=80&v=4"},"commit":{"message":"more","shortMessageHtmlLink":"more"}},{"before":"85a4242c6b01ca6c9a6c4e0d9ddd9bb2c38dfac3","after":"f65db80c464e81ba5d0aee863068dc71975aca21","ref":"refs/heads/sw/clean-after-subst","pushedAt":"2024-06-25T14:12:54.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"skogsbaer","name":"Stefan Wehr","path":"/skogsbaer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/567524?s=80&v=4"},"commit":{"message":"Merge branch 'main' into sw/clean-after-subst","shortMessageHtmlLink":"Merge branch 'main' into sw/clean-after-subst"}},{"before":"6018c5ba11355a4f1685e81ee8ec8ecc80fd02c3","after":"5e99afbf8d5a32b32a83a33dd70fc6bd9ea90a77","ref":"refs/heads/as/proper-corecursion","pushedAt":"2024-06-25T12:14:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"albsch","name":"Al","path":"/albsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38429047?s=80&v=4"},"commit":{"message":"more","shortMessageHtmlLink":"more"}},{"before":"fc96a3952989ae6ed9dc26cd6ec12d0d9ce38ee1","after":"36e8b75e0d06f89558df39efd20ae3c1db55836e","ref":"refs/heads/main","pushedAt":"2024-06-25T11:38:45.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"albsch","name":"Al","path":"/albsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38429047?s=80&v=4"},"commit":{"message":"ignore impossible branches (#100)\n\nThis PR improve on PR #98 by (almost) fixing #36 und #56 in a more general way. PR #98 can be closed.\r\n\r\nFurther, this PR makes constraint simplification much easier because we no longer need to apply the result of tally during constraint simplification. Instead, we only use tally for checking satisifiability of a constraint to ignore certain branches.\r\n\r\nThere is still a problem, see the comment on #36 which is being worked on.","shortMessageHtmlLink":"ignore impossible branches (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2367159015\" data-permission-text=\"Title is private\" data-url=\"https://github.com/etylizer/etylizer/issues/100\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/etylizer/etylizer/pull/100/hovercard\" href=\"https://github.com/etylizer/etylizer/pull/100\">#100</a>)"}},{"before":"ceb05d98fd1b01aba18e7f581d6c4024133bc6e1","after":"623212be1bd14fddd4f3292dcad280ed000fba9d","ref":"refs/heads/sw/ignore-impossible-branches","pushedAt":"2024-06-25T07:46:53.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"skogsbaer","name":"Stefan Wehr","path":"/skogsbaer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/567524?s=80&v=4"},"commit":{"message":"add more tests for #36","shortMessageHtmlLink":"add more tests for <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1900698505\" data-permission-text=\"Title is private\" data-url=\"https://github.com/etylizer/etylizer/issues/36\" data-hovercard-type=\"issue\" data-hovercard-url=\"/etylizer/etylizer/issues/36/hovercard\" href=\"https://github.com/etylizer/etylizer/issues/36\">#36</a>"}},{"before":null,"after":"5ab4409c1de1148f2888c7077f3f26f058d771a8","ref":"refs/heads/as/debug-session","pushedAt":"2024-06-24T07:22:16.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"albsch","name":"Al","path":"/albsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38429047?s=80&v=4"},"commit":{"message":"debug session","shortMessageHtmlLink":"debug session"}},{"before":"e5712fbfe30c53a4c23b9f7e95b94044587cb34b","after":null,"ref":"refs/heads/sw/rebar","pushedAt":"2024-06-23T21:24:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"skogsbaer","name":"Stefan Wehr","path":"/skogsbaer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/567524?s=80&v=4"}},{"before":"88af3dc111316fda25c661048feab4178947d077","after":"fc96a3952989ae6ed9dc26cd6ec12d0d9ce38ee1","ref":"refs/heads/main","pushedAt":"2024-06-23T21:24:07.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"albsch","name":"Al","path":"/albsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38429047?s=80&v=4"},"commit":{"message":"use rebar installed on system (#102)","shortMessageHtmlLink":"use rebar installed on system (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2368892438\" data-permission-text=\"Title is private\" data-url=\"https://github.com/etylizer/etylizer/issues/102\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/etylizer/etylizer/pull/102/hovercard\" href=\"https://github.com/etylizer/etylizer/pull/102\">#102</a>)"}},{"before":null,"after":"e5712fbfe30c53a4c23b9f7e95b94044587cb34b","ref":"refs/heads/sw/rebar","pushedAt":"2024-06-23T21:14:36.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"skogsbaer","name":"Stefan Wehr","path":"/skogsbaer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/567524?s=80&v=4"},"commit":{"message":"use rebar installed on system","shortMessageHtmlLink":"use rebar installed on system"}},{"before":"8d3b84660cb4a12b37d8b861bd2a2eb92bc29d06","after":"6018c5ba11355a4f1685e81ee8ec8ecc80fd02c3","ref":"refs/heads/as/proper-corecursion","pushedAt":"2024-06-23T18:50:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"albsch","name":"Al","path":"/albsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38429047?s=80&v=4"},"commit":{"message":"towards proper corecursion","shortMessageHtmlLink":"towards proper corecursion"}},{"before":"2486e1fc2b12fb71504e41a2ada8cc7d656295ae","after":"ceb05d98fd1b01aba18e7f581d6c4024133bc6e1","ref":"refs/heads/sw/ignore-impossible-branches","pushedAt":"2024-06-22T06:27:01.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"skogsbaer","name":"Stefan Wehr","path":"/skogsbaer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/567524?s=80&v=4"},"commit":{"message":"reactivate some tests and add some new tests","shortMessageHtmlLink":"reactivate some tests and add some new tests"}},{"before":null,"after":"2486e1fc2b12fb71504e41a2ada8cc7d656295ae","ref":"refs/heads/sw/ignore-impossible-branches","pushedAt":"2024-06-21T19:47:25.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"skogsbaer","name":"Stefan Wehr","path":"/skogsbaer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/567524?s=80&v=4"},"commit":{"message":"do not infer type for poly","shortMessageHtmlLink":"do not infer type for poly"}},{"before":"9ad4c8b3c9eeaf3a5c121bc4045275ded7306ef2","after":"8d3b84660cb4a12b37d8b861bd2a2eb92bc29d06","ref":"refs/heads/as/proper-corecursion","pushedAt":"2024-06-20T18:55:25.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"albsch","name":"Al","path":"/albsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38429047?s=80&v=4"},"commit":{"message":"towards progress","shortMessageHtmlLink":"towards progress"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEkyIhgAA","startCursor":null,"endCursor":null}},"title":"Activity · etylizer/etylizer"}