{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":449184,"defaultBranch":"master","name":"abella","ownerLogin":"abella-prover","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2009-12-25T23:36:20.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2651779?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1712659260.0","currentOid":""},"activityList":{"items":[{"before":"ab25f2e37d0621ddaa5cc0372877e276021ddc06","after":"f931011d4da6d654f846aa9dc71fe00788196961","ref":"refs/heads/ipfs","pushedAt":"2024-05-09T08:13:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"innofarah","name":"Farah Al Wardani","path":"/innofarah","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44340343?s=80&v=4"},"commit":{"message":"fix: dependencies are now generated properly for the walkthrough\n- the `apply .. to ..` arguments are now added to the damf sequent's dependencies\n- the X in `apply X ..` was being repeated in the sequent's dependencies if used many times --> should be included once","shortMessageHtmlLink":"fix: dependencies are now generated properly for the walkthrough"}},{"before":"c7285e01b5f5c5823cedb9b4da6a26b0424bc5d3","after":"ab25f2e37d0621ddaa5cc0372877e276021ddc06","ref":"refs/heads/ipfs","pushedAt":"2024-05-08T14:34:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"innofarah","name":"Farah Al Wardani","path":"/innofarah","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44340343?s=80&v=4"},"commit":{"message":"fix: update abella damf tool and lang cids to be consistent with the updated formats\n- (`content` as directly included in the language or tool object's json rather than as an unnecessary separate cid)","shortMessageHtmlLink":"fix: update abella damf tool and lang cids to be consistent with the …"}},{"before":"fd43c469279dd2ff69b49ed091e172274e44fc67","after":"783ff606a31576a611f52ce3ba125f9c576dc83d","ref":"refs/heads/master","pushedAt":"2024-04-10T12:18:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"chaudhuri","name":"Kaustuv Chaudhuri","path":"/chaudhuri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/573928?s=80&v=4"},"commit":{"message":"fix: perform replacements simultaneously in Import ... with\n\nFixes #153","shortMessageHtmlLink":"fix: perform replacements simultaneously in Import ... with"}},{"before":"75bf1bb93ab74def0e4efb52ee1a023c22241672","after":"fd43c469279dd2ff69b49ed091e172274e44fc67","ref":"refs/heads/master","pushedAt":"2024-04-09T10:54:28.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"chaudhuri","name":"Kaustuv Chaudhuri","path":"/chaudhuri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/573928?s=80&v=4"},"commit":{"message":"chore: resume 2.1.0-dev","shortMessageHtmlLink":"chore: resume 2.1.0-dev"}},{"before":"a341484f2465a8cad663d9c375e98be754e6f476","after":"75bf1bb93ab74def0e4efb52ee1a023c22241672","ref":"refs/heads/master","pushedAt":"2024-04-09T10:53:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"chaudhuri","name":"Kaustuv Chaudhuri","path":"/chaudhuri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/573928?s=80&v=4"},"commit":{"message":"chore: resume 2.1.0-dev","shortMessageHtmlLink":"chore: resume 2.1.0-dev"}},{"before":"9f93a6bc242c05423a811d099ce4dd9a68a1c024","after":"a341484f2465a8cad663d9c375e98be754e6f476","ref":"refs/heads/master","pushedAt":"2024-04-09T10:40:17.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"chaudhuri","name":"Kaustuv Chaudhuri","path":"/chaudhuri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/573928?s=80&v=4"},"commit":{"message":"Release: 2.0.8.2 (byte-compile for ppc32 and ppc64)","shortMessageHtmlLink":"Release: 2.0.8.2 (byte-compile for ppc32 and ppc64)"}},{"before":"93532affc6e9ce7eeace1232d9c43e2bd1842b79","after":"9f93a6bc242c05423a811d099ce4dd9a68a1c024","ref":"refs/heads/master","pushedAt":"2024-04-05T11:12:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"chaudhuri","name":"Kaustuv Chaudhuri","path":"/chaudhuri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/573928?s=80&v=4"},"commit":{"message":"fix: read $HOME correctly and default to empty","shortMessageHtmlLink":"fix: read $HOME correctly and default to empty"}},{"before":"4268f4808809bfcbf9051257cfc91352940d3296","after":"93532affc6e9ce7eeace1232d9c43e2bd1842b79","ref":"refs/heads/master","pushedAt":"2024-04-05T11:06:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"chaudhuri","name":"Kaustuv Chaudhuri","path":"/chaudhuri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/573928?s=80&v=4"},"commit":{"message":"chore: rm \"xdg\" dependency, set min Dune version to 3.7\n\nRelated to #154","shortMessageHtmlLink":"chore: rm \"xdg\" dependency, set min Dune version to 3.7"}},{"before":"8c86b5ae0473f957e06de5cc6d003b6ce66753c1","after":"4268f4808809bfcbf9051257cfc91352940d3296","ref":"refs/heads/master","pushedAt":"2024-04-05T11:04:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"chaudhuri","name":"Kaustuv Chaudhuri","path":"/chaudhuri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/573928?s=80&v=4"},"commit":{"message":"chore: rm \"xdg\" dependency, set min Dune version to 3.7\n\nRelated to #153","shortMessageHtmlLink":"chore: rm \"xdg\" dependency, set min Dune version to 3.7"}},{"before":"94afb7d4b1319500ce82e6bb0a617ecfe77f83df","after":"8c86b5ae0473f957e06de5cc6d003b6ce66753c1","ref":"refs/heads/master","pushedAt":"2024-01-11T11:52:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"chaudhuri","name":"Kaustuv Chaudhuri","path":"/chaudhuri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/573928?s=80&v=4"},"commit":{"message":"SOUNDNESS BUG: Import ... with requires distinct replacements\n\nFixes #152.","shortMessageHtmlLink":"SOUNDNESS BUG: Import ... with requires distinct replacements"}},{"before":"0f4b96406bf984ca45f3053b5c0824c6385c1fac","after":"c7285e01b5f5c5823cedb9b4da6a26b0424bc5d3","ref":"refs/heads/ipfs","pushedAt":"2023-11-17T09:28:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"chaudhuri","name":"Kaustuv Chaudhuri","path":"/chaudhuri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/573928?s=80&v=4"},"commit":{"message":"fix: separate out `compile` from `damf_register`\n\nUse only `damf_register` for loading .thc files","shortMessageHtmlLink":"fix: separate out <code>compile</code> from <code>damf_register</code>"}},{"before":"0c5a1faf45bb627a1a5a86ae588a13ec2791ed4e","after":"94afb7d4b1319500ce82e6bb0a617ecfe77f83df","ref":"refs/heads/master","pushedAt":"2023-11-16T14:11:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"chaudhuri","name":"Kaustuv Chaudhuri","path":"/chaudhuri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/573928?s=80&v=4"},"commit":{"message":"fix: redirect raw print functions to `Output.msg_printf` etc.","shortMessageHtmlLink":"fix: redirect raw print functions to <code>Output.msg_printf</code> etc."}},{"before":"11fb44eb808665ed8a5ae95ff2205edb0c11edb0","after":"0f4b96406bf984ca45f3053b5c0824c6385c1fac","ref":"refs/heads/ipfs","pushedAt":"2023-11-16T12:31:44.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"chaudhuri","name":"Kaustuv Chaudhuri","path":"/chaudhuri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/573928?s=80&v=4"},"commit":{"message":"fix: locally imported lemmas not being tracked.\nif a theorem uses a lemma that was locally imported (not previously existing as damf assertion, neither in the same file; but imported from a local file), this lemma was not being tracked as a damf dependency in the published theorem of the main file","shortMessageHtmlLink":"fix: locally imported lemmas not being tracked."}},{"before":"ceee13822001137898ca5de9c76a315da3d1f0e3","after":"0c5a1faf45bb627a1a5a86ae588a13ec2791ed4e","ref":"refs/heads/master","pushedAt":"2023-11-15T15:19:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"chaudhuri","name":"Kaustuv Chaudhuri","path":"/chaudhuri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/573928?s=80&v=4"},"commit":{"message":"fix: Dune lang to 3.7; remove ocaml-crunch dep","shortMessageHtmlLink":"fix: Dune lang to 3.7; remove ocaml-crunch dep"}},{"before":"7d1e05d8ba1ff4f14d7261e286a3646ea5de147f","after":"ceee13822001137898ca5de9c76a315da3d1f0e3","ref":"refs/heads/master","pushedAt":"2023-11-10T09:49:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"chaudhuri","name":"Kaustuv Chaudhuri","path":"/chaudhuri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/573928?s=80&v=4"},"commit":{"message":"fix: `make all-release` no longer tries to rebuild JS","shortMessageHtmlLink":"fix: <code>make all-release</code> no longer tries to rebuild JS"}},{"before":"6889f4556a3502229da304d57c767bdf9bd580ae","after":"7d1e05d8ba1ff4f14d7261e286a3646ea5de147f","ref":"refs/heads/master","pushedAt":"2023-11-06T13:18:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"chaudhuri","name":"Kaustuv Chaudhuri","path":"/chaudhuri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/573928?s=80&v=4"},"commit":{"message":"fix: HTTP 200 should not be treated as an error on cache miss","shortMessageHtmlLink":"fix: HTTP 200 should not be treated as an error on cache miss"}},{"before":"74f50dc978d6c23ae8f09f93c903e23510553c84","after":"6889f4556a3502229da304d57c767bdf9bd580ae","ref":"refs/heads/master","pushedAt":"2023-11-06T13:05:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"chaudhuri","name":"Kaustuv Chaudhuri","path":"/chaudhuri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/573928?s=80&v=4"},"commit":{"message":"feat: add support for `ipfs:` paths\n\nTodo: determine how to IPFS-ify .sig/.mod pairs","shortMessageHtmlLink":"feat: add support for <code>ipfs:</code> paths"}},{"before":"a6cfeb36b4c0e499d7579d4c003f7ffbb4269e9b","after":"74f50dc978d6c23ae8f09f93c903e23510553c84","ref":"refs/heads/master","pushedAt":"2023-11-06T12:28:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"chaudhuri","name":"Kaustuv Chaudhuri","path":"/chaudhuri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/573928?s=80&v=4"},"commit":{"message":"feat: proper tracing framework (`Output.trace`)\n\nThis is now tied to the `--verbosity` command line argument.\n\nAlso uses `Curl` directly instead of `Ezcurl`","shortMessageHtmlLink":"feat: proper tracing framework (<code>Output.trace</code>)"}},{"before":"e8bcebd0005724be2203105658eaaac84701fef7","after":"a6cfeb36b4c0e499d7579d4c003f7ffbb4269e9b","ref":"refs/heads/master","pushedAt":"2023-11-03T21:45:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"chaudhuri","name":"Kaustuv Chaudhuri","path":"/chaudhuri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/573928?s=80&v=4"},"commit":{"message":"fix: rm one `@tailcall` not supported in OCaml 4.12.x","shortMessageHtmlLink":"fix: rm one <code>@tailcall</code> not supported in OCaml 4.12.x"}},{"before":"a70680517a69afe936e2cccaaf193552505ac7a0","after":"e8bcebd0005724be2203105658eaaac84701fef7","ref":"refs/heads/master","pushedAt":"2023-11-03T21:32:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"chaudhuri","name":"Kaustuv Chaudhuri","path":"/chaudhuri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/573928?s=80&v=4"},"commit":{"message":"feat: add support for loading files over the internet\n\nFiles are cached, and compiled version of remote files are\nsaved in the cache. The cache directory is `$XDG_CACHE_HOME/abella`\n(fallback `$HOME/.cache/abella`).","shortMessageHtmlLink":"feat: add support for loading files over the internet"}},{"before":"75d8853b3d478ea8493285d626ae2a2d35f8f95b","after":"a70680517a69afe936e2cccaaf193552505ac7a0","ref":"refs/heads/master","pushedAt":"2023-11-02T03:52:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"chaudhuri","name":"Kaustuv Chaudhuri","path":"/chaudhuri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/573928?s=80&v=4"},"commit":{"message":"chore: align command lines for `abella_dep` and `abella_doc`\n\nAlso fixes the grammar for the `BUGS` section on the manpages.","shortMessageHtmlLink":"chore: align command lines for <code>abella_dep</code> and <code>abella_doc</code>"}},{"before":"ddfb615d501ad660510a4fe512b344f46cda6317","after":"75d8853b3d478ea8493285d626ae2a2d35f8f95b","ref":"refs/heads/master","pushedAt":"2023-11-01T13:31:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"chaudhuri","name":"Kaustuv Chaudhuri","path":"/chaudhuri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/573928?s=80&v=4"},"commit":{"message":"chore: starting version 2.1.0-dev","shortMessageHtmlLink":"chore: starting version 2.1.0-dev"}},{"before":"a7577c45962642b3c419e4c40c83508724644135","after":"ddfb615d501ad660510a4fe512b344f46cda6317","ref":"refs/heads/master","pushedAt":"2023-10-31T23:04:49.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"chaudhuri","name":"Kaustuv Chaudhuri","path":"/chaudhuri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/573928?s=80&v=4"},"commit":{"message":"release: Version 2.0.8\n\nAlso:\n\n* fixes some minor issues with parsing `--flags`\n* builds `src/abell_doc_dist.ml` using Makefile instead of dune\n  - this removes a dependency on npm, which opam-ci cannot run","shortMessageHtmlLink":"release: Version 2.0.8"}},{"before":"0e5a67104fd34571d8de59f5b8501bf684bb6b92","after":"a7577c45962642b3c419e4c40c83508724644135","ref":"refs/heads/master","pushedAt":"2023-10-31T22:56:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"chaudhuri","name":"Kaustuv Chaudhuri","path":"/chaudhuri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/573928?s=80&v=4"},"commit":{"message":"release: Version 2.0.8\n\nAlso:\n\n* fixes some minor issues with parsing `--flags`\n* builds `src/abell_doc_dist.ml` using Makefile instead of dune\n  - this removes a dependency on npm, which opam-ci cannot run","shortMessageHtmlLink":"release: Version 2.0.8"}},{"before":"9522664888532e4933d37bac5de90bafc61cef71","after":"0e5a67104fd34571d8de59f5b8501bf684bb6b92","ref":"refs/heads/master","pushedAt":"2023-10-31T22:48:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"chaudhuri","name":"Kaustuv Chaudhuri","path":"/chaudhuri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/573928?s=80&v=4"},"commit":{"message":"release: Version 2.0.8\n\nAlso:\n\n* fixes some minor issues with parsing `--flags`\n* builds `src/abell_doc_dist.ml` using Makefile instead of dune\n  - this removes a dependency on npm, which opam-ci cannot run","shortMessageHtmlLink":"release: Version 2.0.8"}},{"before":"44c53f31268147e05fa706be464e7858856b2011","after":"9522664888532e4933d37bac5de90bafc61cef71","ref":"refs/heads/master","pushedAt":"2023-10-30T16:55:13.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"chaudhuri","name":"Kaustuv Chaudhuri","path":"/chaudhuri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/573928?s=80&v=4"},"commit":{"message":"feat: move command tracking to front-end; make messages functional\n\nThis removes the `last_command_id` hack from OCaml `Output` to\n`ocaml_doc.ts`.","shortMessageHtmlLink":"feat: move command tracking to front-end; make messages functional"}},{"before":"e252214d6e9eea64ee6067df6a7d6032444255c3","after":null,"ref":"refs/tags/v2.0.8","pushedAt":"2023-10-30T16:52:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"chaudhuri","name":"Kaustuv Chaudhuri","path":"/chaudhuri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/573928?s=80&v=4"}},{"before":"0c9edfc4dee308871b34b8c1047e8300b75e0689","after":"44c53f31268147e05fa706be464e7858856b2011","ref":"refs/heads/master","pushedAt":"2023-10-30T15:59:05.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"chaudhuri","name":"Kaustuv Chaudhuri","path":"/chaudhuri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/573928?s=80&v=4"},"commit":{"message":"release: Version 2.0.8\n\nAlso fixes some minor issues with parsing `--flags`","shortMessageHtmlLink":"release: Version 2.0.8"}},{"before":"46084de6ac8ba3615a3ae9747de30d5c7e75e431","after":null,"ref":"refs/tags/v2.0.8","pushedAt":"2023-10-30T14:31:18.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"chaudhuri","name":"Kaustuv Chaudhuri","path":"/chaudhuri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/573928?s=80&v=4"}},{"before":"9522664888532e4933d37bac5de90bafc61cef71","after":"0c9edfc4dee308871b34b8c1047e8300b75e0689","ref":"refs/heads/master","pushedAt":"2023-10-30T14:25:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"chaudhuri","name":"Kaustuv Chaudhuri","path":"/chaudhuri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/573928?s=80&v=4"},"commit":{"message":"release: Version 2.0.8","shortMessageHtmlLink":"release: Version 2.0.8"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAERWQvuAA","startCursor":null,"endCursor":null}},"title":"Activity · abella-prover/abella"}