Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / ge-high-assurance / OYSTER
PrOof Engineering for SYSTEm ARchitecture Design Model (OYSTER)
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ge-high-assurance%2FOYSTER
Stars: 0
Forks: 0
Open Issues: 0
License: other
Language: Java
Repo Size: 7.96 MB
Dependencies:
158
Created: about 1 year ago
Updated: about 1 year ago
Last pushed: 9 months ago
Last synced: about 1 month ago
Files
Loading...
Readme
Loading...
Dependencies
tools/ml/svm/Dockerfile
docker
- python 3.11-bullseye build
- ubuntu 22.04 build
- ubuntu 22.04 build
tools/plugin/pom.xml
maven
- org.glassfish.jaxb:jaxb-bom 4.0.2 import
- co.paralleluniverse:capsule 1.0.3
- com.amihaiemil.web:docker-java-api 0.0.13
- com.ge.research.sadl:reasoner-api 3.5.0-SNAPSHOT
- com.ge.research.sadl:reasoner-impl 3.5.0-SNAPSHOT
- com.ge.research.sadl:sadlserver-api 3.5.0-SNAPSHOT
- com.ge.research.sadl:sadlserver-impl 3.5.0-SNAPSHOT
- com.ge.verdict:com.microsoft.z3 1.0.0-SNAPSHOT
- com.ge.verdict:oyster-data-model 1.0.0-SNAPSHOT
- com.ge.verdict:oyster-proof-generation 1.0.0-SNAPSHOT
- com.ge.verdict:verdict-assurance-case 1.0.0-SNAPSHOT
- com.ge.verdict:verdict-attack-defense-collector 1.0.0-SNAPSHOT
- com.ge.verdict:verdict-data-model 1.0.0-SNAPSHOT
- com.ge.verdict:verdict-instrumentor 1.0.0-SNAPSHOT
- com.ge.verdict:verdict-lustre-translator 1.0.0-SNAPSHOT
- com.ge.verdict:verdict-mbas-translator 1.0.0-SNAPSHOT
- com.ge.verdict:verdict-stem-runner 1.0.0-SNAPSHOT
- com.ge.verdict:verdict-synthesis 1.0.0-SNAPSHOT
- com.ge.verdict:verdict-test-instrumentor 1.0.0-SNAPSHOT
- com.ge.verdict:z3-native-libs 1.0.0-SNAPSHOT
- com.github.davidmoten:word-wrap 0.1.12
- com.sun.activation:jakarta.activation 2.0.1
- commons-cli:commons-cli 1.5.0
- edu.uiowa.clc.verdict.blm:verdict-blame-assignment 1.0.0-SNAPSHOT
- edu.uiowa.clc.verdict.crv:verdict-crv 1.0.0-SNAPSHOT
- edu.uiowa.clc.verdict:verdict-merit-assignment 1.0.0-SNAPSHOT
- edu.uiowa.cs.clc:kind2-java-api 0.3.3
- guru.nidi:graphviz-java 0.18.1
- io.github.tudo-aqua:z3-turnkey 4.8.14
- io.micrometer:micrometer-core 1.10.6
- io.micrometer:micrometer-registry-graphite 1.10.6
- junit:junit 4.13.2
- net.htmlparser.jericho:jericho-html 3.4
- net.sf.opencsv:opencsv 2.3
- org.antlr:antlr4-runtime 4.9.3
- org.apache.ant:ant 1.10.13
- org.apache.commons:commons-lang3 3.12.0
- org.apache.commons:commons-math3 3.6.1
- org.assertj:assertj-core 3.24.2
- org.glassfish:javax.json 1.1.4
- org.logicng:logicng 2.4.1
- org.ow2.asm:asm 9.5
- org.ow2.asm:asm-analysis 9.5
- org.ow2.asm:asm-commons 9.5
- org.ow2.asm:asm-tree 9.5
- org.ow2.asm:asm-util 9.5
- org.slf4j:jcl-over-slf4j 2.0.7
- org.slf4j:jul-to-slf4j 2.0.7
- org.slf4j:slf4j-api 2.0.7
- org.slf4j:slf4j-simple 2.0.7
- org.xmlunit:xmlunit-assertj 2.9.1
- org.zeroturnaround:zt-exec 1.12
- com.amihaiemil.web:docker-java-api provided
- com.ge.verdict:oyster-data-model provided
- com.ge.verdict:verdict-data-model provided
- guru.nidi:graphviz-java provided
- io.github.tudo-aqua:z3-turnkey provided
- io.micrometer:micrometer-core provided
- io.micrometer:micrometer-registry-graphite provided
- org.apache.commons:commons-lang3 provided
- org.glassfish:javax.json provided
- org.slf4j:slf4j-simple provided
- org.zeroturnaround:zt-exec provided
- com.ge.verdict:z3-native-libs provided
- com.ge.verdict:oyster-proof-generation
- com.ge.verdict:verdict-assurance-case
- com.ge.verdict:verdict-attack-defense-collector
- com.ge.verdict:verdict-data-model
- com.ge.verdict:verdict-lustre-translator
- com.ge.verdict:verdict-mbas-translator
- com.ge.verdict:verdict-stem-runner
- com.ge.verdict:verdict-synthesis
- com.ge.verdict:verdict-test-instrumentor
- commons-cli:commons-cli
- edu.uiowa.clc.verdict.blm:verdict-blame-assignment
- edu.uiowa.clc.verdict.crv:verdict-crv
- edu.uiowa.clc.verdict:verdict-merit-assignment
- io.micrometer:micrometer-registry-graphite
- org.apache.ant:ant
- org.slf4j:slf4j-simple test
- com.ge.verdict:z3-native-libs provided
- com.ge.verdict:com.microsoft.z3
- com.ge.verdict:verdict-attack-defense-collector
- com.ge.verdict:verdict-data-model
- org.apache.commons:commons-math3
- org.logicng:logicng
- org.slf4j:slf4j-api
- com.sun.activation:jakarta.activation test
- junit:junit test
- org.assertj:assertj-core test
- org.slf4j:slf4j-simple test