Branches · loutr / Proost · GitLab

Active branches

110-unhandled-lsp-requests-declared-as-capabilities-in-tilleul

35ea61f0 · fix(tilleul): change tilleul initialization to indicate that no capability is currentlly handled · Nov 25, 2023
!103
Download source code

zip tar.gz tar.bz2 tar
Download artifacts

Previous Artifacts

tests
109-feat-tilleul-add-vscode-support

d48aabb6 · feat(tilleul): add LICENSE and README for VSCode client · Nov 24, 2023
!102
Download source code

zip tar.gz tar.bz2 tar
Download artifacts

Previous Artifacts

tests
81-bug-parser-no-error-when-defining-a-declaration-with-the-same-name-as-a-definition

df9b7bbf · fix(proost): return a `BoundVariable` error when defining a declaration and a... · Nov 12, 2023
!101
Download source code

zip tar.gz tar.bz2 tar
Download artifacts

Previous Artifacts

tests
108-opaque-traces

38de28e7 · refactor: replace Traces slices with an opaque type owned by the kernel.... · Nov 10, 2023

Download source code

zip tar.gz tar.bz2 tar
99-add-let-binder

acc2bf0d · fix(elaboration): rewrite `apply_trace` to catch `LetIn` errors · Nov 10, 2023
!91
Download source code

zip tar.gz tar.bz2 tar
Download artifacts

Previous Artifacts

tests

Stale branches

1-dedicated-cargo-files

1c9b1944 · chore(cargo): Add cargo workspace · Sep 22, 2022

!1

Download source code

zip tar.gz tar.bz2 tar
4-build-dockerfile-from-nix

59d5271a · Apply 1 suggestion(s) to 1 file(s) · Sep 29, 2022

!6

Download source code

zip tar.gz tar.bz2 tar
7-informative-error-messages-for-pest-and-free-variables

53bfa411 · fix(ci): Fix docs publish + Improve dockerTools use · Sep 30, 2022

Download source code

zip tar.gz tar.bz2 tar
3-pest-parser

7cebda55 · fix(parser): Fix minor issues (impl PartialEq for tests) · Oct 06, 2022

!4

Download source code

zip tar.gz tar.bz2 tar
5-add-proost-program-cli

ec91f150 · feat(parser): Add ClassicTerm with variables for easier user input · Oct 06, 2022

Download source code

zip tar.gz tar.bz2 tar

Show more stale branches