index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gramlib
/
grammar.mli
Age
Commit message (
Expand
)
Author
2021-04-23
Relying on the abstract notion of streams with location for parsing.
Hugo Herbelin
2020-03-25
[gramlib] Don't expose unsafe interfaces to clients
Emilio Jesus Gallego Arias
2020-03-25
[pcoq] Inline the exported Gramlib interface instead of exposing it as G
Emilio Jesus Gallego Arias
2020-03-25
[parsing] Move comments lexer extensions to base lexer interface
Emilio Jesus Gallego Arias
2020-03-25
[gramlib] Remove warning function parameter in favor of standard mechanism.
Emilio Jesus Gallego Arias
2020-03-25
[parsing] Move `coq_parsable` custom logic to Grammar.
Emilio Jesus Gallego Arias
2020-03-25
[parsing] Remove extend AST in favor of gramlib constructors
Emilio Jesus Gallego Arias
2020-03-25
[parsing] Make grammar extension type private.
Emilio Jesus Gallego Arias
2020-02-28
[gramlib] Refactor gramlib interface.
Emilio Jesus Gallego Arias
2019-08-19
[pcoq] Remove unneeded casting operators.
Emilio Jesus Gallego Arias
2019-07-29
Tentatively providing a localization function to ad-hoc camlp5 parsers.
Pierre-Marie Pédrot
2019-03-31
Multiple payload types in tokens
Pierre Roux
2019-03-31
[parsing] Split Tok.t into Tok.t and Tok.pattern
Enrico Tassi
2019-03-29
[parser] initialization based on Loc.t rather than Loc.source
Enrico Tassi
2018-12-05
Remove the lexer field from Gramlib.
Pierre-Marie Pédrot
2018-11-30
[gramlib] Remove `Ploc.t` in favor of `Loc.t`
Emilio Jesus Gallego Arias
2018-11-27
[gramlib] Remove unused function `gram_reinit`.
Emilio Jesus Gallego Arias
2018-11-27
[gramlib] Minor cleanups:
Emilio Jesus Gallego Arias
2018-11-23
Remove the unsafe API from gramlib.
Pierre-Marie Pédrot
2018-11-19
[gramlib] Remove unused alias.
Emilio Jesus Gallego Arias
2018-11-06
Remove the non-functorial interface of camlp5 grammars.
Pierre-Marie Pédrot
2018-11-05
Remove the Scut constructor from Gramlib.
Pierre-Marie Pédrot
2018-11-05
Remove the Sflag constructor from Gramlib.
Pierre-Marie Pédrot
2018-11-05
Remove the Sfacto constructor from Gramlib.
Pierre-Marie Pédrot
2018-11-05
Remove the Svala constructor from Gramlib.
Pierre-Marie Pédrot
2018-10-29
[gramlib] Cleanup, remove unused parsing infrastructure.
Emilio Jesus Gallego Arias
2018-10-29
[camlp5] Automatic conversion from revised syntax + parsers
Emilio Jesus Gallego Arias
2018-10-29
[gramlib] Original Import from Camlp5 repos.
Emilio Jesus Gallego Arias
