Code Generation for Recursive Programs developed in Rodin

Instructions

Dependencies

Rodin 3.4

Install

Download latest update site of EB2RC from Github Release.
In Eclipse, goto Help -> Install New Software -> Add -> Archive -> Choosing the download archive -> Select EB2RC from Category -> Finish.

Usage

See Wiki page.

Contacts

Zheng Cheng: [email protected]

Dominique Méry: [email protected]

Collaborators

Rosemary Monahan, Maynooth Univerisity, IE