{"id":41836,"name":"esbmc","description":"The efficient SMT-based context-bounded model checker (ESBMC)","url":"https://github.com/esbmc/esbmc","last_synced_at":"2025-09-05T09:11:59.662Z","repository":{"id":34024871,"uuid":"37783167","full_name":"esbmc/esbmc","owner":"esbmc","description":"The efficient SMT-based context-bounded model checker (ESBMC)","archived":false,"fork":false,"pushed_at":"2025-08-29T03:59:21.000Z","size":111284,"stargazers_count":372,"open_issues_count":515,"forks_count":116,"subscribers_count":17,"default_branch":"master","last_synced_at":"2025-08-29T04:28:59.971Z","etag":null,"topics":["automated-testing","automated-verification","bmc","c","cheri","cp-solver","cpp","incremental-learning","k-induction","kotlin","python","smt-solver","solidity-contracts"],"latest_commit_sha":null,"homepage":"http://esbmc.org/","language":"C","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/esbmc.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"COPYING","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2015-06-20T19:35:34.000Z","updated_at":"2025-08-28T19:16:11.000Z","dependencies_parsed_at":"2023-12-20T14:27:46.148Z","dependency_job_id":"28af5fae-ac14-47e2-87cb-649dd72f5c3f","html_url":"https://github.com/esbmc/esbmc","commit_stats":null,"previous_names":[],"tags_count":195,"template":false,"template_full_name":null,"purl":"pkg:github/esbmc/esbmc","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/esbmc%2Fesbmc","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/esbmc%2Fesbmc/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/esbmc%2Fesbmc/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/esbmc%2Fesbmc/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/esbmc","download_url":"https://codeload.github.com/esbmc/esbmc/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/esbmc%2Fesbmc/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273734694,"owners_count":25158305,"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","status":"online","status_checked_at":"2025-09-05T02:00:09.113Z","response_time":402,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"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"}},"owner":{"login":"esbmc","name":"esbmc","uuid":"12586932","kind":"organization","description":"","email":null,"website":null,"location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/12586932?v=4","repositories_count":2,"last_synced_at":"2023-03-02T13:05:37.360Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/esbmc","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-13T05:09:40.849Z","updated_at":"2023-03-02T13:05:37.370Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/esbmc","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/esbmc/repositories"},"packages":[],"commits":{"message":"Repository syncing started."},"issues_stats":{"full_name":"esbmc/esbmc","html_url":"https://github.com/esbmc/esbmc","last_synced_at":"2025-09-05T03:54:41.229Z","status":null,"issues_count":391,"pull_requests_count":710,"avg_time_to_close_issue":19818637.123348016,"avg_time_to_close_pull_request":2965043.511070111,"issues_closed_count":227,"pull_requests_closed_count":542,"pull_request_authors_count":38,"issue_authors_count":59,"avg_comments_per_issue":1.9974424552429668,"avg_comments_per_pull_request":1.2746478873239437,"merged_pull_requests_count":477,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":171,"past_year_pull_requests_count":423,"past_year_avg_time_to_close_issue":1253421.2597402597,"past_year_avg_time_to_close_pull_request":272349.9442622951,"past_year_issues_closed_count":77,"past_year_pull_requests_closed_count":305,"past_year_pull_request_authors_count":26,"past_year_issue_authors_count":34,"past_year_avg_comments_per_issue":1.286549707602339,"past_year_avg_comments_per_pull_request":0.7943262411347518,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":278,"created_at":"2025-07-16T12:29:05.879Z","updated_at":"2025-09-05T03:54:41.231Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/esbmc%2Fesbmc","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/esbmc%2Fesbmc/issues","issue_labels_count":{"C++":38,"bug":19,"good first issue":13,"python":12,"no-issue-activity":11,"cheri":5,"help wanted":5,"cmake":5,"smt":5,"ucode":4,"CI":3,"SV-COMP 2021":3,"Solidity":3,"vla":3,"dereference":2,"discussion":2,"enhancement":2,"question":2,"test-comp":2,"OM":2,"duplicate":2,"concurrency":2,"goto-guard":1,"kernel":1,"umbrella":1,"trace":1,"goto-contractor":1,"multi-property":1,"memory-model":1,"gnu":1,"witness":1,"test":1,"variadic-64bit":1,"double-check":1,"k-induction":1,"needs info":1,"SV-COMP":1},"pull_request_labels_count":{"python":65,"C++":32,"OM":8,"smt":8,"needs-svcomp-run":6,"CI":5,"no-pr-activity":3,"discussion":2,"help wanted":2,"abstract-interpretation":2,"SV-COMP":2,"concurrency":2,"symex":2,"memory-model":1,"macOS":1,"enhancement":1,"cheri":1,"windows":1,"dereference":1,"C":1},"issue_author_associations_count":{"CONTRIBUTOR":176,"COLLABORATOR":132,"NONE":65,"MEMBER":18},"pull_request_author_associations_count":{"COLLABORATOR":398,"CONTRIBUTOR":253,"MEMBER":36,"NONE":23},"issue_authors":{"lucasccordeiro":127,"rafaelsamenezes":35,"intrigus-lgtm":30,"ChenfengWei0":24,"fbrausse":23,"XLiZHI":21,"tihanyin":16,"Anthonysdu":14,"kunjsong01":9,"LukeW1999":7,"mikhailramalho":6,"ShemaAlosaimi":5,"sshivaji":4,"Yiannis128":4,"Costandre97":4,"Novak756":3,"hanxiatu-github":3,"haru-02":3,"brcfarias":3,"salvadorer":3,"hassan-truscova":3,"ligurio":2,"prototypeC14":2,"MJJ-Shuai":2,"mali-tintash":2,"hyerdesignm":2,"JacobYiu":2,"bormaa":1,"Ben-Eichhoefer":1,"pmorvalho":1,"oerdnj":1,"mark-071":1,"BeamRaceMuppet":1,"a-fleck":1,"feliperodri":1,"matheus-junio-da-silva":1,"iphydf":1,"HOLLYwyh":1,"Shammaalhosani":1,"KaiOceanus":1,"farif":1,"vipin-ravi-bharadwaj":1,"Kikows":1,"francoisschwarzentruber":1,"InvisOn":1,"NicolasRouquette":1,"XaverFink":1,"danielmarioreynaldi":1,"h-mole":1,"edusporto":1,"zhuyutian57":1,"ibnyusuf":1,"shmarovfedor":1,"Bo-Yuan-Huang":1,"1361x7":1,"dckc":1,"RaphaelvnMello":1,"metamaterialsuit":1,"Po-Chun-Chien":1},"pull_request_authors":{"lucasccordeiro":167,"XLiZHI":122,"brcfarias":70,"rafaelsamenezes":63,"ChenfengWei0":58,"intrigus-lgtm":56,"fbrausse":50,"Anthonysdu":30,"sshivaji":14,"prototypeC14":12,"mikhailramalho":12,"Ben-Eichhoefer":6,"kunjsong01":5,"haru-02":5,"Luke-Sanderson":5,"ivomachado":3,"rurban":3,"mihaistate":3,"JacobYiu":3,"Yiannis128":2,"hunterbrightdesign":2,"Mohannad-Aldughaim":2,"Chriszai":2,"ShemaAlosaimi":1,"sulaychaudhry":1,"ibnyusuf":1,"adilanwar2399":1,"sfsiegel":1,"mali-tintash":1,"emanino":1,"DevM-uk":1,"LukeW1999":1,"bormaa":1,"Goblin57":1,"lahiri-phdworks":1,"ligurio":1,"sergillam":1,"zhuyutian57":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-05T00:00:10.444Z","repositories_count":10095926,"issues_count":31397479,"pull_requests_count":97150418,"authors_count":10700329,"icon_url":"https://github.com/github.png","host_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories","owners_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/owners","authors_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors"},"past_year_issue_labels_count":{"C++":13,"python":10,"bug":4,"good first issue":3,"concurrency":2,"help wanted":2,"test-comp":2,"trace":1,"goto-contractor":1,"multi-property":1,"memory-model":1,"smt":1,"test":1,"SV-COMP":1,"cheri":1},"past_year_pull_request_labels_count":{"python":56,"C++":20,"smt":5,"concurrency":2,"SV-COMP":2,"enhancement":1,"symex":1,"memory-model":1,"needs-svcomp-run":1,"help wanted":1},"past_year_issue_author_associations_count":{"CONTRIBUTOR":80,"COLLABORATOR":54,"NONE":36,"MEMBER":1},"past_year_pull_request_author_associations_count":{"COLLABORATOR":233,"CONTRIBUTOR":168,"NONE":14,"MEMBER":8},"past_year_issue_authors":{"lucasccordeiro":71,"ChenfengWei0":14,"intrigus-lgtm":13,"XLiZHI":8,"tihanyin":8,"LukeW1999":7,"rafaelsamenezes":5,"ShemaAlosaimi":5,"Costandre97":4,"sshivaji":4,"Anthonysdu":4,"hanxiatu-github":2,"hassan-truscova":2,"hyerdesignm":2,"prototypeC14":2,"ligurio":2,"NicolasRouquette":1,"oerdnj":1,"mikhailramalho":1,"pmorvalho":1,"RaphaelvnMello":1,"Yiannis128":1,"metamaterialsuit":1,"matheus-junio-da-silva":1,"mark-071":1,"KaiOceanus":1,"InvisOn":1,"francoisschwarzentruber":1,"edusporto":1,"danielmarioreynaldi":1,"brcfarias":1,"Ben-Eichhoefer":1,"a-fleck":1,"1361x7":1},"past_year_pull_request_authors":{"lucasccordeiro":136,"XLiZHI":77,"ChenfengWei0":41,"brcfarias":41,"intrigus-lgtm":30,"rafaelsamenezes":22,"Anthonysdu":19,"sshivaji":14,"mikhailramalho":7,"Ben-Eichhoefer":6,"Luke-Sanderson":5,"prototypeC14":5,"mihaistate":3,"rurban":3,"hunterbrightdesign":2,"Chriszai":2,"Goblin57":1,"adilanwar2399":1,"Yiannis128":1,"sfsiegel":1,"LukeW1999":1,"sulaychaudhry":1,"sergillam":1,"DevM-uk":1,"ligurio":1,"ShemaAlosaimi":1},"maintainers":[{"login":"XLiZHI","count":143,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/XLiZHI"},{"login":"ChenfengWei0","count":82,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ChenfengWei0"},{"login":"fbrausse","count":73,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/fbrausse"},{"login":"brcfarias","count":73,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/brcfarias"},{"login":"intrigus-lgtm","count":65,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/intrigus-lgtm"},{"login":"Anthonysdu","count":44,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Anthonysdu"},{"login":"mikhailramalho","count":18,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mikhailramalho"},{"login":"tihanyin","count":16,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/tihanyin"},{"login":"kunjsong01","count":14,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/kunjsong01"},{"login":"prototypeC14","count":13,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/prototypeC14"},{"login":"sshivaji","count":10,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/sshivaji"},{"login":"haru-02","count":8,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/haru-02"},{"login":"Ben-Eichhoefer","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Ben-Eichhoefer"},{"login":"Luke-Sanderson","count":5,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Luke-Sanderson"},{"login":"ivomachado","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ivomachado"},{"login":"mihaistate","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mihaistate"},{"login":"ibnyusuf","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ibnyusuf"},{"login":"Mohannad-Aldughaim","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Mohannad-Aldughaim"},{"login":"Goblin57","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Goblin57"},{"login":"feliperodri","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/feliperodri"},{"login":"LukeW1999","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/LukeW1999"},{"login":"emanino","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/emanino"},{"login":"shmarovfedor","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/shmarovfedor"}],"active_maintainers":[{"login":"XLiZHI","count":85,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/XLiZHI"},{"login":"ChenfengWei0","count":55,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ChenfengWei0"},{"login":"intrigus-lgtm","count":43,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/intrigus-lgtm"},{"login":"brcfarias","count":42,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/brcfarias"},{"login":"Anthonysdu","count":23,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Anthonysdu"},{"login":"sshivaji","count":10,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/sshivaji"},{"login":"tihanyin","count":8,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/tihanyin"},{"login":"mikhailramalho","count":8,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mikhailramalho"},{"login":"prototypeC14","count":7,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/prototypeC14"},{"login":"Ben-Eichhoefer","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Ben-Eichhoefer"},{"login":"Luke-Sanderson","count":5,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Luke-Sanderson"},{"login":"mihaistate","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mihaistate"},{"login":"LukeW1999","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/LukeW1999"},{"login":"Goblin57","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Goblin57"}]},"events":null,"keywords":["automated-testing","automated-verification","bmc","c","cheri","cp-solver","cpp","incremental-learning","k-induction","kotlin","python","smt-solver","solidity-contracts"],"dependencies":[{"ecosystem":"actions","filepath":".github/workflows/benchbringup.yml","sha":null,"kind":"manifest","created_at":"2023-01-15T04:15:16.886Z","updated_at":"2023-01-15T04:15:16.886Z","repository_link":"https://github.com/esbmc/esbmc/blob/master/.github/workflows/benchbringup.yml","dependencies":[{"id":6914652340,"package_name":"actions/checkout","ecosystem":"actions","requirements":"master","direct":true,"kind":"composite","optional":false},{"id":6914652341,"package_name":"hendrikmuhs/ccache-action","ecosystem":"actions","requirements":"v1.2","direct":true,"kind":"composite","optional":false},{"id":6914652342,"package_name":"actions/upload-artifact","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":6914652343,"package_name":"actions/upload-artifact","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/benchexec.yml","sha":null,"kind":"manifest","created_at":"2023-01-15T04:15:18.207Z","updated_at":"2023-01-15T04:15:18.207Z","repository_link":"https://github.com/esbmc/esbmc/blob/master/.github/workflows/benchexec.yml","dependencies":[{"id":6914662255,"package_name":"actions/checkout","ecosystem":"actions","requirements":"master","direct":true,"kind":"composite","optional":false},{"id":6914662256,"package_name":"hendrikmuhs/ccache-action","ecosystem":"actions","requirements":"v1.2","direct":true,"kind":"composite","optional":false},{"id":6914662257,"package_name":"actions/upload-artifact","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":6914662258,"package_name":"actions/download-artifact","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/build.yml","sha":null,"kind":"manifest","created_at":"2023-01-15T04:15:18.711Z","updated_at":"2023-01-15T04:15:18.711Z","repository_link":"https://github.com/esbmc/esbmc/blob/master/.github/workflows/build.yml","dependencies":[{"id":6914670043,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":6914670053,"package_name":"hendrikmuhs/ccache-action","ecosystem":"actions","requirements":"v1.2","direct":true,"kind":"composite","optional":false},{"id":6914670054,"package_name":"actions/upload-artifact","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":6914670055,"package_name":"actions/upload-artifact","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":6914670056,"package_name":"actions/setup-java","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":6914670057,"package_name":"actions/setup-python","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/release.yml","sha":null,"kind":"manifest","created_at":"2023-01-15T04:15:20.755Z","updated_at":"2023-01-15T04:15:20.755Z","repository_link":"https://github.com/esbmc/esbmc/blob/master/.github/workflows/release.yml","dependencies":[{"id":6914679003,"package_name":"actions/checkout","ecosystem":"actions","requirements":"master","direct":true,"kind":"composite","optional":false},{"id":6914679005,"package_name":"hendrikmuhs/ccache-action","ecosystem":"actions","requirements":"v1.2","direct":true,"kind":"composite","optional":false},{"id":6914679007,"package_name":"actions/upload-artifact","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":6914679009,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":6914679011,"package_name":"actions/setup-python","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":6914679012,"package_name":"actions/download-artifact","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":6914679013,"package_name":"actions/create-release","ecosystem":"actions","requirements":"v1.0.0","direct":true,"kind":"composite","optional":false},{"id":6914679014,"package_name":"actions/upload-release-asset","ecosystem":"actions","requirements":"v1.0.1","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/build-onpush.yml","sha":null,"kind":"manifest","created_at":"2023-09-23T13:44:21.738Z","updated_at":"2023-09-23T13:44:21.738Z","repository_link":"https://github.com/esbmc/esbmc/blob/master/.github/workflows/build-onpush.yml","dependencies":[{"id":13900656410,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":13900656411,"package_name":"actions/upload-artifact","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":13900656412,"package_name":"actions/upload-artifact","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/pull_request.yml","sha":null,"kind":"manifest","created_at":"2023-09-23T13:44:21.959Z","updated_at":"2023-09-23T13:44:21.959Z","repository_link":"https://github.com/esbmc/esbmc/blob/master/.github/workflows/pull_request.yml","dependencies":[{"id":13900657884,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":13900657885,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":13900657886,"package_name":"xu-cheng/latex-action","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":13900657887,"package_name":"actions/upload-artifact","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":13900657888,"package_name":"actions/setup-python","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/build-unix.yml","sha":null,"kind":"manifest","created_at":"2023-11-19T19:34:04.499Z","updated_at":"2023-11-19T19:34:04.499Z","repository_link":"https://github.com/esbmc/esbmc/blob/master/.github/workflows/build-unix.yml","dependencies":[{"id":14599208127,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":14599208128,"package_name":"actions/upload-artifact","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/build-windows.yml","sha":null,"kind":"manifest","created_at":"2023-11-19T19:34:04.710Z","updated_at":"2023-11-19T19:34:04.710Z","repository_link":"https://github.com/esbmc/esbmc/blob/master/.github/workflows/build-windows.yml","dependencies":[{"id":14599208937,"package_name":"actions/setup-python","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":14599208940,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":14599208942,"package_name":"actions/upload-artifact","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false}]}],"score":null,"created_at":"2025-09-04T15:51:16.656Z","updated_at":"2025-10-07T08:17:02.362Z","avatar_url":"https://github.com/esbmc.png","language":"C","category":null,"sub_category":null,"monthly_downloads":0,"funding_links":[],"readme_doi_urls":["https://doi.org/10.48550/arXiv.2305.14752","https://doi.org/10.1145/3650212.3685304","https://doi.org/10.1145/3691620.3695512","https://doi.org/10.1145/3533767.3543294","https://doi.org/10.1145/3533767.3543289","https://doi.org/10.1002/stvr.1793","https://doi.org/10.1007/978-3-030-63618-0_11","https://doi.org/10.1145/3238147.3240481","https://doi.org/10.1007/s10270-013-0366-0","https://doi.org/10.1007/s10009-015-0407-9","https://doi.org/10.1002/cpe.3934","https://doi.org/10.1109/TSE.2011.59","https://doi.org/10.1145/1985793.1985839"],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":[],"project_url":"https://science.ecosyste.ms/api/v1/projects/41836","html_url":"https://science.ecosyste.ms/projects/41836"}