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: 5 months 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 (about 12 years ago)
• Default Branch: development
• Last Pushed: 2024-10-03T17:38:47.000Z (over 1 year ago)
• Last Synced: 2025-04-05T04:11:12.354Z (10 months 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: 50
• Watchers: 25
• Forks: 24
• 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).