https://github.com/overturetool/vdm2c
Working repository for the development of a VDM to C code generator
https://github.com/overturetool/vdm2c
c code-generator vdm
Last synced: 3 months ago
JSON representation
Working repository for the development of a VDM to C code generator
- Host: GitHub
- URL: https://github.com/overturetool/vdm2c
- Owner: overturetool
- Created: 2016-01-09T22:44:25.000Z (over 10 years ago)
- Default Branch: development
- Last Pushed: 2020-10-13T03:21:24.000Z (over 5 years ago)
- Last Synced: 2025-04-21T16:39:25.109Z (about 1 year ago)
- Topics: c, code-generator, vdm
- Language: C
- Size: 3.43 MB
- Stars: 8
- Watchers: 10
- Forks: 0
- Open Issues: 9
-
Metadata Files:
- Readme: readme.md
Awesome Lists containing this project
README
# VDM2C
The VDM2C project aims to develop a VDM-to-C translation that allows generated VDM specifications to be executed on smaller devices that have a C or C++ compiler available. The generated code is [C89](https://en.wikipedia.org/wiki/ANSI_C#C89) compliant.
## Installation
VDM2C can be installed as an Eclipse plugin for the [Overture](http://overturetool.org/) tool. Stable releases are available via the following p2 update site:
* http://overture.au.dk/vdm2c/master/repository/
Those who want to try out the newest VDM2C features can obtain development builds via the following p2 site:
* http://overture.au.dk/vdm2c/development/repository/
## Documentation
VDM2C is documented in the [Overture tool's user manual](http://overturetool.org/documentation/manuals.html) (TR-002).
## Development
This section lists additional pages related to VDM2C development and release management.
* VDM2C is released according to the following [release procedure](https://github.com/overturetool/vdm2c/wiki/Release-procedure)
* Input for setting up the [development environment](https://github.com/overturetool/vdm2c/wiki/Development-environment)