{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":35614265,"defaultBranch":"master","name":"Beluga","ownerLogin":"Beluga-lang","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-05-14T14:00:29.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/12446054?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1715136488.0","currentOid":""},"activityList":{"items":[{"before":"3f04a0c5d5722433cef20df912d29dc50073e943","after":null,"ref":"refs/heads/csano/add-cp-mechanization","pushedAt":"2024-05-08T02:48:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"MartyO256","name":"Marc-Antoine Ouimet","path":"/MartyO256","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22966675?s=80&v=4"}},{"before":"d7e6d4a0dce369d42182808aa4ad33f0be7a8e5f","after":"09635670f58e6f81a29e31682605fbcfb0fc14fc","ref":"refs/heads/gh-pages","pushedAt":"2024-05-08T02:25:59.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":"Deploying to gh-pages from @ Beluga-lang/Beluga@963a77f7594703fdf897d5c6ad923fb62ab54f43 ๐","shortMessageHtmlLink":"Deploying to gh-pages from @ 963a77f ๐"}},{"before":"0e99fafc06d538172e5fd2e8127fa487c4cfcd32","after":"963a77f7594703fdf897d5c6ad923fb62ab54f43","ref":"refs/heads/master","pushedAt":"2024-05-08T02:21:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MartyO256","name":"Marc-Antoine Ouimet","path":"/MartyO256","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22966675?s=80&v=4"},"commit":{"message":"Use `timeout` command in `TEST.sh`\n\nThe Github Actions CI pipeline fails on MacOS because `ulimit -t \"10s\"` unexpectedly causes the error `Cputime limit exceeded: 24`.\nThis is likely because of breaking changes with the upgraded MacOS image `12.7.3 -> 14.4.1`.\n\nThe `timeout` command is used instead to ensure the timeout applies to each test case separately.\nThis does increase the reported test runtime since extra sub-processes have to be spawned specifically for that `timeout` command to work.\n\n`coreutils` is now required on MacOS to run `TEST.sh`.\nIt can be installed using `brew install coreutils`.","shortMessageHtmlLink":"Use timeout
command in TEST.sh
"}},{"before":"bc404d7da704675612addc44afa0b59ba94d274f","after":"d7e6d4a0dce369d42182808aa4ad33f0be7a8e5f","ref":"refs/heads/gh-pages","pushedAt":"2024-05-07T02:26:30.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":"Deploying to gh-pages from @ Beluga-lang/Beluga@0e99fafc06d538172e5fd2e8127fa487c4cfcd32 ๐","shortMessageHtmlLink":"Deploying to gh-pages from @ 0e99faf ๐"}},{"before":"8df5506c9d5e4de37ad8b2c5243766960b68241b","after":"0e99fafc06d538172e5fd2e8127fa487c4cfcd32","ref":"refs/heads/master","pushedAt":"2024-05-07T02:18:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MartyO256","name":"Marc-Antoine Ouimet","path":"/MartyO256","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22966675?s=80&v=4"},"commit":{"message":"Fix bug with module entries disambiguation and postponed fixities\n\nThis updates the disambiguation algorithm for module entries to support postponed fixity pragmas (#270).","shortMessageHtmlLink":"Fix bug with module entries disambiguation and postponed fixities"}},{"before":"a3d2ea35168cd5fcbadc348624cf50a8cb0cb4fa","after":"bc404d7da704675612addc44afa0b59ba94d274f","ref":"refs/heads/gh-pages","pushedAt":"2024-03-07T01:49:49.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":"Deploying to gh-pages from @ Beluga-lang/Beluga@8df5506c9d5e4de37ad8b2c5243766960b68241b ๐","shortMessageHtmlLink":"Deploying to gh-pages from @ 8df5506 ๐"}},{"before":"a3e691948a6c25a7c4d3ae3db005a4a8a4587070","after":"8df5506c9d5e4de37ad8b2c5243766960b68241b","ref":"refs/heads/master","pushedAt":"2024-03-07T01:45:19.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"MartyO256","name":"Marc-Antoine Ouimet","path":"/MartyO256","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22966675?s=80&v=4"},"commit":{"message":"Added CP mechanization","shortMessageHtmlLink":"Added CP mechanization"}},{"before":"25c05a20f4a96d68c901e1d37c487f75de490e45","after":"a3d2ea35168cd5fcbadc348624cf50a8cb0cb4fa","ref":"refs/heads/gh-pages","pushedAt":"2024-03-07T01:31:52.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":"Deploying to gh-pages from @ Beluga-lang/Beluga@a3e691948a6c25a7c4d3ae3db005a4a8a4587070 ๐","shortMessageHtmlLink":"Deploying to gh-pages from @ a3e6919 ๐"}},{"before":"2122ea1010236126ac288cd9ead56d7bb92c9df2","after":"a3e691948a6c25a7c4d3ae3db005a4a8a4587070","ref":"refs/heads/master","pushedAt":"2024-03-07T01:23:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MartyO256","name":"Marc-Antoine Ouimet","path":"/MartyO256","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22966675?s=80&v=4"},"commit":{"message":"Handle edge case where the `_` in `\\x._` should be parsed as a wildcard, not an identifier","shortMessageHtmlLink":"Handle edge case where the _
in \\x._
should be parsed as a wildcaโฆ"}},{"before":null,"after":"3f04a0c5d5722433cef20df912d29dc50073e943","ref":"refs/heads/csano/add-cp-mechanization","pushedAt":"2024-03-07T00:34:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"chutasano","name":"Chuta Sano","path":"/chutasano","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7614035?s=80&v=4"},"commit":{"message":"Added CP mechanization","shortMessageHtmlLink":"Added CP mechanization"}},{"before":"9417bcd82baada1521402f7c095f9094ffd44a96","after":"2122ea1010236126ac288cd9ead56d7bb92c9df2","ref":"refs/heads/master","pushedAt":"2024-01-30T03:16:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MartyO256","name":"Marc-Antoine Ouimet","path":"/MartyO256","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22966675?s=80&v=4"},"commit":{"message":"Remove usages of MathJax in examples\n\nThe MathJax CDN on `http://cdn.mathjax.org` was retired in 2017.","shortMessageHtmlLink":"Remove usages of MathJax in examples"}},{"before":"20d4975cec8f9af6ac62b40a79a8168126f03b15","after":"9417bcd82baada1521402f7c095f9094ffd44a96","ref":"refs/heads/master","pushedAt":"2024-01-30T00:52:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MartyO256","name":"Marc-Antoine Ouimet","path":"/MartyO256","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22966675?s=80&v=4"},"commit":{"message":"Update installation instructions","shortMessageHtmlLink":"Update installation instructions"}},{"before":"43a5066c3ebf279b0357afc16574163c0107f219","after":"25c05a20f4a96d68c901e1d37c487f75de490e45","ref":"refs/heads/gh-pages","pushedAt":"2024-01-29T03:39:42.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":"Deploying to gh-pages from @ Beluga-lang/Beluga@20d4975cec8f9af6ac62b40a79a8168126f03b15 ๐","shortMessageHtmlLink":"Deploying to gh-pages from @ 20d4975 ๐"}},{"before":"2bbdbbb8c54e9a2125675a1c7b4cfd0f3290b132","after":"20d4975cec8f9af6ac62b40a79a8168126f03b15","ref":"refs/heads/master","pushedAt":"2024-01-29T03:35:15.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"MartyO256","name":"Marc-Antoine Ouimet","path":"/MartyO256","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22966675?s=80&v=4"},"commit":{"message":"Format literate Beluga examples\n\nThis fixes typos and replaces `gamma` with `ฮ`, `psi` with `ฯ`, `phi` with `ฯ` and `$S` with `ฯ` for HTML pretty-printing.\nOther HTML entities are replaced with their unicode counterparts, such as `λ`, `β` and `Η`.","shortMessageHtmlLink":"Format literate Beluga examples"}},{"before":"35bdd136b81863ab726de31e0aaf66f4051dd33e","after":"43a5066c3ebf279b0357afc16574163c0107f219","ref":"refs/heads/gh-pages","pushedAt":"2024-01-27T15:11:47.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":"Deploying to gh-pages from @ Beluga-lang/Beluga@2bbdbbb8c54e9a2125675a1c7b4cfd0f3290b132 ๐","shortMessageHtmlLink":"Deploying to gh-pages from @ 2bbdbbb ๐"}},{"before":"5b589729fc66f1a326f456a7af34b597724f2a0d","after":null,"ref":"refs/heads/case-studies","pushedAt":"2024-01-27T15:03:51.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"MartyO256","name":"Marc-Antoine Ouimet","path":"/MartyO256","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22966675?s=80&v=4"}},{"before":"38a45e85483b476a83a601d28096c45dc2366bb7","after":"2bbdbbb8c54e9a2125675a1c7b4cfd0f3290b132","ref":"refs/heads/master","pushedAt":"2024-01-27T15:03:37.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"MartyO256","name":"Marc-Antoine Ouimet","path":"/MartyO256","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22966675?s=80&v=4"},"commit":{"message":"Upgrade `actions/checkout@v3` to `actions/checkout@v4`","shortMessageHtmlLink":"Upgrade actions/checkout@v3
to actions/checkout@v4
"}},{"before":"8e17136d577aca5c1bba6a63bc75209879835fb6","after":"5b589729fc66f1a326f456a7af34b597724f2a0d","ref":"refs/heads/case-studies","pushedAt":"2024-01-27T14:44:17.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"MartyO256","name":"Marc-Antoine Ouimet","path":"/MartyO256","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22966675?s=80&v=4"},"commit":{"message":"Rename the placeholder file from `.gitkeep` to `PLACEHOLDER`\n\n`dune` does not recognize `.gitkeep` as a file, so `glob_files_rec ../case-studies/*` would file because the directory `case-studies` appears empty.\nThis `./case-studies/PLACEHOLDER` file may be deleted once a test case is added to the repository.","shortMessageHtmlLink":"Rename the placeholder file from .gitkeep
to PLACEHOLDER
"}},{"before":null,"after":"8e17136d577aca5c1bba6a63bc75209879835fb6","ref":"refs/heads/case-studies","pushedAt":"2024-01-27T03:59:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"MartyO256","name":"Marc-Antoine Ouimet","path":"/MartyO256","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22966675?s=80&v=4"},"commit":{"message":"Add support for case studies as tests\n\nCase studies are tested just like examples, but their results are output in a separate group.\nCase studies are also added as part of the pretty-printer test cases.\nThe file `./case-studies/.gitkeep` can be deleted once case studies are added to the repository.","shortMessageHtmlLink":"Add support for case studies as tests"}},{"before":"7d70b0177d573fa4ca63a1e7777d3c55d9a7f58b","after":"35bdd136b81863ab726de31e0aaf66f4051dd33e","ref":"refs/heads/gh-pages","pushedAt":"2023-12-21T03:41:28.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":"Deploying to gh-pages from @ Beluga-lang/Beluga@38a45e85483b476a83a601d28096c45dc2366bb7 ๐","shortMessageHtmlLink":"Deploying to gh-pages from @ 38a45e8 ๐"}},{"before":"2e24420ec49784d1115e32c3c103c102e66c447f","after":"38a45e85483b476a83a601d28096c45dc2366bb7","ref":"refs/heads/master","pushedAt":"2023-12-21T03:33:30.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"MartyO256","name":"Marc-Antoine Ouimet","path":"/MartyO256","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22966675?s=80&v=4"},"commit":{"message":"Rename \"scope\" operations to \"frame\" operations\n\nA frame is a lexical region of an AST wherein variable declarations and references can be made.\nA scope is a frame in which name resolution is uniform, meaning that references are resolved to the same declaration site irrespective of the AST node in the scope.\n\nThe current implementation for name resolution uses frames, not scopes.","shortMessageHtmlLink":"Rename \"scope\" operations to \"frame\" operations"}},{"before":"6f33dd2568b62a9c3838df18e150fb2a7f348b08","after":"7d70b0177d573fa4ca63a1e7777d3c55d9a7f58b","ref":"refs/heads/gh-pages","pushedAt":"2023-12-05T02:50:09.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":"Deploying to gh-pages from @ Beluga-lang/Beluga@2e24420ec49784d1115e32c3c103c102e66c447f ๐","shortMessageHtmlLink":"Deploying to gh-pages from @ 2e24420 ๐"}},{"before":"e5adcb930ccea45eae84bb245a0e9f5adec60cd7","after":"2e24420ec49784d1115e32c3c103c102e66c447f","ref":"refs/heads/master","pushedAt":"2023-12-05T02:41:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"MartyO256","name":"Marc-Antoine Ouimet","path":"/MartyO256","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22966675?s=80&v=4"},"commit":{"message":"Flush the output buffer on every call to `Chatter.print`\n\nThis ensures that logged messages during the signature loading procedure are printed when they are emitted.\nBefore this change, the messages would only appear after signature reconstruction was completed.","shortMessageHtmlLink":"Flush the output buffer on every call to Chatter.print
"}},{"before":"3cd82ba195cdc71d9f4d6d89522c4033e4c105cb","after":"6f33dd2568b62a9c3838df18e150fb2a7f348b08","ref":"refs/heads/gh-pages","pushedAt":"2023-11-06T19:07:38.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":"Deploying to gh-pages from @ Beluga-lang/Beluga@e5adcb930ccea45eae84bb245a0e9f5adec60cd7 ๐","shortMessageHtmlLink":"Deploying to gh-pages from @ e5adcb9 ๐"}},{"before":"fbcc898a9adfc67e185bc1de46dece733e8ecd8f","after":"e5adcb930ccea45eae84bb245a0e9f5adec60cd7","ref":"refs/heads/master","pushedAt":"2023-11-06T18:56:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MartyO256","name":"Marc-Antoine Ouimet","path":"/MartyO256","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22966675?s=80&v=4"},"commit":{"message":"Only add the latest bindings in `Binding_tree.add_all`\n\nWith `Hashtabl.{iter,fold}`, bindings are iterated over in reverse order of addition.\nThis means that `Identifier.Hashtbl.iter (fun identifier entry -> Identifier.Hashtbl.add t1 identifier entry) t2` is such that the oldest binding for an identifier is added last.\n\nThis explains a bug with opening modules, whereby if a module defines overloaded constants, then the first definition is brought forward in scope as opposed to the last definition.\nThe fix is simlar to what is done for binding tree snapshots.","shortMessageHtmlLink":"Only add the latest bindings in Binding_tree.add_all
"}},{"before":"a36785b2f6cb484ab36cc544443a1968165d9bbe","after":"fbcc898a9adfc67e185bc1de46dece733e8ecd8f","ref":"refs/heads/master","pushedAt":"2023-10-25T15:59:53.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"MartyO256","name":"Marc-Antoine Ouimet","path":"/MartyO256","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22966675?s=80&v=4"},"commit":{"message":"Add Harpoon test for postponed fixity pragmas","shortMessageHtmlLink":"Add Harpoon test for postponed fixity pragmas"}},{"before":"62c7d1eb3e3bdd6ab6b20a218314175595e41bcf","after":"3cd82ba195cdc71d9f4d6d89522c4033e4c105cb","ref":"refs/heads/gh-pages","pushedAt":"2023-10-24T20:39:48.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":"Deploying to gh-pages from @ Beluga-lang/Beluga@a36785b2f6cb484ab36cc544443a1968165d9bbe ๐","shortMessageHtmlLink":"Deploying to gh-pages from @ a36785b ๐"}},{"before":"13fdfe49c3f76d7170b3c32eb2b104da5956cdb0","after":"a36785b2f6cb484ab36cc544443a1968165d9bbe","ref":"refs/heads/master","pushedAt":"2023-10-24T20:34:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MartyO256","name":"Marc-Antoine Ouimet","path":"/MartyO256","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22966675?s=80&v=4"},"commit":{"message":"Handle postponed fixity pragmas in Harpoon sessions\n\nPR #270 did not include the necessary changes to support postponed fixity pragmas in Harpoon sessions.\nWhen a reconstructed Beluga signature is revisited to create snapshots of the disambiguation state, Harpoon would raise an unbound identifier exception for postponed fixity pragmas.","shortMessageHtmlLink":"Handle postponed fixity pragmas in Harpoon sessions"}},{"before":"c3cb66ec2642090c923753143e00e76e11ce036c","after":"62c7d1eb3e3bdd6ab6b20a218314175595e41bcf","ref":"refs/heads/gh-pages","pushedAt":"2023-10-20T18:35:00.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":"Deploying to gh-pages from @ Beluga-lang/Beluga@13fdfe49c3f76d7170b3c32eb2b104da5956cdb0 ๐","shortMessageHtmlLink":"Deploying to gh-pages from @ 13fdfe4 ๐"}},{"before":"21c2f0551e916246f7ee1a7ab2206d02939e0cd5","after":"13fdfe49c3f76d7170b3c32eb2b104da5956cdb0","ref":"refs/heads/master","pushedAt":"2023-10-20T18:21:55.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"MartyO256","name":"Marc-Antoine Ouimet","path":"/MartyO256","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22966675?s=80&v=4"},"commit":{"message":"Add missing breaking change with LF type and term constant declarations","shortMessageHtmlLink":"Add missing breaking change with LF type and term constant declarations"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAERCyTIgA","startCursor":null,"endCursor":null}},"title":"Activity ยท Beluga-lang/Beluga"}