{"id":35897,"name":"key","description":"KeY Theorem Prover for Deductive Java Verification","url":"https://github.com/keyproject/key","last_synced_at":"2025-09-05T06:56:21.414Z","repository":{"id":65073996,"uuid":"580489837","full_name":"KeYProject/key","owner":"KeYProject","description":"KeY Theorem Prover for Deductive Java Verification","archived":false,"fork":false,"pushed_at":"2025-08-18T05:30:37.000Z","size":225668,"stargazers_count":61,"open_issues_count":366,"forks_count":36,"subscribers_count":5,"default_branch":"main","last_synced_at":"2025-08-18T07:21:20.268Z","etag":null,"topics":["formal-verification","key","smt-solver","static-analysis"],"latest_commit_sha":null,"homepage":"https://key-project.org","language":"Java","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/KeYProject.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE.TXT","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.bib","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2022-12-20T17:32:07.000Z","updated_at":"2025-08-15T13:02:52.000Z","dependencies_parsed_at":"2025-08-18T07:21:51.988Z","dependency_job_id":null,"html_url":"https://github.com/KeYProject/key","commit_stats":null,"previous_names":[],"tags_count":45,"template":false,"template_full_name":null,"purl":"pkg:github/KeYProject/key","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/KeYProject%2Fkey","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/KeYProject%2Fkey/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/KeYProject%2Fkey/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/KeYProject%2Fkey/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/KeYProject","download_url":"https://codeload.github.com/KeYProject/key/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/KeYProject%2Fkey/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273723205,"owners_count":25156304,"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":"KeYProject","name":"KeY Project","uuid":"18749969","kind":"organization","description":"","email":"support@key-project.org","website":"https://key-project.org","location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/18749969?v=4","repositories_count":4,"last_synced_at":"2023-04-19T17:00:47.644Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/KeYProject","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2023-02-20T14:17:13.321Z","updated_at":"2023-04-19T17:00:47.658Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/KeYProject","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/KeYProject/repositories"},"packages":[],"commits":{"message":"Repository syncing started."},"issues_stats":{"full_name":"KeYProject/key","html_url":"https://github.com/KeYProject/key","last_synced_at":"2025-08-31T11:53:35.129Z","status":null,"issues_count":25,"pull_requests_count":82,"avg_time_to_close_issue":28463244.8,"avg_time_to_close_pull_request":9814795.347826088,"issues_closed_count":5,"pull_requests_closed_count":46,"pull_request_authors_count":15,"issue_authors_count":8,"avg_comments_per_issue":0.12,"avg_comments_per_pull_request":1.5609756097560976,"merged_pull_requests_count":36,"bot_issues_count":0,"bot_pull_requests_count":16,"past_year_issues_count":21,"past_year_pull_requests_count":75,"past_year_avg_time_to_close_issue":225120.5,"past_year_avg_time_to_close_pull_request":1433321.076923077,"past_year_issues_closed_count":2,"past_year_pull_requests_closed_count":39,"past_year_pull_request_authors_count":14,"past_year_issue_authors_count":8,"past_year_avg_comments_per_issue":0.0,"past_year_avg_comments_per_pull_request":1.0133333333333332,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":16,"past_year_merged_pull_requests_count":33,"created_at":"2025-07-16T12:49:38.112Z","updated_at":"2025-09-03T04:01:26.470Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/KeYProject%2Fkey","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/KeYProject%2Fkey/issues","issue_labels_count":{":lady_beetle: Bug":29,"HacKeYthon":14,"Feature":7,"GUI":6,"P:LOW":6,"Error Reporting":5,"JML (Semantics)":5,"JML Parser":5,"JavaJMLParser":4,"P:NORMAL":4,"🛠 Maintenance":3,"Test cases":3,"Calculus":3,"Documentation":3,"Proof Loading/Saving":3,"✋ Soundness":2,"Prover Core":2,"P:HIGH":2,"Command Line Interface":2,"Completeness":2,"SMT":2,"KeY Parser":2,":rocket: Performance":2,"Robustness":1,"KeYBook":1,"keyext.slicing":1,"Infrastructure":1,"Postponed":1},"pull_request_labels_count":{"dependencies":44,"Java":31,"🛠 Maintenance":26,":lady_beetle: Bug":19,"Review Request":15,"Feature":13,"GUI":12,"github_actions":9,"Calculus":7,"java":5,"Reviewer Feedback":5,"JML Parser":5,"RFC":4,"KeY Parser":4,"CI":4,"SMT":4,"Infrastructure":3,"Documentation":2,"Completeness":2,"✋ Soundness":2,"JavaJMLParser":2,":rocket: Performance":2,"Command Line Interface":2,"JML (Semantics)":2,"Deployment":2,"Test cases":2,"HacKeYthon":2,"Breaks API":2,"Proof Scripts":2,"Ignore in Changelog":2,"Wontfix":1,"P:HIGH":1,"Prover Core":1,"Proof Loading/Saving":1,"Robustness":1,"Error Reporting":1,"Under Review":1,"keyext.caching":1,"keyext.slicing":1,"Test Case Generator":1,"Breaking Change":1},"issue_author_associations_count":{"MEMBER":48,"CONTRIBUTOR":8,"NONE":4},"pull_request_author_associations_count":{"MEMBER":125,"CONTRIBUTOR":69,"NONE":4},"issue_authors":{"wadoon":18,"mattulbrich":11,"WolframPfeifer":8,"BookWood7th":6,"Drodt":4,"FliegendeWurst":3,"unp1":3,"FabianKof":1,"tobias-rnh":1,"flo2702":1,"as2-0":1,"Ao-senXiong":1,"fab918":1,"frereit":1},"pull_request_authors":{"wadoon":54,"dependabot[bot]":44,"mattulbrich":20,"Drodt":16,"WolframPfeifer":16,"FliegendeWurst":12,"unp1":6,"BookWood7th":6,"flo2702":4,"tobias-rnh":4,"samysweb":2,"JonasKlamroth":2,"MarcoScaletta":2,"lks9":2,"wmdietl":1,"TudorBalan":1,"mi-ki":1,"vb213":1,"jwiesler":1,"frereit":1,"LennartKleinwort":1,"ChristianHein":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-05T00:00:10.444Z","repositories_count":10087320,"issues_count":31306968,"pull_requests_count":96469683,"authors_count":10696025,"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":{":lady_beetle: Bug":9,"HacKeYthon":4,"🛠 Maintenance":2,"P:LOW":2,"Error Reporting":2,"JML Parser":2,":rocket: Performance":1,"Test cases":1,"Infrastructure":1,"KeY Parser":1,"Feature":1,"GUI":1,"P:NORMAL":1},"past_year_pull_request_labels_count":{"dependencies":20,"Java":17,"🛠 Maintenance":12,":lady_beetle: Bug":8,"Feature":6,"Review Request":4,"github_actions":4,"SMT":3,"GUI":3,"Deployment":2,"Infrastructure":2,"KeY Parser":2,"JML Parser":2,"Ignore in Changelog":2,"CI":2,"Error Reporting":1,"Test cases":1,"Breaks API":1,"Proof Scripts":1,"Calculus":1,"Completeness":1,"RFC":1,"Command Line Interface":1},"past_year_issue_author_associations_count":{"MEMBER":17,"CONTRIBUTOR":5,"NONE":1},"past_year_pull_request_author_associations_count":{"MEMBER":57,"CONTRIBUTOR":29,"NONE":1},"past_year_issue_authors":{"wadoon":6,"mattulbrich":5,"BookWood7th":4,"Drodt":3,"as2-0":1,"FliegendeWurst":1,"frereit":1,"tobias-rnh":1,"WolframPfeifer":1},"past_year_pull_request_authors":{"wadoon":29,"dependabot[bot]":20,"Drodt":10,"WolframPfeifer":6,"mattulbrich":6,"BookWood7th":5,"unp1":3,"samysweb":2,"FliegendeWurst":1,"flo2702":1,"MarcoScaletta":1,"TudorBalan":1,"wmdietl":1,"frereit":1},"maintainers":[{"login":"wadoon","count":66,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/wadoon"},{"login":"mattulbrich","count":31,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mattulbrich"},{"login":"WolframPfeifer","count":24,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/WolframPfeifer"},{"login":"Drodt","count":20,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Drodt"},{"login":"FliegendeWurst","count":15,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/FliegendeWurst"},{"login":"unp1","count":9,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/unp1"},{"login":"flo2702","count":5,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/flo2702"},{"login":"frereit","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/frereit"},{"login":"mi-ki","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mi-ki"}],"active_maintainers":[{"login":"wadoon","count":35,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/wadoon"},{"login":"Drodt","count":13,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Drodt"},{"login":"mattulbrich","count":11,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mattulbrich"},{"login":"WolframPfeifer","count":7,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/WolframPfeifer"},{"login":"unp1","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/unp1"},{"login":"FliegendeWurst","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/FliegendeWurst"},{"login":"frereit","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/frereit"},{"login":"flo2702","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/flo2702"}]},"events":{"total":{"CreateEvent":155,"ReleaseEvent":15,"IssuesEvent":34,"WatchEvent":12,"DeleteEvent":131,"IssueCommentEvent":334,"PushEvent":419,"GollumEvent":1,"PullRequestReviewCommentEvent":163,"PullRequestReviewEvent":177,"PullRequestEvent":154,"ForkEvent":7},"last_year":{"CreateEvent":155,"ReleaseEvent":15,"IssuesEvent":34,"WatchEvent":12,"DeleteEvent":131,"IssueCommentEvent":334,"PushEvent":419,"GollumEvent":1,"PullRequestReviewCommentEvent":163,"PullRequestReviewEvent":177,"PullRequestEvent":154,"ForkEvent":7}},"keywords":["formal-verification","key","smt-solver","static-analysis"],"dependencies":[{"ecosystem":"actions","filepath":".github/workflows/code_quality.yml","sha":null,"kind":"manifest","created_at":"2023-09-29T13:45:20.300Z","updated_at":"2023-09-29T13:45:20.300Z","repository_link":"https://github.com/KeYProject/key/blob/main/.github/workflows/code_quality.yml","dependencies":[{"id":14019452253,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":14019452254,"package_name":"JetBrains/qodana-action","ecosystem":"actions","requirements":"v2022.3.0","direct":true,"kind":"composite","optional":false},{"id":14019452255,"package_name":"github/codeql-action/upload-sarif","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":14019452256,"package_name":"actions/setup-java","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":14019452257,"package_name":"gradle/gradle-build-action","ecosystem":"actions","requirements":"v2.4.2","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/gradle-publish.yml","sha":null,"kind":"manifest","created_at":"2023-09-29T13:45:20.581Z","updated_at":"2023-09-29T13:45:20.581Z","repository_link":"https://github.com/KeYProject/key/blob/main/.github/workflows/gradle-publish.yml","dependencies":[{"id":14019452262,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":14019452263,"package_name":"actions/setup-java","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":14019452264,"package_name":"gradle/gradle-build-action","ecosystem":"actions","requirements":"v2.4.2","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/javadoc.yml","sha":null,"kind":"manifest","created_at":"2023-09-29T13:45:20.733Z","updated_at":"2023-09-29T13:45:20.733Z","repository_link":"https://github.com/KeYProject/key/blob/main/.github/workflows/javadoc.yml","dependencies":[{"id":14019452265,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":14019452266,"package_name":"actions/setup-java","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":14019452267,"package_name":"gradle/gradle-build-action","ecosystem":"actions","requirements":"v2.4.2","direct":true,"kind":"composite","optional":false},{"id":14019452268,"package_name":"actions/upload-artifact","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/nightlydeploy.yml","sha":null,"kind":"manifest","created_at":"2023-09-29T13:45:20.830Z","updated_at":"2023-09-29T13:45:20.830Z","repository_link":"https://github.com/KeYProject/key/blob/main/.github/workflows/nightlydeploy.yml","dependencies":[{"id":14019452269,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":14019452270,"package_name":"gradle/gradle-build-action","ecosystem":"actions","requirements":"v2.4.2","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/opttest.yml","sha":null,"kind":"manifest","created_at":"2023-09-29T13:45:20.989Z","updated_at":"2023-09-29T13:45:20.989Z","repository_link":"https://github.com/KeYProject/key/blob/main/.github/workflows/opttest.yml","dependencies":[{"id":14019452271,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":14019452272,"package_name":"actions/setup-java","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":14019452273,"package_name":"gradle/gradle-build-action","ecosystem":"actions","requirements":"v2.4.2","direct":true,"kind":"composite","optional":false},{"id":14019452274,"package_name":"actions/upload-artifact","ecosystem":"actions","requirements":"v3.1.1","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/tests.yml","sha":null,"kind":"manifest","created_at":"2023-09-29T13:45:21.045Z","updated_at":"2023-09-29T13:45:21.045Z","repository_link":"https://github.com/KeYProject/key/blob/main/.github/workflows/tests.yml","dependencies":[{"id":14019452275,"package_name":"actions/github-script","ecosystem":"actions","requirements":"v6","direct":true,"kind":"composite","optional":false},{"id":14019452276,"package_name":"actions/upload-artifact","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":14019452277,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":14019452278,"package_name":"actions/setup-java","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":14019452279,"package_name":"gradle/gradle-build-action","ecosystem":"actions","requirements":"v2.4.2","direct":true,"kind":"composite","optional":false},{"id":14019452280,"package_name":"actions/upload-artifact","ecosystem":"actions","requirements":"v3.1.1","direct":true,"kind":"composite","optional":false},{"id":14019452281,"package_name":"codecov/codecov-action","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":14019452282,"package_name":"actions/cache","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/tests_winmac.yml","sha":null,"kind":"manifest","created_at":"2023-09-29T13:45:21.228Z","updated_at":"2023-09-29T13:45:21.228Z","repository_link":"https://github.com/KeYProject/key/blob/main/.github/workflows/tests_winmac.yml","dependencies":[{"id":14019452283,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":14019452284,"package_name":"actions/setup-java","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":14019452285,"package_name":"gradle/gradle-build-action","ecosystem":"actions","requirements":"v2.4.2","direct":true,"kind":"composite","optional":false},{"id":14019452286,"package_name":"actions/upload-artifact","ecosystem":"actions","requirements":"v3.1.1","direct":true,"kind":"composite","optional":false},{"id":14019452287,"package_name":"actions/cache","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"maven","filepath":"build.gradle","sha":null,"kind":"manifest","created_at":"2023-09-29T13:45:21.356Z","updated_at":"2023-09-29T13:45:21.356Z","repository_link":"https://github.com/KeYProject/key/blob/main/build.gradle","dependencies":[{"id":14019452292,"package_name":"org.slf4j:slf4j-api","ecosystem":"maven","requirements":"2.0.9","direct":true,"kind":"implementation","optional":false},{"id":14019452293,"package_name":"ch.qos.logback:logback-classic","ecosystem":"maven","requirements":"1.4.11","direct":true,"kind":"testImplementation","optional":false},{"id":14019452294,"package_name":"com.google.code.findbugs:jsr305","ecosystem":"maven","requirements":"3.0.2","direct":true,"kind":"implementation","optional":false},{"id":14019452295,"package_name":"org.junit.jupiter:junit-jupiter-api","ecosystem":"maven","requirements":"5.10.0","direct":true,"kind":"testImplementation","optional":false},{"id":14019452296,"package_name":"org.junit.jupiter:junit-jupiter-params","ecosystem":"maven","requirements":"5.10.0","direct":true,"kind":"testImplementation","optional":false},{"id":14019452297,"package_name":"junit:junit","ecosystem":"maven","requirements":"4.13.2","direct":true,"kind":"testCompileOnly","optional":false},{"id":14019452298,"package_name":"org.junit.vintage:junit-vintage-engine","ecosystem":"maven","requirements":"5.10.0","direct":true,"kind":"testRuntimeOnly","optional":false},{"id":14019452299,"package_name":"org.junit.jupiter:junit-jupiter-engine","ecosystem":"maven","requirements":"5.10.0","direct":true,"kind":"testRuntimeOnly","optional":false}]},{"ecosystem":"maven","filepath":"key.core/build.gradle","sha":null,"kind":"manifest","created_at":"2023-09-29T13:45:21.398Z","updated_at":"2023-09-29T13:45:21.398Z","repository_link":"https://github.com/KeYProject/key/blob/main/key.core/build.gradle","dependencies":[{"id":14019452300,"package_name":"org.antlr:antlr4-runtime","ecosystem":"maven","requirements":"4.13.1","direct":true,"kind":"api","optional":false}]},{"ecosystem":"maven","filepath":"key.core.example/build.gradle","sha":null,"kind":"manifest","created_at":"2023-09-29T13:45:21.434Z","updated_at":"2023-09-29T13:45:21.434Z","repository_link":"https://github.com/KeYProject/key/blob/main/key.core.example/build.gradle","dependencies":[]},{"ecosystem":"maven","filepath":"key.core.proof_references/build.gradle","sha":null,"kind":"manifest","created_at":"2023-09-29T13:45:21.458Z","updated_at":"2023-09-29T13:45:21.458Z","repository_link":"https://github.com/KeYProject/key/blob/main/key.core.proof_references/build.gradle","dependencies":[]},{"ecosystem":"maven","filepath":"key.core.rifl/build.gradle","sha":null,"kind":"manifest","created_at":"2023-09-29T13:45:21.485Z","updated_at":"2023-09-29T13:45:21.485Z","repository_link":"https://github.com/KeYProject/key/blob/main/key.core.rifl/build.gradle","dependencies":[]},{"ecosystem":"maven","filepath":"key.core.symbolic_execution/build.gradle","sha":null,"kind":"manifest","created_at":"2023-09-29T13:45:21.506Z","updated_at":"2023-09-29T13:45:21.506Z","repository_link":"https://github.com/KeYProject/key/blob/main/key.core.symbolic_execution/build.gradle","dependencies":[]},{"ecosystem":"maven","filepath":"key.core.symbolic_execution.example/build.gradle","sha":null,"kind":"manifest","created_at":"2023-09-29T13:45:21.530Z","updated_at":"2023-09-29T13:45:21.530Z","repository_link":"https://github.com/KeYProject/key/blob/main/key.core.symbolic_execution.example/build.gradle","dependencies":[]},{"ecosystem":"maven","filepath":"key.core.testgen/build.gradle","sha":null,"kind":"manifest","created_at":"2023-09-29T13:45:21.559Z","updated_at":"2023-09-29T13:45:21.559Z","repository_link":"https://github.com/KeYProject/key/blob/main/key.core.testgen/build.gradle","dependencies":[]},{"ecosystem":"maven","filepath":"key.removegenerics/build.gradle","sha":null,"kind":"manifest","created_at":"2023-09-29T13:45:21.580Z","updated_at":"2023-09-29T13:45:21.580Z","repository_link":"https://github.com/KeYProject/key/blob/main/key.removegenerics/build.gradle","dependencies":[]},{"ecosystem":"maven","filepath":"key.ui/build.gradle","sha":null,"kind":"manifest","created_at":"2023-09-29T13:45:21.644Z","updated_at":"2023-09-29T13:45:21.644Z","repository_link":"https://github.com/KeYProject/key/blob/main/key.ui/build.gradle","dependencies":[{"id":14019452301,"package_name":"com.miglayout:miglayout-swing","ecosystem":"maven","requirements":"11.1","direct":true,"kind":"api","optional":false},{"id":14019452302,"package_name":"ch.qos.logback:logback-classic","ecosystem":"maven","requirements":"1.4.11","direct":true,"kind":"implementation","optional":false},{"id":14019452303,"package_name":"org.key-project:docking-frames-common","ecosystem":"maven","requirements":"1.1.3p1","direct":true,"kind":"api","optional":false},{"id":14019452304,"package_name":"org.key-project:docking-frames-core","ecosystem":"maven","requirements":"1.1.3p1","direct":true,"kind":"api","optional":false}]},{"ecosystem":"maven","filepath":"key.util/build.gradle","sha":null,"kind":"manifest","created_at":"2023-09-29T13:45:21.767Z","updated_at":"2023-09-29T13:45:21.767Z","repository_link":"https://github.com/KeYProject/key/blob/main/key.util/build.gradle","dependencies":[]},{"ecosystem":"maven","filepath":"keyext.exploration/build.gradle","sha":null,"kind":"manifest","created_at":"2023-09-29T13:45:21.793Z","updated_at":"2023-09-29T13:45:21.793Z","repository_link":"https://github.com/KeYProject/key/blob/main/keyext.exploration/build.gradle","dependencies":[]},{"ecosystem":"maven","filepath":"keyext.proofmanagement/build.gradle","sha":null,"kind":"manifest","created_at":"2023-09-29T13:45:21.808Z","updated_at":"2023-09-29T13:45:21.808Z","repository_link":"https://github.com/KeYProject/key/blob/main/keyext.proofmanagement/build.gradle","dependencies":[]},{"ecosystem":"maven","filepath":"keyext.slicing/build.gradle","sha":null,"kind":"manifest","created_at":"2023-09-29T13:45:21.829Z","updated_at":"2023-09-29T13:45:21.829Z","repository_link":"https://github.com/KeYProject/key/blob/main/keyext.slicing/build.gradle","dependencies":[]},{"ecosystem":"maven","filepath":"keyext.ui.testgen/build.gradle","sha":null,"kind":"manifest","created_at":"2023-09-29T13:45:21.845Z","updated_at":"2023-09-29T13:45:21.845Z","repository_link":"https://github.com/KeYProject/key/blob/main/keyext.ui.testgen/build.gradle","dependencies":[]},{"ecosystem":"maven","filepath":"recoder/build.gradle","sha":null,"kind":"manifest","created_at":"2023-09-29T13:45:21.858Z","updated_at":"2023-09-29T13:45:21.858Z","repository_link":"https://github.com/KeYProject/key/blob/main/recoder/build.gradle","dependencies":[{"id":14019452305,"package_name":"org.ow2.asm:asm","ecosystem":"maven","requirements":"9.5","direct":true,"kind":"implementation","optional":false},{"id":14019452306,"package_name":"org.beanshell:bsh","ecosystem":"maven","requirements":"2.0b5","direct":true,"kind":"implementation","optional":false},{"id":14019452307,"package_name":"net.sf.retrotranslator:retrotranslator-runtime","ecosystem":"maven","requirements":"1.2.9","direct":true,"kind":"implementation","optional":false},{"id":14019452308,"package_name":"net.sf.retrotranslator:retrotranslator-transformer","ecosystem":"maven","requirements":"1.2.9","direct":true,"kind":"implementation","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/sonarqube.yml","sha":null,"kind":"manifest","created_at":"2025-04-18T15:54:04.496Z","updated_at":"2025-04-18T15:54:04.496Z","repository_link":"https://github.com/KeYProject/key/blob/main/.github/workflows/sonarqube.yml","dependencies":[{"id":22740648219,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":22740648220,"package_name":"actions/setup-java","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":22740648221,"package_name":"actions/cache","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":22740648222,"package_name":"gradle/actions/dependency-submission","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"maven","filepath":"key.ncore/build.gradle","sha":null,"kind":"manifest","created_at":"2025-04-18T15:54:04.823Z","updated_at":"2025-04-18T15:54:04.823Z","repository_link":"https://github.com/KeYProject/key/blob/main/key.ncore/build.gradle","dependencies":[{"id":22740648313,"package_name":"org.jspecify:jspecify","ecosystem":"maven","requirements":"1.0.0","direct":true,"kind":"implementation","optional":false}]},{"ecosystem":"maven","filepath":"keyext.caching/build.gradle","sha":null,"kind":"manifest","created_at":"2025-04-18T15:54:06.066Z","updated_at":"2025-04-18T15:54:06.066Z","repository_link":"https://github.com/KeYProject/key/blob/main/keyext.caching/build.gradle","dependencies":[]},{"ecosystem":"maven","filepath":"key.ncore.calculus/build.gradle","sha":null,"kind":"manifest","created_at":"2025-05-30T18:24:58.221Z","updated_at":"2025-05-30T18:24:58.221Z","repository_link":"https://github.com/KeYProject/key/blob/main/key.ncore.calculus/build.gradle","dependencies":[{"id":23378537970,"package_name":"org.jspecify:jspecify","ecosystem":"maven","requirements":"0.3.0","direct":true,"kind":"implementation","optional":false}]},{"ecosystem":"maven","filepath":"keyext.isabelletranslation/build.gradle","sha":null,"kind":"manifest","created_at":"2025-05-30T18:24:59.315Z","updated_at":"2025-05-30T18:24:59.315Z","repository_link":"https://github.com/KeYProject/key/blob/main/keyext.isabelletranslation/build.gradle","dependencies":[{"id":23378538081,"package_name":"de.unruh:scala-isabelle_2.13","ecosystem":"maven","requirements":"0.4.3-RC2","direct":true,"kind":"implementation","optional":false}]}],"score":null,"created_at":"2025-09-04T15:51:09.422Z","updated_at":"2025-10-07T08:14:53.108Z","avatar_url":"https://github.com/KeYProject.png","language":"Java","category":null,"sub_category":null,"monthly_downloads":0,"funding_links":[],"readme_doi_urls":["https://doi.org/10.1007/978-3-031-07727-2_4"],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":[],"project_url":"https://science.ecosyste.ms/api/v1/projects/35897","html_url":"https://science.ecosyste.ms/projects/35897"}