Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / error.ml @ 38ae7765

History | View | Annotate | Download (1.65 KB)

# Date Author Comment
38ae7765 10/06/2017 10:10 AM Pierre-Loïc Garoche

no comment
74ca6b61 09/22/2017 05:38 PM Pierre-Loïc Garoche

A fresh option to print with declared types instead of inferred ones
264a4844 07/20/2017 10:20 PM Pierre-Loïc Garoche

First working version of algebraic loop resolution. Disabled by default.
9094307a 07/18/2017 12:04 AM Pierre-Loïc Garoche

Working on algebraic loop diagnostic and resolution