dolmen
forked from gbury/dolmen
Star 1
Fork 0
Watch

Version history of src/interface/dune

August 2025

Guillaume Bury
Smtlib Printer (#211)
committed

March 2024

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

October 2023

Guillaume Bury
Add language extensions in the parsing of smtlib2
committed

May 2021

Guillaume Bury
Add radix trie implementation for maps on strings
committed

October 2020

Guillaume Bury
Add bisect ppx coverage test
committed

September 2020

Guillaume Bury
Lots of error handling changed
committed

July 2020

Guillaume Bury
Try and fix missing module error
committed

February 2020

Guillaume Bury
Typechecking and LSP server
committed

November 2018

Guillaume Bury
Replace ocamlbuild with dune (#13)
committed