Changes
Summary
- [maven-release-plugin] prepare release Release/0.1.2 (details)
- [maven-release-plugin] prepare for next development iteration (details)
- Update README to mention important wiki pages (details)
- Clean up README (details)
- Add build status (details)
- README corrections (details)
- Reverted mistakenly commented out CALL_FUNC macro definition using (details)
- Add VDM2C 0.1.4 release notes (details)
- Prepare release of VDM2C 0.1.4 (details)