dolmen
forked from gbury/dolmen
Star 1
Fork 0
Watch

Version history of src/typecheck/misc.ml

November 2023

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

June 2023

Pierre Villemot
Proper handling of in_interval and bounds in triggers
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

April 2021

Guillaume Bury
Remove dead code
committed
Guillaume Bury
Switch to regular maps/hashtbls for fuzzy search
committed
Guillaume Bury
Add higher-order type-checking to Dolmen (#66)
committed

July 2020

Guillaume Bury
Fix build and deps correctly
committed
Guillaume Bury
Lots of fixes
committed

May 2020

Guillaume Bury
Faster implmentation of decimal bitv parsing
committed
Guillaume Bury
Fix parsing of bitvectors
committed
Guillaume Bury
Fix build problems
committed
Guillaume Bury
Overhaul of the error/warning reporting logic
committed

April 2020

Guillaume Bury
Fix bitv parsing (#39)
committed