aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker/cic.mli
Commit message (Expand)AuthorAge
* Slightly more compact representation of 'a substituted type,Gravatar ppedrot2013-09-14
* Change in vo format : digest aren't Marshalled anymoreGravatar letouzey2013-08-22
* Declarations.mli: reorganization of modular structuresGravatar letouzey2013-08-20
* State Transaction MachineGravatar gareuselesinge2013-08-08
* Checker: vo validation checks the absence of Var/Evar/MetaGravatar letouzey2013-04-15
* Checker: vo validation is now done in check.ml (and always)Gravatar letouzey2013-04-15
* Checker: empty sections hardcoded in cb and mindGravatar letouzey2013-04-15
* Checker: reified encoding of .vo types in values.mlGravatar letouzey2013-04-15
* Checker: regroup all vo-related types in cic.mliGravatar letouzey2013-04-15