History | View | Annotate | Download (3.94 KB)
Renaminig lustre contracts from ensures to guaranteesWill require the latest cocospec branch to compile (before it is integrated in the unstable/master branches)
change kind folder