{"id":25982627,"url":"https://github.com/fiuner-lica/biblioteca-dbc-cpp","last_synced_at":"2026-02-16T09:32:40.621Z","repository":{"id":250931900,"uuid":"813624534","full_name":"FIUNER-LICA/biblioteca-dbc-cpp","owner":"FIUNER-LICA","description":"Biblioteca para implementar Diseño por Contratos en C++.","archived":false,"fork":false,"pushed_at":"2024-11-13T16:07:18.000Z","size":3903,"stargazers_count":2,"open_issues_count":3,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2025-10-14T15:09:24.896Z","etag":null,"topics":["contratos","cpp"],"latest_commit_sha":null,"homepage":"https://fiuner-lica.github.io/biblioteca-dbc-cpp/","language":"Jupyter Notebook","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/FIUNER-LICA.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","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,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2024-06-11T12:36:23.000Z","updated_at":"2024-11-13T16:07:22.000Z","dependencies_parsed_at":"2025-10-14T15:09:26.208Z","dependency_job_id":"beea9d31-eb7c-4521-8c70-6399ec4c0bb0","html_url":"https://github.com/FIUNER-LICA/biblioteca-dbc-cpp","commit_stats":null,"previous_names":["fiuner-lica/biblioteca-dbc-cpp"],"tags_count":1,"template":false,"template_full_name":null,"purl":"pkg:github/FIUNER-LICA/biblioteca-dbc-cpp","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/FIUNER-LICA%2Fbiblioteca-dbc-cpp","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/FIUNER-LICA%2Fbiblioteca-dbc-cpp/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/FIUNER-LICA%2Fbiblioteca-dbc-cpp/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/FIUNER-LICA%2Fbiblioteca-dbc-cpp/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/FIUNER-LICA","download_url":"https://codeload.github.com/FIUNER-LICA/biblioteca-dbc-cpp/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/FIUNER-LICA%2Fbiblioteca-dbc-cpp/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29504751,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-16T09:05:14.864Z","status":"ssl_error","status_checked_at":"2026-02-16T08:55:59.364Z","response_time":115,"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":["contratos","cpp"],"created_at":"2025-03-05T09:37:59.203Z","updated_at":"2026-02-16T09:32:40.605Z","avatar_url":"https://github.com/FIUNER-LICA.png","language":"Jupyter Notebook","funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003cdiv align=\"center\"\u003e\n\n# Biblioteca para DbC en C++\n\n## Garcia Justo - Insfrán Jordán F. - Diaz Zamboni Javier E.\n\n[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.14139844.svg)](https://doi.org/10.5281/zenodo.14139844)\n\n\n\n[Descripción](#descripción) • [Documentación](#documentación) • [Estructura de directorios](#estructura-de-directorios) •[Instalación](#instalación) • [Uso](#uso)\n\n\u003c/div\u003e\n\n## Descripción\n\nEste repositorio contiene una biblioteca que permite implementar Diseño por Contratos en C++, proponiendo precondiciones, postcondiciones e invariantes para la declaración de los componentes del software.\n\nAdemás, se incluyen benchmarks para evaluar el rendimiento de la biblioteca bajo diferentes condiciones y escenarios.\n\n## Documentación\n\nSe recomienda el acceso a la documentación a través de una forma más interactiva en el siguiente enlace: [sitio web de documentación](https://fiuner-lica.github.io/biblioteca-dbc-cpp/)\n\n## Estructura de directorios\n\n- Benchmarks: scripts que permiten ejecutar benchmarks y la salida de los mismos.\n- Casos: casos implementados utilizando la biblioteca.\n- contract-lib: archivo header y cpp de la biblioteca.\n- docs: carpeta correspondiente a la documentación en doxygen y los archivos utilizados para generear el [sitio web](https://fiuner-lica.github.io/biblioteca-dbc-cpp/)\n\n## Instalación\n\nPara utilizar la biblioteca simplemente clona este repositorio y realiza la inclusión del archivo de header *contract-lib/contract.h*.\n\n## Uso\n\n\u003c!-- TODO: agregar un ejemplo --\u003e\n\nPara ejecutar los benchmarks se recomienda leer la documentación específica presente en su carpeta [*Benchmarks/README.md*](https://github.com/FIUNER-LICA/biblioteca-dbc-cpp/blob/main/Benchmarks/README.md)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffiuner-lica%2Fbiblioteca-dbc-cpp","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ffiuner-lica%2Fbiblioteca-dbc-cpp","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffiuner-lica%2Fbiblioteca-dbc-cpp/lists"}