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.029Dec2827262524232221201918171614128432130Nov28272625241715141310987432130Oct2928272625242322212019181715141097feat(loc): Specify localisation for Commandfeat(trace): Add trace for realisefeat(trace): Add Traceable implementationchore(utils): Move Errors + Location + Trace into utils cratefeat(trace): Recover testsfeat(trace): Add early trace utilitychore(clippy): Fix clippy issuesfix(proost): change error display behaviour during file importfeat(trace): Add term builder into Proost errorfeat(trace): Add trace for infer and imax functionsfeat(trace): Add early trace + error modulechore(error): Add new method on ErrorResolve "`whnf` doesn't unfold applications where the head is a declaration" ✨️chore(clippy): clippy75-whnf-doesn-t…75-whnf-doesn-t-unfold-applications-where-the-head-is-a-declarationfix(kernel): unfold applications where the header is a `Decl`Resolve "Make clippy annoying" ✨️chore(nix): Bump dependencies68-make-clippy-…68-make-clippy-annoyingchore(clippy): Remove useless prefix/suffix (clippy::module_name_repetitions)chore(clippy): Prevent failed fallback (clippy::default_fallback_numeric)chore(parser): Modify parser hierarchyfix(fmt): Reduce chain line to 90 columnsfix(proost): Fix documentation issuesfix(evaluator): Move out display function, since self is not usedchore(clippy): Use Self when possible (clippy::use_self)fix(kernel): Use safe conversion char -> u8 insteadchore(clippy): Use explicit lifetime name (clippy::single_char_lifetime_names)chore(clippy): Use explicit unreachable/control-flow operator when neededchore(clippy): Use to_owned() when possible (clippy::inefficient_to_string + clippy::str_to_string)chore(clippy): Use specific function for map function (clippy::map_unwrap_or + clippy::option_if_let_else)chore(clippy): Use correct pattern-matching (clippy::pattern_type_mismatch)chore(clippy): Apply must_use (clippy::must_use_candidate clippy::return_self_not_must_use)chore(clippy): Modify two-arm matches into if-let (clippy::single_match_else)fix(declaration): Made struct only-crate publicchore(clippy): Use const qualifier when possible (clippy::missing_const_for_fn)chore(clippy): Use core instead of std (clippy::alloc_instead_of_core + clippy::std_instead_of_core)chore(clippy): Inline format args (clippy::uninlined_format_args)chore(clippy): Add LTO hints (clippy::missing_inline_in_public_items)chore(clippy): [Non-test only] Remove wildcard import (enum_glob_use + wildcard_imports)chore(clippy): Add semicolon when nothing is returned (semicolon_if_nothing_returned)feat(clippy): Enable clippy lints