dolmen
forked from gbury/dolmen
Star 1
Fork 0
Watch

Version history of src/classes/dune

July 2022

Guillaume Bury
Rename Check->Response for smtlib2 response files
committed

June 2022

Guillaume Bury
Add response class for parsing provers responses
committed

February 2021

François Bobot
[RFC] Add polymorphism of smt v3 in smt v2.6 (#53)
committed

October 2020

Guillaume Bury
Add bisect ppx coverage test
committed

July 2020

Guillaume Bury
Fix build and deps correctly
committed

February 2020

Guillaume Bury
Add versioned parser for languages (#18)
committed
Guillaume Bury
Typechecking and LSP server
committed

November 2018

Guillaume Bury
Replace ocamlbuild with dune (#13)
committed