dolmen
forked from gbury/dolmen
Star 1
Fork 0
Watch

Version history of src/model/loop.ml

February 2026

Guillaume Bury
Fixes for implicit type vars and datatype decls in smt-lib
committed

August 2025

Guillaume Bury
Smtlib Printer (#211)
committed
Guillaume Bury
Hierarchical builtins (#240)
committed

March 2025

Basile Clément
feat: Add support for user-defined builtins with Dune plugins (#214)
committed

September 2024

Guillaume Bury
Fix evaluation of goals
committed

November 2023

Guillaume Bury
Add proper support for `:named` smtlib annotations (#199)
committed

June 2023

Guillaume Bury
Add an error for models of incremental problems
committed
Guillaume Bury
Fix issue 163
committed
Pierrot
Support check_sat statement for Alt-Ergo language (#140)
committed
Guillaume Bury
Fix newline issue in test
committed
Guillaume Bury
Implement best mode for model verification (#154)
committed
Guillaume Bury
Add printing of type definitions in debug output (#157)
committed

May 2023

Guillaume Bury
Model fixes (#151)
committed

April 2023

Guillaume Bury
Fix bug in model/bitv.ml (#138)
committed

March 2023

Guillaume Bury
Flow check + some windows fixes (#135)
committed
Guillaume Bury
Ensure stable error codes (#134)
committed

February 2023

Guillaume Bury
Add interleaved mode for model verification (#131)
committed

October 2022

Guillaume Bury
Add to state keys the name of the module responsible for their init
committed
Guillaume Bury
Group state keys by module with an init function
committed
Guillaume Bury
Support coercion in models (only arith ones for now)
committed

September 2022

Guillaume Bury
Add option to print syntax error identifiers
committed

July 2022

Guillaume Bury
Add handling for (error ...) in responses
committed

June 2022

Guillaume Bury
Better handling of corner cases in models + adjusted err/warn messages
committed
Guillaume Bury
Cleanup handling of definitions
committed
François Bobot
[Model] Add fp theory
committed
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
Change state to hmap to simplify deps between modules
committed