dolmen
forked from gbury/dolmen
Star 1
Fork 0
Watch

Version history of src/typecheck/float.mli

March 2025

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

May 2023

Guillaume Bury
Model fixes (#151)
committed

June 2022

Guillaume Bury
WIP
committed
Guillaume Bury
Add response class for parsing provers responses
committed

July 2021

Guillaume Bury
Remove float and extended bitv literals from FP
committed

July 2020

Guillaume Bury
Fix build and deps correctly
committed
Guillaume Bury
Try and fix missing module error
committed

May 2020

Guillaume Bury
Lots of fixes + reworked arith filters
committed
François Bobot
Fixes #28 (#31)
committed