{"id":20910095,"url":"https://github.com/viperproject/carbon","last_synced_at":"2025-05-13T07:31:32.079Z","repository":{"id":37007689,"uuid":"241860136","full_name":"viperproject/carbon","owner":"viperproject","description":"Verification-condition-generation-based verifier for the Viper intermediate verification language.","archived":false,"fork":false,"pushed_at":"2024-11-13T16:23:40.000Z","size":7975,"stargazers_count":30,"open_issues_count":159,"forks_count":21,"subscribers_count":6,"default_branch":"master","last_synced_at":"2024-11-13T16:41:10.017Z","etag":null,"topics":["verification","verification-condition-generation","viper"],"latest_commit_sha":null,"homepage":"","language":"Scala","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mpl-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/viperproject.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.txt","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}},"created_at":"2020-02-20T10:50:49.000Z","updated_at":"2024-11-13T16:23:31.000Z","dependencies_parsed_at":"2023-12-26T11:32:18.064Z","dependency_job_id":"f2966641-0844-4ea0-a5ab-388d470a3b0a","html_url":"https://github.com/viperproject/carbon","commit_stats":null,"previous_names":[],"tags_count":21,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/viperproject%2Fcarbon","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/viperproject%2Fcarbon/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/viperproject%2Fcarbon/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/viperproject%2Fcarbon/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/viperproject","download_url":"https://codeload.github.com/viperproject/carbon/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":225188043,"owners_count":17434990,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","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":["verification","verification-condition-generation","viper"],"created_at":"2024-11-18T14:13:53.021Z","updated_at":"2024-11-18T14:13:53.732Z","avatar_url":"https://github.com/viperproject.png","language":"Scala","funding_links":[],"categories":[],"sub_categories":[],"readme":"Carbon\n===\n\nCarbon is a verification-condition-generation-based verifier for [the Viper intermediate verification language](https://github.com/viperproject/silver).\n\n[The Viper project](http://www.pm.inf.ethz.ch/research/viper.html) is developed by the [Programming Methodology](http://www.pm.inf.ethz.ch/) group at ETH Zurich.\n\nSee [the documentation wiki](https://github.com/viperproject/documentation/wiki) for instructions on how to try out or install the Viper tools.\n\nInstallation Instructions:\n---\n\nWe recommend using carbon through the [VS Code plugin](https://marketplace.visualstudio.com/items?itemName=viper-admin.viper). Alternatively, one can compile carbon from source with the following steps:\n\n* Install Z3 and Boogie and set the environment variables `Z3_EXE` and `BOOGIE_EXE` correspondingly (see wiki above)\n* Clone this repository *recursively* by running:  \n`git clone --recursive https://github.com/viperproject/carbon`\n\nAnd then  \n* Compile and run with:  \n  `sbt \"run [options] \u003cpath to Viper file\u003e\"`\n* Alternatively, for a faster startup without compilation each time, build a `.jar` file:  \n  `sbt assembly`  \n  And then run with:  \n  `java -jar ./target/scala-*/carbon.jar [options] \u003cpath to Viper file\u003e`\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fviperproject%2Fcarbon","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fviperproject%2Fcarbon","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fviperproject%2Fcarbon/lists"}