{"full_name":"cvc5/cvc5","html_url":"https://github.com/cvc5/cvc5","last_synced_at":"2026-10-06T21:00:38.081Z","status":null,"issues_count":447,"pull_requests_count":3340,"avg_time_to_close_issue":18932870.87455197,"avg_time_to_close_pull_request":1572266.2377344877,"issues_closed_count":279,"pull_requests_closed_count":2772,"pull_request_authors_count":69,"issue_authors_count":158,"avg_comments_per_issue":1.505592841163311,"avg_comments_per_pull_request":0.2967065868263473,"merged_pull_requests_count":2666,"bot_issues_count":0,"bot_pull_requests_count":2,"past_year_issues_count":71,"past_year_pull_requests_count":180,"past_year_avg_time_to_close_issue":4839676.2272727275,"past_year_avg_time_to_close_pull_request":1096467.75,"past_year_issues_closed_count":44,"past_year_pull_requests_closed_count":104,"past_year_pull_request_authors_count":26,"past_year_issue_authors_count":27,"past_year_avg_comments_per_issue":0.5352112676056338,"past_year_avg_comments_per_pull_request":0.3388888888888889,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":94,"created_at":"2023-05-14T11:23:59.465Z","updated_at":"2026-10-06T21:00:38.082Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/cvc5%2Fcvc5","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/cvc5%2Fcvc5/issues","issue_labels_count":{"experimental":59,"safe-options":32,"question":12,"normal":9,"simple":7,"performance":7,"feature":6,"more information needed":5,"bug":4,"moderate":3,"duplicate":2,"major":2,"work in progress":1,"good first issue":1,"enhancement":1},"pull_request_labels_count":{"normal":1987,"simple":1808,"moderate":1071,"minor":501,"major":390,"ci":82,"work in progress":77,"do not merge":72,"bug":22,"complex":12,"feature":11,"refactor":7,"project":7,"ai-suggestion":4,"engineer":3,"dependencies":2,"automated":1,"size/S":1,"approved":1,"kubeapps-apis":1,"enhancement":1,"verify":1,"awaiting-signoff":1,"auto-merge":1,"performance":1},"issue_author_associations_count":{"NONE":337,"CONTRIBUTOR":88,"MEMBER":21,"OWNER":1},"pull_request_author_associations_count":{"MEMBER":2542,"CONTRIBUTOR":747,"NONE":50,"OWNER":1},"issue_authors":{"merlinsun":46,"zhendongsu":26,"HuStmpHrrr":18,"wintered":16,"Heaven2024":14,"fwangdo":13,"BrunoDutertre":12,"wingsyuyi-satori":12,"daniel-larraz":12,"hagozaebii":11,"aytey":9,"florianschanda":9,"ajreynol":7,"yurivict":7,"Joejoedesu":7,"lmaltsis":7,"yannickmoy":7,"brutalsavage":6,"LeventErkok":6,"rachelcleaveland":5,"rod-chapman":5,"barrettcw":4,"mpreiner":4,"bpandreotti":4,"rodrigo7491":4,"aniemetz":4,"BillHallahan":3,"kanigsson":3,"daniel-raffler":3,"srod5125":3,"GrootProgrammer":3,"cychen2021":3,"Selebrator":3,"someplaceguy":3,"QPotato":3,"depted":3,"yav":2,"robby-phd":2,"kjcjohnson":2,"clairedross":2,"edwardcwang":2,"tigerfower":2,"jbosboom":2,"rainoftime":2,"CyanoKobalamyne":2,"aaronjeline":2,"swt2c":2,"gussmith23":2,"muchang":2,"llingapp-amzn":2,"DavidPratten":2,"zeno-98":2,"avery-laird":2,"ds0ayane":2,"jefftrull":2,"kfriedberger":2,"victornicolet":1,"levinwinter":1,"grhcj":1,"zhengyao-lin":1,"Lizn-zn":1,"luxas":1,"keikun555":1,"Avgor46":1,"ffwangdo":1,"singh-harish":1,"polgreen":1,"maheenmatin":1,"ntsis":1,"vzhn":1,"CharAznable1024":1,"amaleewilson":1,"nafur":1,"Kojoley":1,"MattCWheeler":1,"goodlyrottenapple":1,"jpziegler":1,"dddejan":1,"r0ayane":1,"dom-omg":1,"hongjianjiang":1,"zaxioms0":1,"anvayg":1,"sushant94":1,"PinkFrojdSenjak":1,"rachitnigam":1,"langston-barrett":1,"santolucito":1,"AlexGreason":1,"benjaminfjones":1,"ailrst":1,"Mingyu821":1,"daneshvar-amrollahi":1,"SamPruden":1,"cgjohannsen":1,"algebravic":1,"meng-xu-cs":1,"JC-Chen1":1,"hansjoergschurr":1,"davidcok":1,"unosalt":1,"ambiso":1,"Anthonysdu":1,"soheil647":1,"kartik-sabharwal":1,"repowazdogz-droid":1,"whangdo":1,"ffrohn":1,"neta-elad":1,"d-xo":1,"Neil-HD":1,"amigalemming":1,"baoluomeng":1,"dailler":1,"kkw423":1,"mikhailramalho":1,"MarcoKeppel":1,"Btraube":1,"ti-m-o":1,"gcluzel":1,"Eladkay":1,"KJongUk":1,"theauk":1,"carolyntalcott":1,"starrymilkteadelight":1,"evmaus":1,"ctchou":1,"HanielB":1,"lianah":1,"Tomaqa":1,"eric-wieser":1,"SebastiaanHenau":1,"headinthebox":1,"minasrmy":1,"iscas-zac":1,"igibek":1,"nnarek":1,"Se4ky":1,"KuoJeffrey":1,"wintersmind":1,"vrindisbacher":1,"tomaz1502":1,"baierd":1,"Marti2203":1,"hchenqide":1,"sjunges":1,"AnkitMU":1,"nicola-gigante":1,"limpa105":1,"clayrat":1,"Vtec234":1,"nmeum":1,"jogasser":1,"THinnerichs":1,"aottr":1,"alicorn0618":1,"critizero":1,"ptroja":1},"pull_request_authors":{"ajreynol":1899,"daniel-larraz":458,"aniemetz":356,"HanielB":95,"mudathirmahgoub":74,"mpreiner":55,"alex-ozdemir":42,"yoni206":36,"vleni":33,"aytey":33,"abdoo8080":28,"kartik-sabharwal":24,"Lachnitt":22,"vrcamillo":18,"hansjoergschurr":16,"netolcc06":15,"amaleewilson":12,"lenianiva":10,"eric-wieser":8,"alanctprado":7,"kondylidou":7,"jefftrull":6,"ntsis":5,"swt2c":5,"ciaran-matthew-dunne":4,"tomerH98":4,"BergerZvika":4,"Ovascos":3,"QPotato":3,"Sarkoxed":3,"CyanoKobalamyne":3,"yonikal56":2,"robertwb":2,"jpziegler":2,"vinisilvag":2,"4tXJ7f":2,"resende-gabriel":2,"ofecisrael":2,"dependabot[bot]":2,"rachelcleaveland":2,"daniel-raffler":2,"jamesjer":2,"nmouha":2,"nicola-gigante":2,"psaccomani15":2,"TendTo":1,"limpa105":1,"bitnami-bot":1,"ffrohn":1,"ailrst":1,"PratherConid":1,"Joejoedesu":1,"JoanEspasa":1,"nafur":1,"kanigsson":1,"Anjiang-Wei":1,"bpandreotti":1,"tniessen":1,"MikolasJanota":1,"r0cketdyne":1,"derecknowayback":1,"repowazdogz-droid":1,"tomaz1502":1,"RSoulatIOHK":1,"tmoux":1,"leandrohstein":1,"msoos":1,"jimmyliangmo":1,"ari-feiglin":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2026-10-11T00:00:06.905Z","repositories_count":17941514,"issues_count":47938881,"pull_requests_count":148440620,"authors_count":11977229,"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":{"experimental":25,"safe-options":16,"question":1},"past_year_pull_request_labels_count":{"normal":87,"simple":85,"moderate":46,"minor":24,"major":18,"work in progress":13,"do not merge":4,"ai-suggestion":4,"engineer":1,"complex":1,"performance":1,"ci":1},"past_year_issue_author_associations_count":{"CONTRIBUTOR":35,"NONE":35,"MEMBER":1},"past_year_pull_request_author_associations_count":{"MEMBER":99,"CONTRIBUTOR":75,"NONE":4},"past_year_issue_authors":{"HuStmpHrrr":14,"wingsyuyi-satori":12,"Joejoedesu":7,"lmaltsis":7,"aytey":6,"QPotato":3,"aaronjeline":2,"zaxioms0":1,"yurivict":1,"wintered":1,"victornicolet":1,"repowazdogz-droid":1,"nmeum":1,"minasrmy":1,"mikhailramalho":1,"luxas":1,"lianah":1,"KuoJeffrey":1,"jogasser":1,"jefftrull":1,"headinthebox":1,"dom-omg":1,"daniel-larraz":1,"CyanoKobalamyne":1,"BillHallahan":1,"aniemetz":1,"AlexGreason":1},"past_year_pull_request_authors":{"ajreynol":77,"daniel-larraz":32,"mudathirmahgoub":19,"aniemetz":12,"aytey":5,"kondylidou":5,"mpreiner":4,"yoni206":3,"QPotato":3,"rachelcleaveland":2,"Ovascos":1,"PratherConid":1,"psaccomani15":1,"repowazdogz-droid":1,"RSoulatIOHK":1,"TendTo":1,"tomaz1502":1,"lenianiva":1,"Lachnitt":1,"Joejoedesu":1,"JoanEspasa":1,"jimmyliangmo":1,"HanielB":1,"bpandreotti":1,"ari-feiglin":1,"abdoo8080":1},"maintainers":[{"login":"ajreynol","count":1906,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ajreynol"},{"login":"aniemetz","count":360,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/aniemetz"},{"login":"HanielB","count":96,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/HanielB"},{"login":"mpreiner","count":59,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mpreiner"},{"login":"alex-ozdemir","count":42,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/alex-ozdemir"},{"login":"yoni206","count":36,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/yoni206"},{"login":"abdoo8080","count":28,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/abdoo8080"},{"login":"vleni","count":18,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/vleni"},{"login":"lenianiva","count":10,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/lenianiva"},{"login":"barrettcw","count":4,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/barrettcw"},{"login":"nafur","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/nafur"},{"login":"4tXJ7f","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/4tXJ7f"},{"login":"leandrohstein","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/leandrohstein"},{"login":"aottr","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/aottr"}],"active_maintainers":[{"login":"ajreynol","count":77,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ajreynol"},{"login":"aniemetz","count":13,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/aniemetz"},{"login":"mpreiner","count":4,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mpreiner"},{"login":"yoni206","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/yoni206"},{"login":"abdoo8080","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/abdoo8080"},{"login":"HanielB","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/HanielB"},{"login":"lenianiva","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/lenianiva"}]}