{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":509998976,"defaultBranch":"master","name":"hegg","ownerLogin":"alt-romes","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-07-03T11:06:04.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/21295306?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1698769381.0","currentOid":""},"activityList":{"items":[{"before":"e124cb2a999c0058b6cca283142ac18b289416f2","after":"153fa7d1854270c2a4d154ac686891e33f9eac69","ref":"refs/heads/master","pushedAt":"2024-05-03T06:56:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Bump containers bounds","shortMessageHtmlLink":"Bump containers bounds"}},{"before":"68e6b218aade16451ce94d15a485c04d626f3218","after":"e124cb2a999c0058b6cca283142ac18b289416f2","ref":"refs/heads/master","pushedAt":"2023-11-24T09:56:06.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Invariants: fix incomplete pattern match warning\n\n9.4.x seems to flag an incomplete pattern match where other ghc\nversions don't. Replacing the initial pattern guard match against an\nempty list with a final otherwise pattern guard clause silences it\nrelatively intuitively. The semantics should be preserved as the use\nof the pattern guard match in testCompileToQuery is equivalent to case.\n\nCompile-tested against 9.8.1, 9.6.2, 9.4.5, 9.2.8 and 8.10.7.","shortMessageHtmlLink":"Invariants: fix incomplete pattern match warning"}},{"before":"0193c2da22e236f60013f3f972fcef01fc76d991","after":"68e6b218aade16451ce94d15a485c04d626f3218","ref":"refs/heads/master","pushedAt":"2023-10-31T16:37:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Update README wrt modifyA","shortMessageHtmlLink":"Update README wrt modifyA"}},{"before":"6bf8db94041da22ae4da0f88f02fcd82b1f53f7e","after":null,"ref":"refs/tags/v0.5.0.0","pushedAt":"2023-10-31T16:22:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"}},{"before":"6bf8db94041da22ae4da0f88f02fcd82b1f53f7e","after":"0193c2da22e236f60013f3f972fcef01fc76d991","ref":"refs/heads/master","pushedAt":"2023-10-31T16:22:13.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Update Changelog and release 0.5","shortMessageHtmlLink":"Update Changelog and release 0.5"}},{"before":null,"after":"bb601abf92663ebe45f0dcbfe5004eb0a9d25585","ref":"refs/heads/indexed-base-functors","pushedAt":"2023-10-31T16:19:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Improve and fix benchmarking suite","shortMessageHtmlLink":"Improve and fix benchmarking suite"}},{"before":"b7f210cf32177b7c958f7953c9fe324e54723121","after":"6bf8db94041da22ae4da0f88f02fcd82b1f53f7e","ref":"refs/heads/master","pushedAt":"2023-10-31T16:19:43.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Update Changelog and release 0.5","shortMessageHtmlLink":"Update Changelog and release 0.5"}},{"before":"c3a3c885c719644e745493b66ae8c7e114630f5e","after":"b7f210cf32177b7c958f7953c9fe324e54723121","ref":"refs/heads/master","pushedAt":"2023-10-31T13:26:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Change Analysis 'modify' to operate over e-graphs (more flexible)\n\nThe previous interface to the modify analysis wasn't quite flexible\nenough, since it didn't allow the e-graph to be changed beyond the class\n-- which is still likely almost always safe (as long as it is still an\nidempotent operation (modify(modify(c)) == modify(c))","shortMessageHtmlLink":"Change Analysis 'modify' to operate over e-graphs (more flexible)"}},{"before":"6686d217cbdd6e3d0982f8a1f606f8bbd69b5ede","after":"c3a3c885c719644e745493b66ae8c7e114630f5e","ref":"refs/heads/master","pushedAt":"2023-10-31T10:50:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Fix testsuite warnings","shortMessageHtmlLink":"Fix testsuite warnings"}},{"before":"240d7df9a5bec5b8f5a277211f057fcf5b381ce0","after":"6686d217cbdd6e3d0982f8a1f606f8bbd69b5ede","ref":"refs/heads/master","pushedAt":"2023-10-31T10:04:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Compatibility with base 4.20","shortMessageHtmlLink":"Compatibility with base 4.20"}},{"before":"ae48ade5696e61382f49e03726cedc2cb30d5389","after":"240d7df9a5bec5b8f5a277211f057fcf5b381ce0","ref":"refs/heads/master","pushedAt":"2023-10-30T18:47:45.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Remove incorrect test","shortMessageHtmlLink":"Remove incorrect test"}},{"before":"49229d1d2ea9d5012de55be17300eb4225bc8d02","after":"ae48ade5696e61382f49e03726cedc2cb30d5389","ref":"refs/heads/master","pushedAt":"2023-10-29T20:12:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Remove incorrect test","shortMessageHtmlLink":"Remove incorrect test"}},{"before":"8d96216fcfa7924961ebfc0e966bc79ae6c089cc","after":"49229d1d2ea9d5012de55be17300eb4225bc8d02","ref":"refs/heads/master","pushedAt":"2023-10-22T20:05:16.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Fix warnings in Data.Equality.Graph.Dot","shortMessageHtmlLink":"Fix warnings in Data.Equality.Graph.Dot"}},{"before":"dc97abb39b3c1483d141c8082c14789ec0d05732","after":"8d96216fcfa7924961ebfc0e966bc79ae6c089cc","ref":"refs/heads/master","pushedAt":"2023-10-22T15:58:00.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Fix \"cabal check\" warnings\n\n- deepseq and tasty-bench need upper bounds\n- CHANGELOG.md and README.md are extra-doc-files","shortMessageHtmlLink":"Fix \"cabal check\" warnings"}},{"before":"1d849142a21977d15c0be7943f1ad4f494054663","after":"dc97abb39b3c1483d141c8082c14789ec0d05732","ref":"refs/heads/master","pushedAt":"2023-09-17T13:51:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Small refactor on eqsat impl","shortMessageHtmlLink":"Small refactor on eqsat impl"}},{"before":"12be9df9bdbe116bfceac66b72336ade95b496b1","after":"1d849142a21977d15c0be7943f1ad4f494054663","ref":"refs/heads/master","pushedAt":"2023-08-16T16:48:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Drop the Language instance from README.md","shortMessageHtmlLink":"Drop the Language instance from README.md"}},{"before":"7e75faa0d67b24b2a89b55baf3c036e62c81caa2","after":"12be9df9bdbe116bfceac66b72336ade95b496b1","ref":"refs/heads/master","pushedAt":"2023-08-16T16:41:02.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Correct typo in `README`\n\nThe example for `makeA` wouldn't type check.","shortMessageHtmlLink":"Correct typo in <code>README</code>"}},{"before":"640832e03352539e42fd6c71b9ffc8a347dbde61","after":"7e75faa0d67b24b2a89b55baf3c036e62c81caa2","ref":"refs/heads/master","pushedAt":"2023-08-11T23:21:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Fix cabal bounds and disallow 9.0\n\n* We disallow 9.0 because of the QuantifiedConstrains bug\n* Due foldMap' definition we need at least GHC-8.10.\n\nAuthored by @phadej","shortMessageHtmlLink":"Fix cabal bounds and disallow 9.0"}},{"before":"e3f8e29d761f53a52f35b991d99cf614fb9581ab","after":"640832e03352539e42fd6c71b9ffc8a347dbde61","ref":"refs/heads/master","pushedAt":"2023-08-11T16:32:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Fix haddock comment of Analysis (a,b)","shortMessageHtmlLink":"Fix haddock comment of Analysis (a,b)"}},{"before":"eae266128da5ec0968b1f129221570d4eeb90871","after":"e3f8e29d761f53a52f35b991d99cf614fb9581ab","ref":"refs/heads/master","pushedAt":"2023-08-04T16:01:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Drop Analysis constraint from newEClass\n\nIt was completely unused, and further forbid usage with only-monadic\nanalysis","shortMessageHtmlLink":"Drop Analysis constraint from newEClass"}},{"before":"9c364ce337328160bd93e470f1ccd6dec63ce8ee","after":"eae266128da5ec0968b1f129221570d4eeb90871","ref":"refs/heads/master","pushedAt":"2023-08-04T15:53:49.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Add monadic Analysis functions to E.Graph.Monad","shortMessageHtmlLink":"Add monadic Analysis functions to E.Graph.Monad"}},{"before":"ce2f3dae1c40cc20241e0d7317ab2565ffd683a9","after":"9c364ce337328160bd93e470f1ccd6dec63ce8ee","ref":"refs/heads/master","pushedAt":"2023-08-04T15:52:00.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Add monadic Analysis functions to E.Graph.Monad","shortMessageHtmlLink":"Add monadic Analysis functions to E.Graph.Monad"}},{"before":"88e4c52ffdf6e2f9da8fc7af408c9f5967191fec","after":"ce2f3dae1c40cc20241e0d7317ab2565ffd683a9","ref":"refs/heads/master","pushedAt":"2023-08-04T15:50:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Add monadic Analysis functions to E.Graph.Monad","shortMessageHtmlLink":"Add monadic Analysis functions to E.Graph.Monad"}},{"before":"407fd0387da9955e78e129d4d5465daf587f142b","after":"88e4c52ffdf6e2f9da8fc7af408c9f5967191fec","ref":"refs/heads/master","pushedAt":"2023-08-03T15:15:20.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Update CI plans\n\n* We drop support for 9.0.2 because quantified constraints seems buggy,\n  or at least the ones we use don't compile successfully in 9.0.2","shortMessageHtmlLink":"Update CI plans"}},{"before":"a3c28941893f8266a2221bb5577b0a600ec0069d","after":"407fd0387da9955e78e129d4d5465daf587f142b","ref":"refs/heads/master","pushedAt":"2023-08-03T14:58:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Update CI plans","shortMessageHtmlLink":"Update CI plans"}},{"before":"f2a0005cf2007d091344e0d29ad295f41bd07701","after":"a3c28941893f8266a2221bb5577b0a600ec0069d","ref":"refs/heads/master","pushedAt":"2023-08-03T14:51:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Improve support for monadic Analysis\n\nIn a previous commit we introduced functions to facilitate usage of\nmonadic analysis by setting the domain to (m a) and traversing over m.\n\nUnfortunately, in practice, setting the domain to (m a) requires an\ninstance of Eq (m a) to define the analysis, which is much harder for a\nmonadic context.\n\nWe improve support for monadic Analysis by providing a new type-class\n'Data.Graph.Analysis.Monadic' which defines its operations over a\nmonadic context, while keeping the domain non-monadic, and by changing\nthe operationM variants of operations to require a Monadic Analysis\ninstead of a standard Analysis.","shortMessageHtmlLink":"Improve support for monadic Analysis"}},{"before":"54761a0dc2e55087fd241669f74f1a4b3ad3176a","after":"f2a0005cf2007d091344e0d29ad295f41bd07701","ref":"refs/heads/master","pushedAt":"2023-08-03T14:42:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Improve support for monadic Analysis\n\nIn a previous commit we introduced functions to facilitate usage of\nmonadic analysis by setting the domain to (m a) and traversing over m.\n\nUnfortunately, in practice, setting the domain to (m a) requires an\ninstance of Eq (m a) to define the analysis, which is much harder for a\nmonadic context.\n\nWe improve support for monadic Analysis by providing a new type-class\n'Data.Graph.Analysis.Monadic' which defines its operations over a\nmonadic context, while keeping the domain non-monadic, and by changing\nthe operationM variants of operations to require a Monadic Analysis\ninstead of a standard Analysis.","shortMessageHtmlLink":"Improve support for monadic Analysis"}},{"before":"aaec30caf4d6c6bae70dac7cd0d1aad510a2c8fc","after":"54761a0dc2e55087fd241669f74f1a4b3ad3176a","ref":"refs/heads/master","pushedAt":"2023-08-01T18:41:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Add operations for analysis defined monadically\n\nIt is common to only be able to define an 'Analysis' instance under a\nmonadic context.\n\nWe now provide an alternative for 'Analysis' for each of the 4\nmain operations on e-graphs: representM, addM, mergeM, rebuildM.\n\nIn practice, this allows you to operate on an e-graph with analysis\ndomain @domain@ but whose 'Analysis' instance is only well-defined under\n@m domain@ for some 'Applicative' @m@","shortMessageHtmlLink":"Add operations for analysis defined monadically"}},{"before":"014e5c2b7acab76675ba2d2e16dd03a3dd19ee5d","after":"aaec30caf4d6c6bae70dac7cd0d1aad510a2c8fc","ref":"refs/heads/master","pushedAt":"2023-07-29T16:08:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Update CI","shortMessageHtmlLink":"Update CI"}},{"before":"dc6b28043402f774b5d159c9783a0cd4610006b1","after":"014e5c2b7acab76675ba2d2e16dd03a3dd19ee5d","ref":"refs/heads/master","pushedAt":"2023-07-06T17:27:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alt-romes","name":"Rodrigo Mesquita","path":"/alt-romes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21295306?s=80&v=4"},"commit":{"message":"Revert \"Add operation to create mapping in union find\"\n\nThis operation was too much of a footgun with unclear/confusing semantics\n\nThis reverts commit dc6b28043402f774b5d159c9783a0cd4610006b1.","shortMessageHtmlLink":"Revert \"Add operation to create mapping in union find\""}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0wM1QwNjo1Njo0MS4wMDAwMDBazwAAAARAfMvO","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0wM1QwNjo1Njo0MS4wMDAwMDBazwAAAARAfMvO","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNy0wNlQxNzoyNzozOC4wMDAwMDBazwAAAANQQQJ0"}},"title":"Activity · alt-romes/hegg"}