dolmen
forked from gbury/dolmen
Star 1
Fork 0
Watch

Version history of src/typecheck/base.ml

August 2025

Guillaume Bury
Smtlib Printer (#211)
committed
Guillaume Bury
Reject SMT-LIB2 distinct applications to less than 2 arguments (#243)
committed

April 2025

Guillaume Bury
Support for SMT-LIB 2.7 (#235)
committed

May 2023

Guillaume Bury
Model fixes (#151)
committed

May 2021

Guillaume Bury
Add abstraction for Names and Paths
committed

April 2021

Guillaume Bury
Add higher-order type-checking to Dolmen (#66)
committed

July 2020

Guillaume Bury
Fix build and deps correctly
committed
Guillaume Bury
Refactor the id splitting
committed
Guillaume Bury
Complete rework of restrictions and filters (#51)
committed

May 2020

Guillaume Bury
Correctly forbids shadowing for smtlib
committed
François Bobot
Fixes #28 (#31)
committed
Guillaume Bury
Better errors
committed
Guillaume Bury
Overhaul of the error/warning reporting logic
committed

April 2020

Guillaume Bury
Fix warning
committed
Guillaume Bury
Implement UF/DT theory restrictions (#36)
committed
François Bobot
[smtlib_logic] Parse part by part instead of globally
committed

March 2020

Guillaume Bury
Use the linear filter according to smtlib logic
committed

February 2020

Guillaume Bury
Fix Issue#26
committed
Guillaume Bury
Some more typing tests
committed
Guillaume Bury
Add versioned parser for languages (#18)
committed
Guillaume Bury
Add some new smtlib2 logics + a catch-all
committed
Guillaume Bury
Fix bug in right assoc helper
committed
Guillaume Bury
Typechecking and LSP server
committed