index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
parsing
/
cLexer.ml
Age
Commit message (
Expand
)
Author
2021-04-23
Relying on the abstract notion of streams with location for parsing.
Hugo Herbelin
2020-10-30
Renaming Numeral into Number
Pierre Roux
2020-09-27
Avoid lookup up too many characters.
Guillaume Melquiond
2020-09-27
Make "xxx:{{" always start a quotation, whether registered or not.
Guillaume Melquiond
2020-09-11
[parsing] Rename token NUMERAL to NUMBER
Pierre Roux
2020-03-25
[parsing] Move `coq_parsable` custom logic to Grammar.
Emilio Jesus Gallego Arias
2020-03-22
Centralizing all kinds of numeral string management in numTok.ml.
Hugo Herbelin
2020-03-18
Update headers in the whole code base.
Théo Zimmermann
2019-11-21
[coq] Untabify the whole ML codebase.
Emilio Jesus Gallego Arias
2019-08-29
Fix a few wrong uses of `msg_notice`
Maxime Dénès
2019-08-02
[lexer]: improve error message on loct_func misuse
Enrico Tassi
2019-06-24
Merge PR #10375: [lexer] correctly update line number when lexing QUOTATION (...
Pierre-Marie Pédrot
2019-06-18
[lexer] correctly update line number when lexing QUOTATION (fix #10350)
Enrico Tassi
2019-06-17
Update ml-style headers to new year.
Théo Zimmermann
2019-04-02
Add parsing of decimal constants (e.g., 1.02e+01)
Pierre Roux
2019-04-02
Rename the INT token to NUMERAL
Pierre Roux
2019-03-31
Multiple payload types in tokens
Pierre Roux
2019-03-31
[parsing] add keyword-protected generic quotation
Enrico Tassi
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-20
Make diffs work for more input strings
Jim Fehrle
2018-12-05
Removing dead fields from Plexing.lexer.
Pierre-Marie Pédrot
2018-11-30
[gramlib] Remove `Ploc.t` in favor of `Loc.t`
Emilio Jesus Gallego Arias
2018-11-21
[gramlib] [build] Switch make-based system to packed gramlib
Emilio Jesus Gallego Arias
2018-11-04
Remove the deprecated Token module and port the corresponding code.
Pierre-Marie Pédrot
2018-10-18
Removing the Camlp5 macros from CLexer.
Pierre-Marie Pédrot
