dolmen
forked from gbury/dolmen
Star 1
Fork 0
Watch

Version history of src/typecheck/float.ml

August 2025

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

March 2025

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

October 2023

Guillaume Bury
More information for reserved id, and adjusted errors
committed

June 2023

Guillaume Bury
Cleanup old code + stary pritnf statements
committed
Guillaume Bury
Fix reason for reserved builtins (#155)
committed
Guillaume Bury
Implement best mode for model verification (#154)
committed

May 2023

Guillaume Bury
Fix to_ubv/sbv in models
committed
Guillaume Bury
Model fixes (#151)
committed

July 2021

Guillaume Bury
Remove float and extended bitv literals from FP
committed

May 2021

Guillaume Bury
Add abstraction for Names and Paths
committed

July 2020

Guillaume Bury
Fix build and deps correctly
committed
Guillaume Bury
Refactor the id splitting
committed

June 2020

François Bobot
Fixes from COLIBRI (#44)
committed

May 2020

Guillaume Bury
Lots of fixes + reworked arith filters
committed
Guillaume Bury
Lots of bug fixes
committed
Guillaume Bury
Fix parsing of bitvectors
committed
Guillaume Bury
Correctly forbids shadowing for smtlib
committed
Guillaume Bury
Add tests for bad op/index arity
committed
François Bobot
Fixes #28 (#31)
committed