dolmen
forked from gbury/dolmen
Star 1
Fork 0
Watch

Version history of src/interface/ty.ml

July 2026

Guillaume Bury
Split HO into a separate builtin theory for typechecking (#267)
committed

April 2025

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

March 2025

Basile Clément
feat: Support more Alt-Ergo primitives (#220)
committed

July 2023

Guillaume Bury
More checks on bitvector size for extract
committed

June 2023

Pierre Villemot
Proper handling of in_interval and bounds in triggers
committed
Guillaume Bury
Add printing of type definitions in debug output (#157)
committed

May 2023

Guillaume Bury
Model fixes (#151)
committed

January 2023

Guillaume Bury
Multliple fixes for recursive definitions (#123)
committed

December 2021

Guillaume Bury
Accept alt-ergo's insane spec wrt type variables
committed

November 2021

HRA
Add support for Alt-Ergo's built-ins (#87)
committed

May 2021

Guillaume Bury
Add abstraction for Names and Paths
committed
Guillaume Bury
Fix multi-trigger tag
committed

April 2021

Guillaume Bury
Avoid exponential explosion whe handling let binders
committed
Guillaume Bury
Fix inference perf problem + spec for tptp inference
committed
Guillaume Bury
Various fixes
committed
Guillaume Bury
Fix inference problems for tptp
committed
Guillaume Bury
Add higher-order type-checking to Dolmen (#66)
committed

July 2020

Guillaume Bury
Try and fix missing module error
committed