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.025Nov1Aug25Jul23Jun5Mar24Feb21121054330Jan272625232221191813121110654131Dec30292827262524232221201918171614128432130Nov28272625241715141310fix(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 grammarResolve "replace `Succ` with an `Add` constructor on `Level`" ✨️chore(cargo deny): cargo update + temporary cargo deny modification to allow duplicate dependency versions95-replace-succ…95-replace-succ-with-an-add-constructor-on-levelfix(kernel, level): remove useless memoization + some minor simplificationsfix(kernel): use u32 in order to have safe conversions to i64fix(kernel): wrap int conversionfeat(kernel): replace `Succ` constructor with `Add`a102-add-match-s…102-add-match-syntax[ feat ] specialize traces105-specialize-…105-specialize-tracesdoc : todo on matchesfeat: add pattern-match syntax to the kernelResolve "Parsing/Building : allow left arguments" ✨️66-implement-bi…66-implement-bidirectional-type-checkingfinish `eval_term`104-implement-n…104-implement-normalisation-by-evaluationadd evaluation of functions abstraction/applicationfeat(kernel): add `Value` typechore(parser): add coverage98-parsing-buil…98-parsing-building-allow-left-argumentschore(parser): make more complex testci(tests): add type checking of every `mdln` file in the tests91-add-examples…91-add-examples-as-a-test-suite-for-the-pipelinefeat(parser): more concise function `parse_args`feat:added support for parenthesis position + allow to indent already existing line52-add-better-t…52-add-better-tab-behavior-for-proost-toplevelfeat:better tab behaviourfix(parser): use `try_fold` instead of ` fold`Apply 1 suggestion(s) to 1 file(s)chore(error): add new rules to parsing errorsfeat(std): use left-args in exampleschore(parser): comment and testfeat(parser): parse left-argumentsfeat(parser): add left-args to the syntaxchore(calculus term): remove duplicate test (also in axiom/natural.rs)103-normal-form…103-normal-form-memoizationfeat(kernel, term): add normal form lazy field in term headers + corresponding access functionsResolve "Preparations for release v0.3.0" ✨️v0.3.0v0.3.0chore: move the toplevel screenshot to the manual, as a listing97-preparations…97-preparations-for-v0-3-0feat(std): add `add` function over natural numbers, used as an examplechore(docs): separate header style file for TeX + formattingApply 4 suggestion(s) to 2 file(s)