Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / utwente-fmt / vercors
The VerCors verification toolset for verifying parallel and concurrent software
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/utwente-fmt%2Fvercors
Stars: 49
Forks: 24
Open Issues: 140
License: mpl-2.0
Language: Scala
Repo Size: 537 MB
Dependencies:
86
Created: about 8 years ago
Updated: 8 days ago
Last pushed: 1 day ago
Last synced: about 6 hours ago
Topics: c, concurrency, java, opencl, openmp, parallelism, separation-logic, software-analysis, vercors-toolset, verification, viper
Files
Loading...
Readme
Loading...
Dependencies
- actions/checkout v2 composite
- ncipollo/release-action v1 composite
- technote-space/auto-cancel-redundant-workflow v1 composite
.github/workflows/scalatest.yml
actions
- KyleMayes/install-llvm-action v1 composite
- actions/cache v3 composite
- actions/cache v2 composite
- actions/checkout v2 composite
- actions/download-artifact v3 composite
- actions/setup-java v1 composite
- actions/upload-artifact v3 composite
- dorny/test-reporter v1 composite
- org.antlr:antlr4-runtime 4.9.2 compile
- com.google.code.gson:gson 2.8.7
- com.googlecode.json-simple:json-simple 1.1.1
- com.sun.xml.bind:jaxb-impl 4.0.1
- com.typesafe.akka:akka-actor_2.11 2.5.32
- com.typesafe.akka:akka-osgi_2.11 2.5.31
- com.vaadin.external.google:android-json 0.0.20131108.vaadin1
- jakarta.xml.bind:jakarta.xml.bind-api 4.0.0
- javax.annotation:javax.annotation-api 1.3.2
- javax.xml.bind:jaxb-api 2.3.1
- junit:junit 4.13.1
- log4j:log4j 1.2.16
- org.antlr:antlr4 4.0
- org.apache.commons:commons-lang3 3.12.0
- org.apache.logging.log4j:log4j-core 2.18.0
- org.javabip:javabdd 1.0b2
- org.javabip:org.javabip.api 0.1.0-SNAPSHOT
- org.javabip:org.javabip.engine.api 0.1.0-SNAPSHOT
- org.javabip:org.javabip.engine.coordinator 0.1.0-SNAPSHOT
- org.javabip:org.javabip.engine.core 0.1.0-SNAPSHOT
- org.javabip:org.javabip.engine.factory 0.1.0-SNAPSHOT
- org.javabip:org.javabip.executor 0.1.0-SNAPSHOT
- org.javabip:org.javabip.glue 0.1.0-SNAPSHOT
- org.javabip:org.javabip.spec.examples 0.1.0-SNAPSHOT
- org.openjfx:javafx-base 17-ea+11
- org.osgi:org.osgi.core 4.2.0
- org.slf4j:slf4j-api 1.5.11
- org.slf4j:slf4j-log4j12 1.5.11
- org.slf4j:slf4j-simple 2.0.6
- org.springframework:spring-beans 5.3.18
- org.antlr:antlr4-runtime 4.9.2 compile
- com.google.code.gson:gson 2.8.7
- com.googlecode.json-simple:json-simple 1.1.1
- com.sun.xml.bind:jaxb-impl 4.0.1
- com.typesafe.akka:akka-actor_2.11 2.5.32
- com.typesafe.akka:akka-osgi_2.11 2.5.31
- com.vaadin.external.google:android-json 0.0.20131108.vaadin1
- jakarta.xml.bind:jakarta.xml.bind-api 4.0.0
- javax.annotation:javax.annotation-api 1.3.2
- javax.xml.bind:jaxb-api 2.3.1
- junit:junit 4.13.1
- log4j:log4j 1.2.16
- org.antlr:antlr4 4.0
- org.apache.commons:commons-lang3 3.12.0
- org.apache.logging.log4j:log4j-core 2.18.0
- org.javabip:javabdd 1.0b2
- org.javabip:org.javabip.api 0.1.0-SNAPSHOT
- org.javabip:org.javabip.engine.api 0.1.0-SNAPSHOT
- org.javabip:org.javabip.engine.coordinator 0.1.0-SNAPSHOT
- org.javabip:org.javabip.engine.core 0.1.0-SNAPSHOT
- org.javabip:org.javabip.engine.factory 0.1.0-SNAPSHOT
- org.javabip:org.javabip.executor 0.1.0-SNAPSHOT
- org.javabip:org.javabip.glue 0.1.0-SNAPSHOT
- org.javabip:org.javabip.spec.examples 0.1.0-SNAPSHOT
- org.openjfx:javafx-base 17-ea+11
- org.osgi:org.osgi.core 4.2.0
- org.slf4j:slf4j-api 1.5.11
- org.slf4j:slf4j-log4j12 1.5.11
- org.slf4j:slf4j-simple 2.0.6
- org.springframework:spring-beans 5.3.18
.github/workflows/release.yml
actions
- actions/checkout v2 composite
- actions/setup-java v1 composite
- liudonghua123/delete-release-action v1 composite
- softprops/action-gh-release v1 composite
- aeson >=1.4.2.0 && <1.5
- base >=4.12.0.0 && <4.13
- boomerang >=1.4.5.6 && <1.5
- bytestring >=0.10.8.2 && <0.11
- directory >=1.3.3.0 && <1.4
- filepath >=1.4.2.1 && <1.5
- hashable >=1.2.7.0 && <1.3
- rio >=0.1.12.0 && <0.2
- time >=1.8.0.2 && <1.9 || >=1.9.3 && <1.10
- unordered-containers >=0.2.10.0 && <0.3
- pypandoc_binary ==1.12