Skip to content

Version 1.1.0

Closed Oct 17, 2017 100% complete

Extensions to the visualizers and layouts to streamline model traversal and editing. Includes updates to the build infrastructure, and the code editing infrastructure. Most importantly handles pointer and set management, while enforcing correct-by-construction semantics.

This milestone is closed.

No open issues remain. View closed issues or see open milestones in this repository.