Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/overturetool/overture
The Overture Tool
https://github.com/overturetool/overture
code-generation eclipse formal-methods ide java overture vdm vdm-sl vdmpp vdmrt
Last synced: 22 days ago
JSON representation
The Overture Tool
- Host: GitHub
- URL: https://github.com/overturetool/overture
- Owner: overturetool
- License: gpl-3.0
- Created: 2013-11-22T07:05:26.000Z (almost 11 years ago)
- Default Branch: development
- Last Pushed: 2024-10-03T17:38:47.000Z (about 2 months ago)
- Last Synced: 2024-10-23T02:34:01.531Z (28 days ago)
- Topics: code-generation, eclipse, formal-methods, ide, java, overture, vdm, vdm-sl, vdmpp, vdmrt
- Language: Java
- Homepage: http://overturetool.org
- Size: 210 MB
- Stars: 48
- Watchers: 26
- Forks: 25
- Open Issues: 88
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# The Overture Tool
[![Build Status](https://build.overture.au.dk/jenkins/buildStatus/icon?job=overture-development)](https://build.overture.au.dk/jenkins/job/overture-development/)
[![License](http://img.shields.io/:license-gpl3-blue.svg?style=flat-square)](http://www.gnu.org/licenses/gpl-3.0.html)
[![Maven Central](https://img.shields.io/maven-central/v/org.overturetool/core.svg?label=Maven%20Central)](http://search.maven.org/#search%7Cgav%7C1%7Cg%3A%22org.overturetool.core%22)## General Information
If you'd like general information about the Overture Project, we suggest you have a look at http://overturetool.org.
## Development
Before you download and try to use the code provided in this open-source repository, please browse through the [development wiki](https://github.com/overturetool/overture/wiki) first!
This directory contains several subdirectories:
* The core Overture libraries are found in `core`, and are pure Java with no Eclipse dependencies
* The Overture IDE, based on Eclipse, is found in `ide`
* Technical Documentation for Overture is in `documentation`## Release
The release procedure is described [here](https://github.com/overturetool/overture/wiki/New-Release-Procedure).