Skip to content
GitLab
Explore
Sign in
loutr
Proost
Repository
Branches
Overview
Active
Stale
All
Active branches
99-add-let-binder
bd1bb11f
·
fix(elaboration): rewrite `apply_trace` to catch `LetIn` errors
·
May 17, 2024
!91
main
default
protected
9fcf2ac9
·
Resolve "Improve CI by using Nix"
✨
️
·
May 09, 2024
108-opaque-traces
43fcf46b
·
refactor: replace Traces slices with an opaque type owned by the kernel....
·
May 09, 2024
115-improve-ci-by-using-nix
d9d5e208
·
fix(coverage): Generate format directly with one Nix invocation
·
May 09, 2024
!105
106-logsem-seminar-talk
e5ce34f7
·
feat(docs): Add LogSem seminar slides
·
May 04, 2024
!98
Stale branches
1-dedicated-cargo-files
1c9b1944
·
chore(cargo): Add cargo workspace
·
Sep 22, 2022
!1
4-build-dockerfile-from-nix
59d5271a
·
Apply 1 suggestion(s) to 1 file(s)
·
Sep 29, 2022
!6
7-informative-error-messages-for-pest-and-free-variables
53bfa411
·
fix(ci): Fix docs publish + Improve dockerTools use
·
Sep 30, 2022
3-pest-parser
7cebda55
·
fix(parser): Fix minor issues (impl PartialEq for tests)
·
Oct 06, 2022
!4
5-add-proost-program-cli
ec91f150
·
feat(parser): Add ClassicTerm with variables for easier user input
·
Oct 06, 2022