dolmen
forked from gbury/dolmen
Star 1
Fork 0
Watch

Version history of src/loop/state.ml

August 2025

Guillaume Bury
Smtlib Printer (#211)
committed

March 2024

Guillaume Bury
Fix attributes in nested binders (#210)
committed

June 2023

Basile Clément
Add support for prelude files
committed
Basile Clément
Add convenience State.update and State.update_opt (#156)
committed

March 2023

Guillaume Bury
Flow check + some windows fixes (#135)
committed

February 2023

Guillaume Bury
Add interleaved mode for model verification (#131)
committed

January 2023

Hichem R. A
Possibility to add preludes to dolmenls (#116)
committed

December 2022

Guillaume Bury
Workaround indirect base dependency (#118)
committed

October 2022

Guillaume Bury
Add some exception printers
committed
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
Make minimal even more minimal
committed
Guillaume Bury
Add minimal report style
committed
Guillaume Bury
Better handling of corner cases in models + adjusted err/warn messages
committed
Guillaume Bury
minor changes
committed
Guillaume Bury
Change state to hmap to simplify deps between modules
committed
Guillaume Bury
Working first prototype
committed
Guillaume Bury
WIP
committed
Guillaume Bury
Somewhat working
committed
Guillaume Bury
Update pp_loc
committed

November 2021

Guillaume Bury
Some more sanity check before calling into pp_loc
committed
Guillaume Bury
Adjust test
committed
Guillaume Bury
Avoid printing context code snippet when lines are too long
committed
Guillaume Bury
Remove now useless "context" param
committed
Guillaume Bury
Add contextual location printing
committed

October 2021

Guillaume Bury
Add cli option to control warnings
committed
Guillaume Bury
More structured errors and warnings
committed

March 2021

Guillaume Bury
Various fixes
committed
Guillaume Bury
Add structured return codes
committed

October 2020

Guillaume Bury
Re-enable incremental dimacs
committed
Guillaume Bury
Syntax error messages for dimacs
committed

September 2020

Guillaume Bury
Lots of error handling changed
committed
Guillaume Bury
Explicit state passing in pipeline
committed

August 2020

Guillaume Bury
Better lang version check for headers
committed
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
Guillaume Bury
Add warning limit
committed
Guillaume Bury
Untangling the spaghetti
committed
Guillaume Bury
Lots of fixes
committed

May 2020

Guillaume Bury
Lots of bug fixes
committed
Guillaume Bury
Better errors
committed
Guillaume Bury
Small cleanup
committed
Guillaume Bury
Overhaul of the error/warning reporting logic
committed

April 2020

Guillaume Bury
Add debug option to dolmen bin
committed

February 2020

Guillaume Bury
Add flush at the end of warnings
committed
Guillaume Bury
Typechecking and LSP server
committed