History | View | Annotate | Download (43.9 KB)
guarantee(s)
renamed mode as mode_ to avoid collision with the mode keyword of cocospec.
Renaminig lustre contracts from ensures to guaranteesWill require the latest cocospec branch to compile (before it is integrated in the unstable/master branches)
factorize kind_fmcad08 in one cmake file