{"id":19259616,"url":"https://github.com/overturetool/vdm2c","last_synced_at":"2026-03-09T08:02:15.058Z","repository":{"id":68076816,"uuid":"49344489","full_name":"overturetool/vdm2c","owner":"overturetool","description":"Working repository for the development of a VDM to C code generator","archived":false,"fork":false,"pushed_at":"2020-10-13T03:21:24.000Z","size":3600,"stargazers_count":8,"open_issues_count":9,"forks_count":0,"subscribers_count":10,"default_branch":"development","last_synced_at":"2025-04-21T16:39:25.109Z","etag":null,"topics":["c","code-generator","vdm"],"latest_commit_sha":null,"homepage":null,"language":"C","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/overturetool.png","metadata":{"files":{"readme":"readme.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2016-01-09T22:44:25.000Z","updated_at":"2023-10-27T08:15:12.000Z","dependencies_parsed_at":"2023-07-20T07:15:55.423Z","dependency_job_id":null,"html_url":"https://github.com/overturetool/vdm2c","commit_stats":null,"previous_names":[],"tags_count":21,"template":false,"template_full_name":null,"purl":"pkg:github/overturetool/vdm2c","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/overturetool%2Fvdm2c","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/overturetool%2Fvdm2c/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/overturetool%2Fvdm2c/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/overturetool%2Fvdm2c/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/overturetool","download_url":"https://codeload.github.com/overturetool/vdm2c/tar.gz/refs/heads/development","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/overturetool%2Fvdm2c/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":30287447,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-03-09T02:57:19.223Z","status":"ssl_error","status_checked_at":"2026-03-09T02:56:26.373Z","response_time":61,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["c","code-generator","vdm"],"created_at":"2024-11-09T19:17:09.764Z","updated_at":"2026-03-09T08:02:15.047Z","avatar_url":"https://github.com/overturetool.png","language":"C","funding_links":[],"categories":[],"sub_categories":[],"readme":"# VDM2C\n\nThe 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.\n\n## Installation\n\nVDM2C can be installed as an Eclipse plugin for the [Overture](http://overturetool.org/) tool. Stable releases are available via the following p2 update site:\n\n* http://overture.au.dk/vdm2c/master/repository/\n\nThose who want to try out the newest VDM2C features can obtain development builds via the following p2 site:\n\n* http://overture.au.dk/vdm2c/development/repository/\n\n## Documentation\n\nVDM2C is documented in the [Overture tool's user manual](http://overturetool.org/documentation/manuals.html) (TR-002).\n\n## Development\n\nThis section lists additional pages related to VDM2C development and release management.\n\n* VDM2C is released according to the following [release procedure](https://github.com/overturetool/vdm2c/wiki/Release-procedure)\n* Input for setting up the [development environment](https://github.com/overturetool/vdm2c/wiki/Development-environment)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Foverturetool%2Fvdm2c","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Foverturetool%2Fvdm2c","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Foverturetool%2Fvdm2c/lists"}