dolmen
forked from gbury/dolmen
Star 1
Fork 0
Watch

Version history of src/loop/parser.ml

August 2026

Guillaume Bury
Emit less `exit` statements, notably for preludes (#263)
committed

July 2026

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

August 2025

Guillaume Bury
Smtlib Printer (#211)
committed

November 2023

Guillaume Bury
Add full mode stdin parsing (#201)
committed
Guillaume Bury
Add proper support for `:named` smtlib annotations (#199)
committed

June 2023

Guillaume Bury
Propagate attributes from `Pack` Statements
committed
Basile Clément
Add support for prelude files
committed

February 2023

Guillaume Bury
Workaround a bug in ocaml5.0 finalisers (#128)
committed

January 2023

Pierrot
A full mode for parsing from raw source (#125)
committed
Hichem R. A
Possibility to add preludes to dolmenls (#116)
committed

November 2022

Guillaume Bury
Better settings for the interactive prompt (#113)
committed

October 2022

Guillaume Bury
Add to state keys the name of the module responsible for their init
committed
Guillaume Bury
Group state keys by module with an init function
committed

September 2022

Guillaume Bury
Add option to print syntax error identifiers
committed

June 2022

Guillaume Bury
Fix unused warning on type wildcards
committed
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

October 2020

Guillaume Bury
Make files re-parsables
committed

September 2020

Guillaume Bury
Fix locations in full mode
committed
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
Location refactor to reduce memory usage
committed
Guillaume Bury
Fix build and deps correctly
committed

February 2020

Guillaume Bury
Typechecking and LSP server
committed