{"id":20469113,"url":"https://github.com/pfnet-research/atpg4sv","last_synced_at":"2025-04-13T10:30:28.646Z","repository":{"id":86582970,"uuid":"162669310","full_name":"pfnet-research/ATPG4SV","owner":"pfnet-research","description":"A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.","archived":false,"fork":false,"pushed_at":"2018-12-21T05:24:20.000Z","size":41,"stargazers_count":18,"open_issues_count":0,"forks_count":2,"subscribers_count":19,"default_branch":"master","last_synced_at":"2025-03-27T01:51:27.605Z","etag":null,"topics":["atpg","concolic-execution","ocaml","smt-solver","symbolic-execution","system-verilog"],"latest_commit_sha":null,"homepage":null,"language":"OCaml","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/pfnet-research.png","metadata":{},"created_at":"2018-12-21T05:21:27.000Z","updated_at":"2025-03-19T12:45:57.000Z","dependencies_parsed_at":null,"dependency_job_id":"903dc92b-68a9-4c59-a55b-d7ed4b896160","html_url":"https://github.com/pfnet-research/ATPG4SV","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/pfnet-research%2FATPG4SV","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pfnet-research%2FATPG4SV/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pfnet-research%2FATPG4SV/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pfnet-research%2FATPG4SV/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/pfnet-research","download_url":"https://codeload.github.com/pfnet-research/ATPG4SV/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":248698471,"owners_count":21147497,"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":["atpg","concolic-execution","ocaml","smt-solver","symbolic-execution","system-verilog"],"created_at":"2024-11-15T14:07:59.064Z","updated_at":"2025-04-13T10:30:28.639Z","avatar_url":"https://github.com/pfnet-research.png","language":"OCaml","funding_links":[],"categories":[],"sub_categories":[],"readme":null,"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpfnet-research%2Fatpg4sv","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fpfnet-research%2Fatpg4sv","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpfnet-research%2Fatpg4sv/lists"}