Resolve "Preparation for Release v0.2.0" ✨️
Closes #86 🐔️👍️ Approved-by:belazy <aarthuur01@gmail.com> Approved-by:
aalbert <augustin.albert@bleu-azure.fr> Approved-by:
v-lafeychine <vincent.lafeychine@proton.me> 🦀️
🍰 🦀️🍰 🦀️🍰 * Apply 1 suggestion(s) to 1 file(s) * chore: update README and parser dependency * chore(parser, proost): adapt other crates to use new crate elaboration * feat(elaboration): implement builders in elaboration crate * fix: remove elaboration dependency in kernel; consequently add VecBuilderTrait * chore: rename crate utils -> elaboration * fix(cargo): Better use of SemVer for dependencies * feat(kernel): Add Buildable trait * chore(kernel): Rename 'as_buildertrait' as 'as_closure' * feat(kernel): Remove useless Builder's realise_in_context * feat(trace): Allow custom T return type on Traceable trait * docs: fix typos in kernel documentation * chore: update description of tilleuil crate * chore: remove useless variable in gitlab-ci.yml * chore: updating cargo version of the project
parent
71023185
No related branches found
No related tags found
Pipeline
#12308
passed
with stages
in
9 minutes and 46 seconds
Stage: check
Stage: build
Stage: tests
Showing
- .gitlab-ci.yml 0 additions, 2 deletions.gitlab-ci.yml
- Cargo.lock 14 additions, 15 deletionsCargo.lock
- Cargo.toml 2 additions, 2 deletionsCargo.toml
- README.md 8 additions, 6 deletionsREADME.md
- elaboration/Cargo.toml 2 additions, 1 deletionelaboration/Cargo.toml
- elaboration/src/builder/declaration.rs 142 additions, 0 deletionselaboration/src/builder/declaration.rs
- elaboration/src/builder/level.rs 114 additions, 0 deletionselaboration/src/builder/level.rs
- elaboration/src/builder/mod.rs 33 additions, 0 deletionselaboration/src/builder/mod.rs
- elaboration/src/builder/term.rs 168 additions, 0 deletionselaboration/src/builder/term.rs
- elaboration/src/lib.rs 3 additions, 2 deletionselaboration/src/lib.rs
- elaboration/src/location.rs 0 additions, 0 deletionselaboration/src/location.rs
- kernel/Cargo.toml 2 additions, 4 deletionskernel/Cargo.toml
- kernel/src/axiom.rs 9 additions, 9 deletionskernel/src/axiom.rs
- kernel/src/calculus/term.rs 14 additions, 29 deletionskernel/src/calculus/term.rs
- kernel/src/error.rs 28 additions, 8 deletionskernel/src/error.rs
- kernel/src/lib.rs 2 additions, 0 deletionskernel/src/lib.rs
- kernel/src/memory/arena.rs 8 additions, 12 deletionskernel/src/memory/arena.rs
- kernel/src/memory/declaration/builder.rs 7 additions, 142 deletionskernel/src/memory/declaration/builder.rs
- kernel/src/memory/declaration/mod.rs 3 additions, 5 deletionskernel/src/memory/declaration/mod.rs
- kernel/src/memory/level/builder.rs 37 additions, 80 deletionskernel/src/memory/level/builder.rs
Loading
Please register or sign in to comment