Commit message (Expand) | Author | Age | |
---|---|---|---|
* | checker and votour ported to new vo format (after -vi2vo) | 2014-02-26 | |
* | Slightly more compact representation of 'a substituted type, | 2013-09-14 | |
* | Change in vo format : digest aren't Marshalled anymore | 2013-08-22 | |
* | Declarations.mli: reorganization of modular structures | 2013-08-20 | |
* | State Transaction Machine | 2013-08-08 | |
* | Checker: vo validation checks the absence of Var/Evar/Meta | 2013-04-15 | |
* | Checker: vo validation is now done in check.ml (and always) | 2013-04-15 | |
* | Checker: empty sections hardcoded in cb and mind | 2013-04-15 | |
* | Checker: reified encoding of .vo types in values.ml | 2013-04-15 | |
* | Checker: regroup all vo-related types in cic.mli | 2013-04-15 |