dolmen
forked from gbury/dolmen
Star 1
Fork 0
Watch

Version history of src/interface/tag.ml

March 2024

Guillaume Bury
Fix attributes in nested binders (#210)
committed

June 2023

Pierre Villemot
Proper handling of in_interval and bounds in triggers
committed

September 2022

Hichem R. A
Added tags to predicates to differentiate them from functions in Alt-Ergo's logic (#104)
committed

June 2022

Hichem R. A
Complete and fix alt-ergo's native language typing (#89)
committed

November 2021

HRA
Add support for Alt-Ergo's built-ins (#87)
committed

May 2021

Guillaume Bury
Fix multi-trigger tag
committed

April 2021

Guillaume Bury
Add higher-order type-checking to Dolmen (#66)
committed

May 2020

Guillaume Bury
Lots of bug fixes
committed

February 2020

Guillaume Bury
Some more typing tests
committed
Guillaume Bury
Typechecking and LSP server
committed