dolmen
forked from gbury/dolmen
Star 1
Fork 0
Watch

Version history of src/model/eval.ml

August 2025

Guillaume Bury
Hierarchical builtins (#240)
committed

May 2025

Guillaume Bury
Fixes for model validation in smt2.7
committed

April 2025

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

May 2023

Guillaume Bury
Model fixes (#151)
committed

April 2023

Guillaume Bury
Minor printing improvements
committed

October 2022

Guillaume Bury
Support coercion in models (only arith ones for now)
committed

June 2022

Guillaume Bury
WIP
committed
Guillaume Bury
Add div_by_zero for reals (+ a small fix)
committed
Guillaume Bury
Support division by zero in models (when specified by the model)
committed
Guillaume Bury
Add support for ADTS in model verification
committed
Guillaume Bury
Working first prototype
committed
Guillaume Bury
WIP
committed
Guillaume Bury
Somewhat working
committed
Guillaume Bury
WIP
committed