From Wiki.overturetool.org
The releases from the Overture Tool can be found here.
Version 1.0.0 RC2
Windows
| Dialect: VDM++
| Examples Tested
| Comments
| Related Bug Ids
|
| POG
|
|
|
|
| Latex Generator
|
|
|
|
| Type Checker
|
|
|
|
| Interpreter
|
|
|
|
| Dialect: VDM-SL
| Examples Tested
| Comments
| Related Bug Ids
|
| POG
|
|
|
|
| Latex Generator
|
|
|
|
| Type Checker
|
|
|
|
| Interpreter
|
|
|
|
| Dialect: VDM-RT
| Examples Tested
| Comments
| Related Bug Ids
|
| POG
|
|
|
|
| Latex Generator
|
|
|
|
| Type Checker
|
|
|
|
| Interpreter
|
|
|
|
Linux
| Dialect: VDM++
| Examples Tested
| Comments
| Related Bug Ids
|
| POG
|
|
|
|
| Latex Generator
|
|
|
|
| Type Checker
|
|
|
|
| Interpreter
|
|
|
|
| Dialect: VDM-SL
| Examples Tested
| Comments
| Related Bug Ids
|
| POG
|
|
|
|
| Latex Generator
|
|
|
|
| Type Checker
|
|
|
|
| Interpreter
|
|
|
|
| Dialect: VDM-RT
| Examples Tested
| Comments
| Related Bug Ids
|
| POG
|
|
|
|
| Latex Generator
|
|
|
|
| Type Checker
|
|
|
|
| Interpreter
|
|
|
|
Mac
| Dialect: VDM++
| Examples Tested
| Comments
| Related Bug Ids
|
| POG
|
|
|
|
| Latex Generator
|
|
|
|
| Type Checker
|
|
|
|
| Interpreter
|
|
|
|
| Dialect: VDM-SL
| Examples Tested
| Comments
| Related Bug Ids
|
| POG
|
|
|
|
| Latex Generator
|
|
|
|
| Type Checker
|
|
|
|
| Interpreter
|
|
|
|
| Dialect: VDM-RT
| Examples Tested
| Comments
| Related Bug Ids
|
| POG
|
|
|
|
| Latex Generator
|
|
|
|
| Type Checker
|
|
|
|
| Interpreter
|
|
|
|
Documentation
| Documentation
| Language Manual
| User Manual
| Tutorial VDM-SL
| Tutorial VDM++
| Tutorial VDM-RT
|
| Errors found
|
|
|
|
|
|
Template Usage
Please take a look at the tool template and documentation template to see how they can be used.
