Branches · loutr / Proost · GitLab

Snippets Groups Projects

99-add-let-binder

bd1bb11f · fix(elaboration): rewrite `apply_trace` to catch `LetIn` errors · 11 months ago

0

3
!91
zip
tar.gz
tar.bz2
tar

coverage
Compare
main default protected

9fcf2ac9 · Resolve "Improve CI by using Nix" ✨️ · 11 months ago
zip
tar.gz
tar.bz2
tar

tests
108-opaque-traces

43fcf46b · refactor: replace Traces slices with an opaque type owned by the kernel.... · 11 months ago

1

4
zip
tar.gz
tar.bz2
tar
Compare
115-improve-ci-by-using-nix

d9d5e208 · fix(coverage): Generate format directly with one Nix invocation · 11 months ago

1

13
!105
zip
tar.gz
tar.bz2
tar

coverage
Compare
106-logsem-seminar-talk

e5ce34f7 · feat(docs): Add LogSem seminar slides · 11 months ago

2

1
!98
zip
tar.gz
tar.bz2
tar

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

9ac18663 · chore(tilleul): fix issues for the merge request · 11 months ago

2

7
!102
zip
tar.gz
tar.bz2
tar

tests
Compare
111-non-dependent-products-optimisation

b10adbaa · feat(kernel): add non-dependant header · 1 year ago

2

1
!104
zip
tar.gz
tar.bz2
tar

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

92daf188 · fix(proost): return a `BoundVariable` error when defining a declaration and a... · 1 year ago

3

1
!101
zip
tar.gz
tar.bz2
tar

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

35ea61f0 · fix(tilleul): change tilleul initialization to indicate that no capability is currentlly handled · 1 year ago

4

1
!103
zip
tar.gz
tar.bz2
tar

tests
Compare
107-parser-simplification

8af4951e · chore(std, examples): fix syntax · 1 year ago

5

4
!99
zip
tar.gz
tar.bz2
tar

tests
Compare
95-replace-succ-with-an-add-constructor-on-level

c201ff04 · chore(cargo deny): cargo update + temporary cargo deny modification to allow... · 1 year ago

6

5
!84
zip
tar.gz
tar.bz2
tar

tests
Compare
102-add-match-syntax

1d81bf81 · a · 2 years ago

8

3
!92
zip
tar.gz
tar.bz2
tar

tests
Compare
105-specialize-traces

6ed5940c · [ feat ] specialize traces · 2 years ago

6

1
!96
zip
tar.gz
tar.bz2
tar

tests
Compare
66-implement-bidirectional-type-checking

523729d7 · Resolve "Parsing/Building : allow left arguments" ✨️ · 2 years ago

6

0
!97
zip
tar.gz
tar.bz2
tar

tests
Compare
104-implement-normalisation-by-evaluation

4f08ffa2 · finish `eval_term` · 2 years ago

7

3
!95
zip
tar.gz
tar.bz2
tar

tests
Compare
98-parsing-building-allow-left-arguments

a2c3c6d1 · chore(parser): add coverage · 2 years ago

7

10
!88
zip
tar.gz
tar.bz2
tar

tests
Compare
91-add-examples-as-a-test-suite-for-the-pipeline

49740fbb · ci(tests): add type checking of every `mdln` file in the tests · 2 years ago

7

1
!94
zip
tar.gz
tar.bz2
tar
Compare
52-add-better-tab-behavior-for-proost-toplevel

5e45aa00 · feat:added support for parenthesis position + allow to indent already existing line · 2 years ago

7

2
!69
zip
tar.gz
tar.bz2
tar

tests
Compare
103-normal-form-memoization

038565ea · chore(calculus term): remove duplicate test (also in axiom/natural.rs) · 2 years ago

7

2
!93
zip
tar.gz
tar.bz2
tar
Compare
97-preparations-for-v0-3-0

488dde16 · chore: move the toplevel screenshot to the manual, as a listing · 2 years ago

8

12
!90
zip
tar.gz
tar.bz2
tar

tests
Compare

Prev
1
2
3
4
5
Next