dolmen
forked from gbury/dolmen
Star 1
Fork 0
Watch

Version history of src/bin/errors.ml

April 2023

Guillaume Bury
Give the correct backtrace to uncaught_exn
committed

December 2022

Guillaume Bury
Fix windows build and tests (#117)
committed

October 2021

Guillaume Bury
More structured errors and warnings
committed

April 2021

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

March 2021

Guillaume Bury
Fix typo
committed
Guillaume Bury
Various fixes
committed
Guillaume Bury
Add structured return codes
committed

October 2020

Guillaume Bury
More structured syntax errors
committed

September 2020

Guillaume Bury
Lots of error handling changed
committed
Guillaume Bury
Somewhat better formatting for syntax error messages
committed

August 2020

Guillaume Bury
Re-organized pipes to make them more local
committed

July 2020

Guillaume Bury
Location refactor to reduce memory usage
committed
Guillaume Bury
Fix build and deps correctly
committed
Guillaume Bury
Untangling the spaghetti
committed

May 2020

Guillaume Bury
Simplified error printing when limits are reached
committed
Guillaume Bury
Lots of bug fixes
committed
Guillaume Bury
Better errors
committed
Guillaume Bury
Fix build problems
committed
Guillaume Bury
Overhaul of the error/warning reporting logic
committed

March 2020

Guillaume Bury
Use the linear filter according to smtlib logic
committed

February 2020

Guillaume Bury
Typechecking and LSP server
committed