Select Git revision
- Branches 20
- 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
- Tags 3
- v0.3.0
- v0.2.0
- 0.1.0
You can move around the graph by using the arrow keys.
Loading