Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
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
109-feat-tilleul-add-vscode-support
9ac18663
·
chore(tilleul): fix issues for the merge request
·
May 04, 2024
!102