dolmen
forked from gbury/dolmen
Star 1
Fork 0
Watch

Version history of src/loop/headers.ml

August 2025

Guillaume Bury
Smtlib Printer (#211)
committed

March 2023

Guillaume Bury
Flow check + some windows fixes (#135)
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

June 2022

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

October 2021

Guillaume Bury
Add cli options to list and/or print doc for reports
committed
Guillaume Bury
More structured errors and warnings
committed

May 2021

Guillaume Bury
Add abstraction for Names and Paths
committed

March 2021

Guillaume Bury
Add structured return codes
committed

October 2020

Guillaume Bury
Some more comments
committed

September 2020

Guillaume Bury
Explicit state passing in pipeline
committed

August 2020

Guillaume Bury
Better lang version check for headers
committed
Guillaume Bury
Some stricter header value checks
committed
Guillaume Bury
Make a missing license a warning and not an error
committed
Guillaume Bury
Add header check
committed