{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":827420250,"defaultBranch":"master","name":"mazeppa","ownerLogin":"mazeppa-dev","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-07-11T16:05:54.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/175338587?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1723795697.0","currentOid":""},"activityList":{"items":[{"before":"de77d1aea3301b9fe39f339f8f13adf316e294d8","after":"b48f9e8318ba7a85bb7fd24ee02b07186326600d","ref":"refs/heads/master","pushedAt":"2024-09-14T21:09:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Refactor `scripts/install.sh`","shortMessageHtmlLink":"Refactor <code>scripts/install.sh</code>"}},{"before":"54b5d3f162479f0ea9f50565996a41942288e985","after":"de77d1aea3301b9fe39f339f8f13adf316e294d8","ref":"refs/heads/master","pushedAt":"2024-09-14T18:17:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Fix an error message in `Symbol.op_kind`","shortMessageHtmlLink":"Fix an error message in <code>Symbol.op_kind</code>"}},{"before":"17a064f2417bdc604b1794968cecdb13f82e5eb9","after":"54b5d3f162479f0ea9f50565996a41942288e985","ref":"refs/heads/master","pushedAt":"2024-09-14T17:45:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Fix a typo","shortMessageHtmlLink":"Fix a typo"}},{"before":"5462b0273444e0f438ffc08f26449e1f4fd72a47","after":"17a064f2417bdc604b1794968cecdb13f82e5eb9","ref":"refs/heads/master","pushedAt":"2024-08-16T07:59:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Release v0.3.0","shortMessageHtmlLink":"Release v0.3.0"}},{"before":"ebeed2565654581f38f57e8e800df9a9a3105103","after":"5462b0273444e0f438ffc08f26449e1f4fd72a47","ref":"refs/heads/master","pushedAt":"2024-08-13T07:05:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Use `Weak.Make` for hash-consing function bodies\n\nRelated to https://github.com/mazeppa-dev/mazeppa/issues/17.","shortMessageHtmlLink":"Use <code>Weak.Make</code> for hash-consing function bodies"}},{"before":"feab8c7156cb586b83388079590bdeb02fcfcb2f","after":"ebeed2565654581f38f57e8e800df9a9a3105103","ref":"refs/heads/master","pushedAt":"2024-08-12T17:28:38.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Don't raise an exception for built-in panics\n\nCloses https://github.com/mazeppa-dev/mazeppa/issues/22.","shortMessageHtmlLink":"Don't raise an exception for built-in panics"}},{"before":"cad5eb877893a0774e4631649b55adf8186c3de3","after":"feab8c7156cb586b83388079590bdeb02fcfcb2f","ref":"refs/heads/master","pushedAt":"2024-08-12T17:05:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Use verbatim style in error messages (`Simplifier`)","shortMessageHtmlLink":"Use verbatim style in error messages (<code>Simplifier</code>)"}},{"before":"8098d18f1250acb61dfe6104d6c34bb0fd3432c4","after":"cad5eb877893a0774e4631649b55adf8186c3de3","ref":"refs/heads/master","pushedAt":"2024-08-12T16:41:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Refactoring here and there","shortMessageHtmlLink":"Refactoring here and there"}},{"before":"2cc141020b282595df2ab9e4d8e2115cd8810ef8","after":"8098d18f1250acb61dfe6104d6c34bb0fd3432c4","ref":"refs/heads/master","pushedAt":"2024-08-12T07:21:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Clean up the `Term` module","shortMessageHtmlLink":"Clean up the <code>Term</code> module"}},{"before":"44e42fbfd527ba07d21e5fe2a4d33526e6434b9d","after":"2cc141020b282595df2ab9e4d8e2115cd8810ef8","ref":"refs/heads/master","pushedAt":"2024-08-11T16:42:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Reword a few comments","shortMessageHtmlLink":"Reword a few comments"}},{"before":"f2eb3f58eaf30b1572b88bf70400801443e60426","after":"44e42fbfd527ba07d21e5fe2a4d33526e6434b9d","ref":"refs/heads/master","pushedAt":"2024-08-11T16:34:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Create global caches with 16384 (2^14) entries","shortMessageHtmlLink":"Create global caches with 16384 (2^14) entries"}},{"before":"a4dbecb6201640e7b3ac36eb6f21faebc38e195f","after":"f2eb3f58eaf30b1572b88bf70400801443e60426","ref":"refs/heads/master","pushedAt":"2024-08-11T16:16:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Revert \"Use `==` for comparing arguments instead of `Term.equal`\"\n\nThis reverts commit a4dbecb6201640e7b3ac36eb6f21faebc38e195f.","shortMessageHtmlLink":"Revert \"Use <code>==</code> for comparing arguments instead of <code>Term.equal</code>\""}},{"before":"041f5148949203a0e0a907daf5331d562ce2a9c2","after":"a4dbecb6201640e7b3ac36eb6f21faebc38e195f","ref":"refs/heads/master","pushedAt":"2024-08-11T15:49:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Use `==` for comparing arguments instead of `Term.equal`","shortMessageHtmlLink":"Use <code>==</code> for comparing arguments instead of <code>Term.equal</code>"}},{"before":"e9ffab9910eb085d966c537eb8acb3b0b81156e9","after":"041f5148949203a0e0a907daf5331d562ce2a9c2","ref":"refs/heads/master","pushedAt":"2024-08-11T15:06:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Optimize structural equality of terms using `==`\n\nThis is slightly better in benchmarks because actually a lot of terms are physically equal when tested.","shortMessageHtmlLink":"Optimize structural equality of terms using <code>==</code>"}},{"before":"11b601898bd9127c1c505e5aed1f658f07011148","after":"e9ffab9910eb085d966c537eb8acb3b0b81156e9","ref":"refs/heads/master","pushedAt":"2024-08-11T14:39:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Describe the effect of hash consing","shortMessageHtmlLink":"Describe the effect of hash consing"}},{"before":"c3b5aeab537e5298401f0358249f4df00a50a297","after":"11b601898bd9127c1c505e5aed1f658f07011148","ref":"refs/heads/master","pushedAt":"2024-08-11T13:57:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Perform hash consing during body simplification\n\nRelated to https://github.com/mazeppa-dev/mazeppa/issues/17 and https://github.com/mazeppa-dev/mazeppa/issues/20.","shortMessageHtmlLink":"Perform hash consing during body simplification"}},{"before":"f365b73525c00852e2aa9c60218a23c0b37a931b","after":"c3b5aeab537e5298401f0358249f4df00a50a297","ref":"refs/heads/master","pushedAt":"2024-08-11T09:23:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Explain how to build Mazeppa using Flambda","shortMessageHtmlLink":"Explain how to build Mazeppa using Flambda"}},{"before":"6315018ab839747b64d9ad6f7a85ed9a649fb33d","after":"f365b73525c00852e2aa9c60218a23c0b37a931b","ref":"refs/heads/master","pushedAt":"2024-08-10T20:09:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Link the META workshops in the FAQ","shortMessageHtmlLink":"Link the META workshops in the FAQ"}},{"before":"2090d0bb310580fe017e667ae134c2c8401bcc2b","after":"6315018ab839747b64d9ad6f7a85ed9a649fb33d","ref":"refs/heads/master","pushedAt":"2024-08-10T19:57:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Fix a documentation comment in `lib/mazeppa.mli`","shortMessageHtmlLink":"Fix a documentation comment in <code>lib/mazeppa.mli</code>"}},{"before":"23b1b34a7fac79b9f6778580ce5e80f6eb317fae","after":"2090d0bb310580fe017e667ae134c2c8401bcc2b","ref":"refs/heads/master","pushedAt":"2024-08-10T19:46:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Rename `--print-gc-stat` to `--print-gc-stats`","shortMessageHtmlLink":"Rename <code>--print-gc-stat</code> to <code>--print-gc-stats</code>"}},{"before":"092da3e9133600e05001058985347b50197ec0bb","after":"23b1b34a7fac79b9f6778580ce5e80f6eb317fae","ref":"refs/heads/master","pushedAt":"2024-08-10T19:08:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Expose the `check` function in the public API","shortMessageHtmlLink":"Expose the <code>check</code> function in the public API"}},{"before":"e63d7a2cf8d4127fb1cfea8628270698f14d1cb5","after":"092da3e9133600e05001058985347b50197ec0bb","ref":"refs/heads/master","pushedAt":"2024-08-10T18:39:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Implement `--print-gc-stat` for `eval` too\n\nThis way, we can benchmark memory usage of both supercompilation and evaluation.","shortMessageHtmlLink":"Implement <code>--print-gc-stat</code> for <code>eval</code> too"}},{"before":"918b929120cc5076961f90bfb71c5496c251bd5c","after":"e63d7a2cf8d4127fb1cfea8628270698f14d1cb5","ref":"refs/heads/master","pushedAt":"2024-08-10T17:02:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Generate N-length lists in the self-interpreter","shortMessageHtmlLink":"Generate N-length lists in the self-interpreter"}},{"before":"ace1bef39402941d61d27812bf7b37599e99e36e","after":"918b929120cc5076961f90bfb71c5496c251bd5c","ref":"refs/heads/master","pushedAt":"2024-08-10T16:51:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Implement the `--print-gc-stat` flag for `run`","shortMessageHtmlLink":"Implement the <code>--print-gc-stat</code> flag for <code>run</code>"}},{"before":"1a04272bfcc766e94aa3701c7ba9033e5a4b506f","after":"ace1bef39402941d61d27812bf7b37599e99e36e","ref":"refs/heads/master","pushedAt":"2024-08-10T08:14:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Remove `Raw_term.is_immediate` from the public API","shortMessageHtmlLink":"Remove <code>Raw_term.is_immediate</code> from the public API"}},{"before":"462f1c9198e3a533aa0ec544ff7cce7e0abd64fe","after":"1a04272bfcc766e94aa3701c7ba9033e5a4b506f","ref":"refs/heads/master","pushedAt":"2024-08-10T07:12:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Hide the middles of long reduction paths\n\nCloses https://github.com/mazeppa-dev/mazeppa/issues/21.","shortMessageHtmlLink":"Hide the middles of long reduction paths"}},{"before":"fa10a12ee15924a52b59f424b9928d6debbe4455","after":"462f1c9198e3a533aa0ec544ff7cce7e0abd64fe","ref":"refs/heads/master","pushedAt":"2024-08-09T19:53:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Changelog rewording","shortMessageHtmlLink":"Changelog rewording"}},{"before":"e13c8862ac9d4146da0cef835c48027417e311bf","after":"fa10a12ee15924a52b59f424b9928d6debbe4455","ref":"refs/heads/master","pushedAt":"2024-08-09T19:49:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Refactor `Simplifier.handle_term`","shortMessageHtmlLink":"Refactor <code>Simplifier.handle_term</code>"}},{"before":"d9fa047d683496dc1ed97ab19106ac8a5c5fa63b","after":"e13c8862ac9d4146da0cef835c48027417e311bf","ref":"refs/heads/master","pushedAt":"2024-08-09T15:25:35.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Refactor let-elimination in the residualizer","shortMessageHtmlLink":"Refactor let-elimination in the residualizer"}},{"before":"41f6262ebda73a1d05f06746445af81f8deff41c","after":"d9fa047d683496dc1ed97ab19106ac8a5c5fa63b","ref":"refs/heads/master","pushedAt":"2024-08-09T15:10:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hirrolot","name":"Tima Kinsart","path":"/Hirrolot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40539574?s=80&v=4"},"commit":{"message":"Write a note about CPU-bound computations","shortMessageHtmlLink":"Write a note about CPU-bound computations"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xNFQyMTowOToxMS4wMDAwMDBazwAAAAS2Z2Tx","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xNFQyMTowOToxMS4wMDAwMDBazwAAAAS2Z2Tx","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0wOVQxNToxMDo1NS4wMDAwMDBazwAAAASWZF2M"}},"title":"Activity · mazeppa-dev/mazeppa"}