Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / jcp19 / SPIDER
Automated data race detection from a distributed trace via SMT constraint solving
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jcp19%2FSPIDER
Stars: 17
Forks: 1
Open Issues: 7
License: mit
Language: Java
Repo Size: 15.3 MB
Dependencies:
11
Created: about 6 years ago
Updated: about 1 year ago
Last pushed: over 2 years ago
Last synced: about 1 year ago
Topics: debugging-tools, distributed-systems, race-conditions, race-detection, race-detection-engines, runtime-verification, testing-tools, traces
Files
Dependencies
- com.googlecode.combinatoricslib:combinatoricslib 2.2 compile
- org.jetbrains:annotations-java5 RELEASE compile
- org.junit.jupiter:junit-jupiter-api RELEASE compile
- commons-cli:commons-cli 1.4
- org.apache.logging.log4j:log4j-api 2.16.0
- org.apache.logging.log4j:log4j-core 2.16.0
- org.json:json 20090211
- org.slf4j:slf4j-log4j12 1.7.10
- pt.haslab:falcon-taz 1.0-SNAPSHOT
- org.junit.jupiter:junit-jupiter-engine 5.2.0 test
- org.junit.platform:junit-platform-runner 1.2.0 test