If you'd like general information about the Overture Project, we suggest you have a look at http://overturetool.org.
Before you download and try to use the code provided in this open-source repository, please browse through the development wiki at https://github.com/overturetool/overture/wiki first!
This directory contains several subdirectories:
- The core Overture libraries are found in
code, and are pure Java with no Eclipse dependencies - The Overture IDE, based on Eclipse, are found in
ide - Documentation for VDM and Overture is in
documentation - Auxiliary code that supports the build process are found in
tools