Merge requests · loutr / Proost

Resolve "Refactor memory model of type checker"

!17 · created Oct 13, 2022 by loutr
To review
- Merged
- 37
- Approved
updated Nov 26, 2022
Resolve "improve README"

!35 · created Nov 10, 2022 by aalbert
To review
- Merged
- 3
- Approved
updated Nov 26, 2022
Resolve "Add functionnalities to proost (toplevel)"

!37 · created Nov 24, 2022 by aalbert
To review
- Merged
- 46
- Approved
updated Nov 26, 2022
Resolve "update specs"

!34 · created Nov 06, 2022 by aalbert
- Merged
- Approved
updated Nov 10, 2022
Resolve "Various type-checking bugs"

!31 · created Nov 02, 2022 by belazy
Kernel To review
- Merged
- 6
- Approved
updated Nov 09, 2022
Resolve "Kernel errors"

!23 · created Oct 23, 2022 by v-lafeychine Alpha release
Kernel To review
- Merged
- 3
- Approved
updated Nov 04, 2022
Resolve " tests for parser"

!28 · created Oct 27, 2022 by aalbert Alpha release
Parser To review
- Merged
- 16
- Approved
updated Nov 01, 2022
Resolve "Remove unknow file "z" (sorry)"

!29 · created Oct 27, 2022 by aalbert
- Merged
updated Oct 28, 2022
Resolve "Bug rev parser"

!27 · created Oct 27, 2022 by aalbert
- Merged
updated Oct 27, 2022
Resolve "proost fonctionality and UI"

!22 · created Oct 21, 2022 by v-lafeychine Alpha release
Doing
- Merged
- 33
- Approved
updated Oct 27, 2022
Resolve "Coverage: Artifacts and branches"

!24 · created Oct 23, 2022 by v-lafeychine
- Merged
- 2
- Approved
updated Oct 24, 2022
Resolve "Type-checker doesn't use the global context"

!21 · created Oct 20, 2022 by belazy
Kernel To review
- Merged
- 20
- Approved
updated Oct 22, 2022
Resolve "Coverage on Pipelines: Cache"

!20 · created Oct 20, 2022 by v-lafeychine
updated Oct 21, 2022
9-add-a-basic-type-checker

!15 · created Oct 12, 2022 by belazy
Kernel To review
- Merged
- 67
updated Oct 20, 2022
Resolve "Coverage on Pipelines"

!19 · created Oct 18, 2022 by v-lafeychine Alpha release
Doing
- Merged
- Approved
updated Oct 20, 2022
feat(parser): Add new syntaxic sugar and meaningfull error messages, add more...

!18 · created Oct 14, 2022 by aalbert Alpha release
Parser To review
- Merged
- 12
- Approved
updated Oct 17, 2022
Resolve "specification"

!7 · created Sep 29, 2022 by loutr
Doing
- Merged
- 1
- Approved
updated Oct 10, 2022
Resolve "Use `derive_more` crate"

!13 · created Oct 07, 2022 by v-lafeychine Alpha release
Doing
- Merged
- 1
- Approved
updated Oct 09, 2022
Resolve "Breaking change: Rename `core` crate to `kernel`"

!14 · created Oct 07, 2022 by v-lafeychine Alpha release
updated Oct 07, 2022
Resolve "Term definitions"

!2 · created Sep 22, 2022 by v-lafeychine Alpha release
- Merged
- Approved
updated Oct 07, 2022