Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / jayhorn / jayhorn

Static checker for Java

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jayhorn%2Fjayhorn

Stars: 72
Forks: 19
Open Issues: 19

License: mit
Language: Java
Repo Size: 180 MB
Dependencies: 13

Created: almost 9 years ago
Updated: 6 months ago
Last pushed: 6 months ago
Last synced: 6 months ago

Topics: java, model-checking, static-analysis, verification

Files

Loading...

Readme

Loading...

Dependencies

jayhorn/build.gradle maven

args4j:args4j 2.32 compile
com.google.code.findbugs:annotations 3.0.0 compile
log4j:log4j 1.2.17 compile
uuverifiers:eldarica_2.11 nightly-SNAPSHOT compile
junit:junit 4.12 testCompile

soottocfg/build.gradle maven

com.google.code.findbugs:annotations 3.0.0 compile
com.google.guava:guava 18.0 compile
org.jgrapht:jgrapht-core 0.9.1 compile
org.jgrapht:jgrapht-ext 0.9.1 compile
junit:junit 4.12 testCompile
net.sourceforge.javydreamercsw:randoop 1.3.2 testCompile
org.testng:testng 6.8.1 testCompile

Dockerfile docker

openjdk 8 build

build.gradle maven