{"id":13421689,"url":"https://github.com/SRI-CSL/solidity","last_synced_at":"2025-03-15T10:31:17.993Z","repository":{"id":61713005,"uuid":"157957839","full_name":"SRI-CSL/solidity","owner":"SRI-CSL","description":"This is solc-verify, a modular verifier for Solidity.","archived":false,"fork":true,"pushed_at":"2023-09-05T16:46:45.000Z","size":49444,"stargazers_count":51,"open_issues_count":45,"forks_count":14,"subscribers_count":17,"default_branch":"0.7","last_synced_at":"2024-05-23T07:58:41.959Z","etag":null,"topics":["ethereum","formal-specification","formal-verification","solidity"],"latest_commit_sha":null,"homepage":"https://github.com/SRI-CSL/solidity/blob/boogie/SOLC-VERIFY-README.md","language":"C++","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":"ethereum/solidity","license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/SRI-CSL.png","metadata":{},"created_at":"2018-11-17T06:35:21.000Z","updated_at":"2024-01-23T11:09:50.000Z","dependencies_parsed_at":null,"dependency_job_id":null,"html_url":"https://github.com/SRI-CSL/solidity","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SRI-CSL%2Fsolidity","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SRI-CSL%2Fsolidity/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SRI-CSL%2Fsolidity/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SRI-CSL%2Fsolidity/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/SRI-CSL","download_url":"https://codeload.github.com/SRI-CSL/solidity/tar.gz/refs/heads/0.7","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":243475364,"owners_count":20296711,"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":["ethereum","formal-specification","formal-verification","solidity"],"created_at":"2024-07-30T23:00:28.299Z","updated_at":"2025-03-15T10:31:17.986Z","avatar_url":"https://github.com/SRI-CSL.png","language":"C++","funding_links":[],"categories":["Software Development"],"sub_categories":["Risk Management"],"readme":null,"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FSRI-CSL%2Fsolidity","html_url":"https://awesome.ecosyste.ms/projects/github.com%2FSRI-CSL%2Fsolidity","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FSRI-CSL%2Fsolidity/lists"}