| Age | Commit message (Expand) | Author |
|---|---|---|
| 2013-08-20 | Repair coqcheck : constant_body constraints are also future | letouzey |
| 2013-08-09 | checker validation fixed w.r.t. Futures | gareuselesinge |
| 2013-08-09 | checker validation made a bit more verbose | gareuselesinge |
| 2013-07-17 | Declaremods: major refactoring, stop duplicating libobjects in modules | letouzey |
| 2013-04-15 | Checker: vo validation checks the absence of Var/Evar/Meta | letouzey |
| 2013-04-15 | Checker : a md5-based way to ensure checker/values.ml is always in sync | letouzey |
| 2013-04-15 | Checker: vo validation is now done in check.ml (and always) | letouzey |
| 2013-04-15 | Checker: empty sections hardcoded in cb and mind | letouzey |
| 2013-04-15 | Checker: reified encoding of .vo types in values.ml | letouzey |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |