Merge requests · loutr / Proost · GitLab

Snippets Groups Projects

Resolve "Bug(Parser): no error when defining a declaration with the same name as a definition"

!101 · created 1 year ago by pigeonmoelleux
Good first issue Parser bug
- Merged
- 5
- Approved
updated 1 year ago
Resolve "Parser simplification"

!99 · created 1 year ago by loutr
Parser Refactor
updated 1 year ago
Resolve "Parsing/Building : allow left arguments"

!88 · created 2 years ago by belazy
Parser To review feature
- Merged
- 20
- Approved
updated 2 years ago
Resolve "Incorrect parsing of import command when read from a file"

!89 · created 2 years ago by loutr
Parser bug
updated 2 years ago
Resolve "Unhandled integers"

!60 · created 2 years ago by pigeonmoelleux
Doing Parser To review
- Merged
- 13
- Approved
updated 2 years ago
Resolve "Allow wildcards in abstractions and products"

!81 · created 2 years ago by belazy
Parser To review
- Merged
- Approved
updated 2 years ago
Resolve "Bug(Parser): declarations can't be initiated with `plus`, `max` and `imax`"

!78 · created 2 years ago by eman
Good first issue Parser To review bug
- Merged
- Approved
updated 2 years ago
Resolve "Bug(Parser): spaces are not allowed when declaring universe variables"

!77 · created 2 years ago by aalbert
Good first issue Parser To review bug
- Merged
- Approved
updated 2 years ago
Resolve "Better Error Locations"

!36 · created 2 years ago by loutr
Kernel Parser To review
- Merged
- 17
- Approved
updated 2 years ago
Resolve " tests for parser"

!28 · created 2 years ago by aalbert Alpha release
Parser To review
- Merged
- 16
- Approved
updated 2 years ago
feat(parser): Add new syntaxic sugar and meaningfull error messages, add more...

!18 · created 2 years ago by aalbert Alpha release
Parser To review
- Merged
- 12
- Approved
updated 2 years ago