This directory contains:

bin: A copy of Coco.exe from http://www.ssw.uni-linz.ac.at/Research/Projects/Coco/ dated 2014-12-22.

src: A copy of the sources of Coco/R from the same place.

Note that the frame files in src/ have been modified to fit Dafny's purposes.