dolmen
forked from gbury/dolmen
Star 1
Fork 0
Watch

Version history of src/loop/parser.mli

July 2026

Guillaume Bury
More precise error for lexing errors (#265)
committed

September 2022

Guillaume Bury
Add option to print syntax error identifiers
committed

June 2022

Guillaume Bury
Change state to hmap to simplify deps between modules
committed
Guillaume Bury
WIP
committed
Guillaume Bury
Somewhat working
committed

October 2021

Guillaume Bury
More structured errors and warnings
committed

February 2021

François Bobot
[RFC] Add polymorphism of smt v3 in smt v2.6 (#53)
committed

September 2020

Guillaume Bury
Explicit state passing in pipeline
committed

August 2020

Guillaume Bury
Add header check
committed
Guillaume Bury
Re-organized pipes to make them more local
committed

July 2020

Guillaume Bury
Fix build and deps correctly
committed

February 2020

Guillaume Bury
Typechecking and LSP server
committed