{"repo":"overturetool/overture","free":true,"listed":false,"github":"https://github.com/overturetool/overture","clone":"git clone https://github.com/overturetool/overture.git","description":"The Overture Tool","language":"Java","stars":53,"topics":["vdm","vdm-sl","vdmpp","vdmrt","ide","formal-methods","overture","eclipse","java","code-generation"],"license":"GPL-3.0","category":"dev-tools","readme_excerpt":"The Overture Tool 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 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.","default_branch":null,"files":null,"tree":[],"storefront":"/r/overturetool","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/overturetool/overture/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}