dolmen
forked from gbury/dolmen
Star 1
Fork 0
Watch

Version history of src/loop/dune

August 2025

Guillaume Bury
Smtlib Printer (#211)
committed

March 2023

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

December 2022

Guillaume Bury
Fix windows build and tests (#117)
committed

October 2022

Guillaume Bury
Group state keys by module with an init function
committed

June 2022

Guillaume Bury
Change state to hmap to simplify deps between modules
committed
Guillaume Bury
WIP
committed
Guillaume Bury
Somewhat working
committed
Guillaume Bury
Add response class for parsing provers responses
committed

November 2021

Guillaume Bury
Add contextual location printing
committed

October 2021

Guillaume Bury
More structured errors and warnings
committed

March 2021

Guillaume Bury
Add structured return codes
committed

October 2020

Guillaume Bury
Add bisect ppx coverage test
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 some internal dep names
committed
Guillaume Bury
Fix build and deps correctly
committed

February 2020

Guillaume Bury
Typechecking and LSP server
committed