Pinned Repositories
astcreator
The Overture AstCreator Tool
documentation
Documentation and examples
language
Overture Language Board issue tracking
overture
The Overture Tool
overture-fmu
Extension to Overture which enable Overture with VDM-RT to be used with the FMI interface
overturetool.github.io
The Overture Tool Website
shm-fmi
Shared Memory bridge for FMI
vdm-vscode
Visual Studio Code extension for VDM language support
vdm2c
Working repository for the development of a VDM to C code generator
web-ide-frontend
overturetool's Repositories
overturetool/overture
The Overture Tool
overturetool/vdm-vscode
Visual Studio Code extension for VDM language support
overturetool/vdm2c
Working repository for the development of a VDM to C code generator
overturetool/overture-fmu
Extension to Overture which enable Overture with VDM-RT to be used with the FMI interface
overturetool/documentation
Documentation and examples
overturetool/overturetool.github.io
The Overture Tool Website
overturetool/shm-fmi
Shared Memory bridge for FMI
overturetool/astcreator
The Overture AstCreator Tool
overturetool/language
Overture Language Board issue tracking
overturetool/web-ide-frontend
overturetool/overture-release-scripts
Scripts used for releasing Overture
overturetool/testfmus
Place to store Overture models and FMUs for testing against the FMI standard
overturetool/web-ide-backend
overturetool/cold-storage
Archival repository for Overture projects that are quiescent
overturetool/example-packager
The Overture VDM Example Packager
overturetool/guibuilder
Automated GUI constructions from VDM models
overturetool/overture-graphics-plugin
Live plotting for Overture using listeners
overturetool/prob-interpreter-integration
Overture feature that enables implicit function/operation bodies to be interpreted using the ProB model checker
overturetool/dev-tutorials
overturetool/externaltests
External tests for the Overture tool
overturetool/intocps-tracability-driver
Prototype of a traceability driver for overture git and INTO-CPS
overturetool/tempo-ui
UI bindings for Overture models with DukeScript
overturetool/vdm2alloy
A VDM to Alloy translator of simple implicit VDM-SL models
overturetool/vdmtools