{"id":32793,"name":"vercors","description":"The VerCors verification toolset for verifying parallel and concurrent software","url":"https://github.com/utwente-fmt/vercors","last_synced_at":"2025-09-05T05:36:39.288Z","repository":{"id":37405516,"uuid":"54111079","full_name":"utwente-fmt/vercors","owner":"utwente-fmt","description":"The VerCors verification toolset for verifying parallel and concurrent software","archived":false,"fork":false,"pushed_at":"2025-08-21T11:16:23.000Z","size":567257,"stargazers_count":78,"open_issues_count":178,"forks_count":32,"subscribers_count":10,"default_branch":"dev","last_synced_at":"2025-08-21T12:34:14.833Z","etag":null,"topics":["c","concurrency","java","opencl","openmp","parallelism","separation-logic","software-analysis","vercors-toolset","verification","viper"],"latest_commit_sha":null,"homepage":"https://utwente.nl/vercors","language":"Scala","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mpl-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/utwente-fmt.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.txt","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":"2016-03-17T10:58:13.000Z","updated_at":"2025-08-13T18:52:08.000Z","dependencies_parsed_at":"2024-05-21T08:51:21.526Z","dependency_job_id":"f8569d43-994c-446b-b8a0-cc54b115a764","html_url":"https://github.com/utwente-fmt/vercors","commit_stats":null,"previous_names":[],"tags_count":24,"template":false,"template_full_name":null,"purl":"pkg:github/utwente-fmt/vercors","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/utwente-fmt%2Fvercors","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/utwente-fmt%2Fvercors/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/utwente-fmt%2Fvercors/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/utwente-fmt%2Fvercors/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/utwente-fmt","download_url":"https://codeload.github.com/utwente-fmt/vercors/tar.gz/refs/heads/dev","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/utwente-fmt%2Fvercors/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273717276,"owners_count":25155437,"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":null,"packages":[],"commits":{"message":"Repository syncing started."},"issues_stats":{"full_name":"utwente-fmt/vercors","html_url":"https://github.com/utwente-fmt/vercors","last_synced_at":"2025-08-31T13:05:23.939Z","status":null,"issues_count":39,"pull_requests_count":42,"avg_time_to_close_issue":30781736.8,"avg_time_to_close_pull_request":2273291.1666666665,"issues_closed_count":15,"pull_requests_closed_count":30,"pull_request_authors_count":7,"issue_authors_count":10,"avg_comments_per_issue":0.6666666666666666,"avg_comments_per_pull_request":0.7142857142857143,"merged_pull_requests_count":29,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":33,"past_year_pull_requests_count":41,"past_year_avg_time_to_close_issue":5042095.444444444,"past_year_avg_time_to_close_pull_request":1639480.8275862068,"past_year_issues_closed_count":9,"past_year_pull_requests_closed_count":29,"past_year_pull_request_authors_count":7,"past_year_issue_authors_count":7,"past_year_avg_comments_per_issue":0.48484848484848486,"past_year_avg_comments_per_pull_request":0.43902439024390244,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":28,"created_at":"2025-07-16T12:20:41.891Z","updated_at":"2025-09-03T04:42:46.939Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/utwente-fmt%2Fvercors","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/utwente-fmt%2Fvercors/issues","issue_labels_count":{"A-Bug":26,"F-C":13,"A-Enh":10,"F-all":6,"R":4,"Fuzzing":2,"M-mill":2,"F-CPP":1,"M-log":1,"P-Windows":1,"M-CI":1,"F-GPU":1,"M-ex":1,"M-lint":1,"F-Java":1,"F-PVL":1},"pull_request_labels_count":{"A-Bug":2,"A-Enh":1,"P-Windows":1,"R":1},"issue_author_associations_count":{"CONTRIBUTOR":73,"MEMBER":20,"NONE":11},"pull_request_author_associations_count":{"CONTRIBUTOR":62,"MEMBER":43,"NONE":7,"COLLABORATOR":1},"issue_authors":{"wandernauta":30,"sakehl":22,"pieter-bos":11,"superaxander":10,"bobismijnnaam":8,"ArmborstL":8,"pandasansgains":4,"dzagieboylo":3,"etiennebirling":2,"diegoacu1234":1,"OmerSakar":1,"alexchandel":1,"ernstmoritzhahn":1,"marcoeilers":1,"Naum-Tomov":1},"pull_request_authors":{"superaxander":31,"sakehl":23,"bobismijnnaam":14,"wandernauta":14,"pieter-bos":13,"RobertMensing":7,"PBHTasche":3,"ArmborstL":3,"OmerSakar":2,"DockTree":1,"YusofAlSalekh":1,"Ellen-Wittingen":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-04T00:00:25.939Z","repositories_count":10073197,"issues_count":31254800,"pull_requests_count":95591398,"authors_count":10690348,"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":{"A-Bug":15,"F-C":5,"Fuzzing":2,"F-all":2,"F-CPP":1,"A-Enh":1,"F-Java":1},"past_year_pull_request_labels_count":{},"past_year_issue_author_associations_count":{"CONTRIBUTOR":49,"MEMBER":7,"NONE":6},"past_year_pull_request_author_associations_count":{"CONTRIBUTOR":35,"MEMBER":21,"NONE":5,"COLLABORATOR":1},"past_year_issue_authors":{"wandernauta":30,"sakehl":12,"superaxander":7,"bobismijnnaam":3,"dzagieboylo":3,"ArmborstL":2,"etiennebirling":2,"diegoacu1234":1,"ernstmoritzhahn":1,"marcoeilers":1},"past_year_pull_request_authors":{"superaxander":19,"wandernauta":14,"sakehl":11,"RobertMensing":7,"bobismijnnaam":6,"OmerSakar":2,"YusofAlSalekh":1,"ArmborstL":1,"DockTree":1},"maintainers":[{"login":"superaxander","count":36,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/superaxander"},{"login":"pieter-bos","count":24,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/pieter-bos"},{"login":"OmerSakar","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/OmerSakar"},{"login":"RobertMensing","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/RobertMensing"}],"active_maintainers":[{"login":"superaxander","count":26,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/superaxander"},{"login":"OmerSakar","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/OmerSakar"},{"login":"RobertMensing","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/RobertMensing"}]},"events":{"total":{"CreateEvent":37,"ReleaseEvent":1,"IssuesEvent":87,"WatchEvent":21,"DeleteEvent":20,"IssueCommentEvent":107,"PushEvent":377,"PullRequestReviewEvent":26,"PullRequestReviewCommentEvent":24,"PullRequestEvent":83,"GollumEvent":33,"ForkEvent":4},"last_year":{"CreateEvent":37,"ReleaseEvent":1,"IssuesEvent":87,"WatchEvent":21,"DeleteEvent":20,"IssueCommentEvent":107,"PushEvent":377,"PullRequestReviewEvent":26,"PullRequestReviewCommentEvent":24,"PullRequestEvent":83,"GollumEvent":33,"ForkEvent":4}},"keywords":["c","concurrency","java","opencl","openmp","parallelism","separation-logic","software-analysis","vercors-toolset","verification","viper"],"dependencies":[{"ecosystem":"actions","filepath":".github/workflows/build-wiki-pdf.yml","sha":null,"kind":"manifest","created_at":"2023-02-19T09:15:49.799Z","updated_at":"2023-02-19T09:15:49.799Z","repository_link":"https://github.com/utwente-fmt/vercors/blob/dev/.github/workflows/build-wiki-pdf.yml","dependencies":[{"id":7783323425,"package_name":"technote-space/auto-cancel-redundant-workflow","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":7783323426,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":7783323427,"package_name":"ncipollo/release-action","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/scalatest.yml","sha":null,"kind":"manifest","created_at":"2023-02-19T09:15:49.872Z","updated_at":"2023-02-19T09:15:49.872Z","repository_link":"https://github.com/utwente-fmt/vercors/blob/dev/.github/workflows/scalatest.yml","dependencies":[{"id":7783323455,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":7783323457,"package_name":"actions/setup-java","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":7783323459,"package_name":"actions/cache","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":7783323461,"package_name":"actions/cache","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":7783323462,"package_name":"KyleMayes/install-llvm-action","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":7783323467,"package_name":"actions/upload-artifact","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":7783323468,"package_name":"actions/download-artifact","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":7783323469,"package_name":"dorny/test-reporter","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"maven","filepath":"examples/publications/2023/JavaBIP/casinoAdjusted/pom.xml","sha":null,"kind":"manifest","created_at":"2024-01-17T16:22:46.893Z","updated_at":"2024-01-17T16:22:46.893Z","repository_link":"https://github.com/utwente-fmt/vercors/blob/dev/examples/publications/2023/JavaBIP/casinoAdjusted/pom.xml","dependencies":[{"id":15666197965,"package_name":"com.typesafe.akka:akka-actor_2.11","ecosystem":"maven","requirements":"2.5.32","direct":true,"kind":"runtime","optional":false},{"id":15666197966,"package_name":"org.javabip:org.javabip.api","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":15666198015,"package_name":"org.javabip:org.javabip.glue","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":15666198027,"package_name":"org.javabip:org.javabip.engine.factory","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":15666198028,"package_name":"org.antlr:antlr4","ecosystem":"maven","requirements":"4.0","direct":true,"kind":"runtime","optional":false},{"id":15666198029,"package_name":"org.slf4j:slf4j-api","ecosystem":"maven","requirements":"1.5.11","direct":true,"kind":"runtime","optional":false},{"id":15666198030,"package_name":"org.slf4j:slf4j-log4j12","ecosystem":"maven","requirements":"1.5.11","direct":true,"kind":"runtime","optional":false},{"id":15666198031,"package_name":"log4j:log4j","ecosystem":"maven","requirements":"1.2.16","direct":true,"kind":"runtime","optional":false},{"id":15666198032,"package_name":"org.slf4j:slf4j-simple","ecosystem":"maven","requirements":"2.0.6","direct":true,"kind":"runtime","optional":false},{"id":15666198033,"package_name":"junit:junit","ecosystem":"maven","requirements":"4.13.1","direct":true,"kind":"runtime","optional":false},{"id":15666198034,"package_name":"org.javabip:org.javabip.executor","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":15666198035,"package_name":"org.springframework:spring-beans","ecosystem":"maven","requirements":"5.3.18","direct":true,"kind":"runtime","optional":false},{"id":15666198036,"package_name":"org.osgi:org.osgi.core","ecosystem":"maven","requirements":"4.2.0","direct":true,"kind":"runtime","optional":false},{"id":15666198135,"package_name":"com.typesafe.akka:akka-osgi_2.11","ecosystem":"maven","requirements":"2.5.31","direct":true,"kind":"runtime","optional":false},{"id":15666198862,"package_name":"org.javabip:org.javabip.spec.examples","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":15666198863,"package_name":"org.javabip:javabdd","ecosystem":"maven","requirements":"1.0b2","direct":true,"kind":"runtime","optional":false},{"id":15666198864,"package_name":"org.javabip:org.javabip.engine.api","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":15666198865,"package_name":"org.javabip:org.javabip.engine.coordinator","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":15666198866,"package_name":"org.javabip:org.javabip.engine.core","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":15666198867,"package_name":"org.openjfx:javafx-base","ecosystem":"maven","requirements":"17-ea+11","direct":true,"kind":"runtime","optional":false},{"id":15666198868,"package_name":"org.antlr:antlr4-runtime","ecosystem":"maven","requirements":"4.9.2","direct":true,"kind":"compile","optional":false},{"id":15666198869,"package_name":"org.apache.logging.log4j:log4j-core","ecosystem":"maven","requirements":"2.18.0","direct":true,"kind":"runtime","optional":false},{"id":15666198870,"package_name":"com.vaadin.external.google:android-json","ecosystem":"maven","requirements":"0.0.20131108.vaadin1","direct":true,"kind":"runtime","optional":false},{"id":15666199051,"package_name":"com.googlecode.json-simple:json-simple","ecosystem":"maven","requirements":"1.1.1","direct":true,"kind":"runtime","optional":false},{"id":15666199052,"package_name":"jakarta.xml.bind:jakarta.xml.bind-api","ecosystem":"maven","requirements":"4.0.0","direct":true,"kind":"runtime","optional":false},{"id":15666199053,"package_name":"com.sun.xml.bind:jaxb-impl","ecosystem":"maven","requirements":"4.0.1","direct":true,"kind":"runtime","optional":false},{"id":15666199054,"package_name":"javax.xml.bind:jaxb-api","ecosystem":"maven","requirements":"2.3.1","direct":true,"kind":"runtime","optional":false},{"id":15666199055,"package_name":"javax.annotation:javax.annotation-api","ecosystem":"maven","requirements":"1.3.2","direct":true,"kind":"runtime","optional":false},{"id":15666199056,"package_name":"com.google.code.gson:gson","ecosystem":"maven","requirements":"2.8.7","direct":true,"kind":"runtime","optional":false},{"id":15666199058,"package_name":"org.apache.commons:commons-lang3","ecosystem":"maven","requirements":"3.12.0","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"maven","filepath":"examples/publications/2023/JavaBIP/casinoBroken/pom.xml","sha":null,"kind":"manifest","created_at":"2024-01-17T16:22:50.440Z","updated_at":"2024-01-17T16:22:50.440Z","repository_link":"https://github.com/utwente-fmt/vercors/blob/dev/examples/publications/2023/JavaBIP/casinoBroken/pom.xml","dependencies":[{"id":15666199070,"package_name":"com.typesafe.akka:akka-actor_2.11","ecosystem":"maven","requirements":"2.5.32","direct":true,"kind":"runtime","optional":false},{"id":15666199071,"package_name":"org.javabip:org.javabip.api","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":15666199072,"package_name":"org.javabip:org.javabip.glue","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":15666199073,"package_name":"org.javabip:org.javabip.engine.factory","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":15666199074,"package_name":"org.antlr:antlr4","ecosystem":"maven","requirements":"4.0","direct":true,"kind":"runtime","optional":false},{"id":15666199075,"package_name":"org.slf4j:slf4j-api","ecosystem":"maven","requirements":"1.5.11","direct":true,"kind":"runtime","optional":false},{"id":15666199076,"package_name":"org.slf4j:slf4j-log4j12","ecosystem":"maven","requirements":"1.5.11","direct":true,"kind":"runtime","optional":false},{"id":15666199077,"package_name":"log4j:log4j","ecosystem":"maven","requirements":"1.2.16","direct":true,"kind":"runtime","optional":false},{"id":15666199078,"package_name":"org.slf4j:slf4j-simple","ecosystem":"maven","requirements":"2.0.6","direct":true,"kind":"runtime","optional":false},{"id":15666199079,"package_name":"junit:junit","ecosystem":"maven","requirements":"4.13.1","direct":true,"kind":"runtime","optional":false},{"id":15666199080,"package_name":"org.javabip:org.javabip.executor","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":15666199081,"package_name":"org.springframework:spring-beans","ecosystem":"maven","requirements":"5.3.18","direct":true,"kind":"runtime","optional":false},{"id":15666199082,"package_name":"org.osgi:org.osgi.core","ecosystem":"maven","requirements":"4.2.0","direct":true,"kind":"runtime","optional":false},{"id":15666199083,"package_name":"com.typesafe.akka:akka-osgi_2.11","ecosystem":"maven","requirements":"2.5.31","direct":true,"kind":"runtime","optional":false},{"id":15666199084,"package_name":"org.javabip:org.javabip.spec.examples","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":15666199085,"package_name":"org.javabip:javabdd","ecosystem":"maven","requirements":"1.0b2","direct":true,"kind":"runtime","optional":false},{"id":15666199086,"package_name":"org.javabip:org.javabip.engine.api","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":15666199087,"package_name":"org.javabip:org.javabip.engine.coordinator","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":15666199088,"package_name":"org.javabip:org.javabip.engine.core","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":15666199089,"package_name":"org.openjfx:javafx-base","ecosystem":"maven","requirements":"17-ea+11","direct":true,"kind":"runtime","optional":false},{"id":15666199090,"package_name":"org.antlr:antlr4-runtime","ecosystem":"maven","requirements":"4.9.2","direct":true,"kind":"compile","optional":false},{"id":15666199091,"package_name":"org.apache.logging.log4j:log4j-core","ecosystem":"maven","requirements":"2.18.0","direct":true,"kind":"runtime","optional":false},{"id":15666199092,"package_name":"com.vaadin.external.google:android-json","ecosystem":"maven","requirements":"0.0.20131108.vaadin1","direct":true,"kind":"runtime","optional":false},{"id":15666199093,"package_name":"com.googlecode.json-simple:json-simple","ecosystem":"maven","requirements":"1.1.1","direct":true,"kind":"runtime","optional":false},{"id":15666199094,"package_name":"jakarta.xml.bind:jakarta.xml.bind-api","ecosystem":"maven","requirements":"4.0.0","direct":true,"kind":"runtime","optional":false},{"id":15666199095,"package_name":"com.sun.xml.bind:jaxb-impl","ecosystem":"maven","requirements":"4.0.1","direct":true,"kind":"runtime","optional":false},{"id":15666199096,"package_name":"javax.xml.bind:jaxb-api","ecosystem":"maven","requirements":"2.3.1","direct":true,"kind":"runtime","optional":false},{"id":15666199097,"package_name":"javax.annotation:javax.annotation-api","ecosystem":"maven","requirements":"1.3.2","direct":true,"kind":"runtime","optional":false},{"id":15666199098,"package_name":"com.google.code.gson:gson","ecosystem":"maven","requirements":"2.8.7","direct":true,"kind":"runtime","optional":false},{"id":15666199099,"package_name":"org.apache.commons:commons-lang3","ecosystem":"maven","requirements":"3.12.0","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/release.yml","sha":null,"kind":"manifest","created_at":"2024-03-05T18:35:38.374Z","updated_at":"2024-03-05T18:35:38.374Z","repository_link":"https://github.com/utwente-fmt/vercors/blob/dev/.github/workflows/release.yml","dependencies":[{"id":16624943914,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":16624943915,"package_name":"actions/setup-java","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":16624943916,"package_name":"liudonghua123/delete-release-action","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":16624943917,"package_name":"softprops/action-gh-release","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"hackage","filepath":"util/SplitVerify/SplitVerify.cabal","sha":null,"kind":"manifest","created_at":"2024-03-25T14:21:54.771Z","updated_at":"2024-03-25T14:21:54.771Z","repository_link":"https://github.com/utwente-fmt/vercors/blob/dev/util/SplitVerify/SplitVerify.cabal","dependencies":[{"id":17031223619,"package_name":"base","ecosystem":"hackage","requirements":"\u003e=4.12.0.0 \u0026\u0026 \u003c4.13","direct":true,"kind":"runtime","optional":false},{"id":17031223620,"package_name":"directory","ecosystem":"hackage","requirements":"\u003e=1.3.3.0 \u0026\u0026 \u003c1.4","direct":true,"kind":"runtime","optional":false},{"id":17031223621,"package_name":"aeson","ecosystem":"hackage","requirements":"\u003e=1.4.2.0 \u0026\u0026 \u003c1.5","direct":true,"kind":"runtime","optional":false},{"id":17031223622,"package_name":"rio","ecosystem":"hackage","requirements":"\u003e=0.1.12.0 \u0026\u0026 \u003c0.2","direct":true,"kind":"runtime","optional":false},{"id":17031223623,"package_name":"filepath","ecosystem":"hackage","requirements":"\u003e=1.4.2.1 \u0026\u0026 \u003c1.5","direct":true,"kind":"runtime","optional":false},{"id":17031223624,"package_name":"unordered-containers","ecosystem":"hackage","requirements":"\u003e=0.2.10.0 \u0026\u0026 \u003c0.3","direct":true,"kind":"runtime","optional":false},{"id":17031223625,"package_name":"bytestring","ecosystem":"hackage","requirements":"\u003e=0.10.8.2 \u0026\u0026 \u003c0.11","direct":true,"kind":"runtime","optional":false},{"id":17031223626,"package_name":"time","ecosystem":"hackage","requirements":"\u003e=1.8.0.2 \u0026\u0026 \u003c1.9 || \u003e=1.9.3 \u0026\u0026 \u003c1.10","direct":true,"kind":"runtime","optional":false},{"id":17031223627,"package_name":"boomerang","ecosystem":"hackage","requirements":"\u003e=1.4.5.6 \u0026\u0026 \u003c1.5","direct":true,"kind":"runtime","optional":false},{"id":17031223628,"package_name":"hashable","ecosystem":"hackage","requirements":"\u003e=1.2.7.0 \u0026\u0026 \u003c1.3","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"pypi","filepath":"util/wiki/requirements.txt","sha":null,"kind":"manifest","created_at":"2024-03-25T14:22:01.083Z","updated_at":"2024-03-25T14:22:01.083Z","repository_link":"https://github.com/utwente-fmt/vercors/blob/dev/util/wiki/requirements.txt","dependencies":[{"id":17031223629,"package_name":"pypandoc_binary","ecosystem":"pypi","requirements":"==1.12","direct":true,"kind":"runtime","optional":false}]}],"score":null,"created_at":"2025-09-04T15:51:05.987Z","updated_at":"2025-10-07T08:13:52.484Z","avatar_url":"https://github.com/utwente-fmt.png","language":"Scala","category":null,"sub_category":null,"monthly_downloads":0,"funding_links":[],"readme_doi_urls":[],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":[],"project_url":"https://science.ecosyste.ms/api/v1/projects/32793","html_url":"https://science.ecosyste.ms/projects/32793"}