aboutsummaryrefslogtreecommitdiff
path: root/gramlib
AgeCommit message (Expand)Author
2021-04-08Gramlib: documentation of the recovery mechanism.Hugo Herbelin
2021-04-08Gramlib: some comments about how new rules are inserted.Hugo Herbelin
2021-04-08Gramlib: some comments about the main start/continue parsing loop.Hugo Herbelin
2021-03-03[build] Split stdlib to it's own opam package.Emilio Jesus Gallego Arias
2020-10-14Add flag -open Gramlib so that merlin works in gramlib with make.Hugo Herbelin
2020-07-16[gramlib] Remove legacy located exception wrapper in favor of standard infras...Emilio Jesus Gallego Arias
2020-03-25[gramlib] Don't expose unsafe interfaces to clientsEmilio Jesus Gallego Arias
2020-03-25[pcoq] Inline the exported Gramlib interface instead of exposing it as GEmilio Jesus Gallego Arias
2020-03-25[parsing] Move comments lexer extensions to base lexer interfaceEmilio 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 constructorsEmilio 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
2020-02-11Fixing extra space in "Print Grammar" (i.e. Grammar.Entry.print in Gramlib).Hugo Herbelin
2019-08-19[pcoq] Remove unneeded casting operators.Emilio Jesus Gallego Arias
2019-07-29Tentatively providing a localization function to ad-hoc camlp5 parsers.Pierre-Marie Pédrot
2019-07-05Use Format.pp_print_list with conditional instead of fold for list prints in ...Gaëtan Gilbert
2019-05-23Fixing typos - Part 2JPR
2019-03-31Multiple payload types in tokensPierre Roux
2019-03-31documentationEnrico Tassi
2019-03-31[parsing] Split Tok.t into Tok.t and Tok.patternEnrico Tassi
2019-03-29[parser] initialization based on Loc.t rather than Loc.sourceEnrico Tassi
2019-02-19Gramlib: Fixes #9358 (ensuring that the loc function has something to compute).Hugo Herbelin
2019-02-11Almost fully type-safe implementation of camlp5.Pierre-Marie Pédrot
2019-02-11Further propagation of well-typedness in Grammar.Pierre-Marie Pédrot
2019-02-11Introduce a GADT of well-typed grammar entries in Grammar.Pierre-Marie Pédrot
2019-02-11Centralizing the calls to the global mutable grammar in Grammar.Pierre-Marie Pédrot
2019-02-11Specialize the intermediate types of the Grammar functor.Pierre-Marie Pédrot
2019-02-11Make Grammar truly functorial.Pierre-Marie Pédrot
2019-02-11Move most of Gramext into Grammar.Pierre-Marie Pédrot
2019-02-11Merge PR #9478: Remove the comment fields of locations.Emilio Jesus Gallego Arias
2019-02-05Remove the Plexing.Error exception.Pierre-Marie Pédrot
2019-02-05Remove the comment fields of locations.Pierre-Marie Pédrot
2018-12-09[doc] Enable Warning 50 [incorrect doc comment] and fix comments.Emilio Jesus Gallego Arias
2018-12-05Remove the Like level modifier from gramlib.Pierre-Marie Pédrot
2018-12-05Remove the grammar-entry correspondence dynamic check in camlp5.Pierre-Marie Pédrot
2018-12-05Removing dead fields from Plexing.lexer.Pierre-Marie Pédrot
2018-12-05Remove dead code in camlp5.Pierre-Marie Pédrot
2018-12-05Remove the lexer field from Gramlib.Pierre-Marie Pédrot
2018-12-05Make some camlp5 fields immutable.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-23Remove the unsafe API from gramlib.Pierre-Marie Pédrot
2018-11-21[camlp5] Remove dependency on camlp5.Emilio Jesus Gallego Arias
2018-11-19[gramlib] Remove unused alias.Emilio Jesus Gallego Arias
2018-11-06Removing dead code in Plexing.Pierre-Marie Pédrot
2018-11-06Remove the non-functorial interface of camlp5 grammars.Pierre-Marie Pédrot
2018-11-05Remove patches of dead code in Gramlib.Pierre-Marie Pédrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 10:47:06 +0000