Skip to content

boogie-org/coco

Repository files navigation

This repository contains the code of the compiler generator Coco/R taken from http://www.ssw.uni-linz.ac.at/Coco/ (currently the version released at 2014-12-22). It is used to create a NuGet package hosted on nuget.org.

Coco/R is distributed under the terms of the GNU General Public License (slightly extended), see license.txt.