Skip to content
Snippets Groups Projects
Select Git revision
  • 1-dedicated-cargo-files
  • 10-modify-proost-s-grammar
  • 100-incorrect-parsing-of-import-command-when-read-from-a-file
  • 102-add-match-syntax
  • 103-normal-form-memoization
  • 104-implement-normalisation-by-evaluation
  • 105-specialize-traces
  • 106-logsem-seminar-talk
  • 107-parser-simplification
  • 108-opaque-traces
  • 109-feat-tilleul-add-vscode-support
  • 11-use-derive_more-crate
  • 110-unhandled-lsp-requests-declared-as-capabilities-in-tilleul
  • 111-non-dependent-products-optimisation
  • 115-improve-ci-by-using-nix
  • 13-breaking-change-rename-core-crate-to-kernel
  • 14-perftests
  • 15-refactor-memory-type-checker
  • 16-coverage-on-pipelines
  • 17-type-checker-doesn-t-use-the-global-context
  • v0.3.0
  • v0.2.0
  • 0.1.0
23 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.017May96411Jan15Dec25Nov1Aug25Jul23Jun5Mar24Feb21121054330Jan272625232221191813121110654131Dec30292827262524232221201918171614128432130Nov28272625fix(elaboration): rewrite `apply_trace` to catch `LetIn` errors99-add-let-binder99-add-let-binderfeat(parser): add let parsingfeat(elaboration): add `let` builder, with appropriate error trace handlingResolve "Improve CI by using Nix" ✨️mainmainrefactor: replace Traces slices with an opaque type owned by the kernel. Elaboration tests won't work.108-opaque-traces108-opaque-tracesfix(elaboration): rewrite `apply_trace` to catch `LetIn` errorsfeat(parser): add let parsingfeat(elaboration): add `let` builder, with appropriate error trace handlingfix(coverage): Generate format directly with one Nix invocation115-improve-ci-…115-improve-ci-by-using-nixfix(atty): Remove unmaintained atty cratefeat(ci): Use crane to perform testschore(cargo-deny): Bump to latest syntaxchore(nix): Use crane and fenixchore(rustfmt): Bump to 1.7.0chore(cargo): Bump dependencieschore(ci): Upgrade coverage toolchore(nix): Remove docker + devshellchore(ci): Use Nix instead of extern Docker imageschore: Bump Nix to 23.11chore: Bump clippy to 1.80 nightlychore: Bump Rust to 1.80 nightlyResolve "feat(tilleul): add VSCode support" ✨️feat(docs): Add LogSem seminar slides106-logsem-semi…106-logsem-seminar-talkchore(tilleul): fix issues for the merge request109-feat-tilleu…109-feat-tilleul-add-vscode-supportfeat(tilleul): add LICENSE and README for VSCode clientchore(tilleul): change linter options and the code to comply with itchore(tilleul): corrections enlightened by the reviewchore(tilleul): remove unecessary vscode-related filesfeat(tilleul): add language syntax for the vscode clientfeat(tilleul): minimal version of a VSCode LSP clientfeat(kernel): add non-dependant header111-non-depende…111-non-dependent-products-optimisationResolve "Bug(Parser): no error when defining a declaration with the same name as a definition" ✨️fix(proost): return a `BoundVariable` error when defining a declaration and a definition with the same name81-bug-parser-n…81-bug-parser-no-error-when-defining-a-declaration-with-the-same-name-as-a-definitionResolve "Unhandled LSP requests declared as capabilities in tilleul" ✨️fix(tilleul): change tilleul initialization to indicate that no capability is currentlly handled110-unhandled-l…110-unhandled-lsp-requests-declared-as-capabilities-in-tilleulResolve "Parser simplification" ✨️chore(std, examples): fix syntax107-parser-simp…107-parser-simplificationchore(parser): change test to fit new syntaxfix(parser): remove the use of comma as argument separator, for more consistencyfix(parser): simpler, (hopefully) equivalent grammar