Ecosyste.ms: Repos

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

GitHub / cedihegi / prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cedihegi%2Fprusti-dev

Fork of viperproject/prusti-dev
Stars: 0
Forks: 0
Open Issues: 0

License: other
Language: Rust
Repo Size: 110 MB
Dependencies: 413

Created: over 3 years ago
Updated: over 1 year ago
Last pushed: 8 months ago
Last synced: 8 months ago

Files

Loading...

Readme

Loading...

Dependencies

.github/workflows/benchmarks.yml actions

Swatinem/rust-cache v2 composite
actions/checkout v2 composite
actions/setup-java v1 composite
peaceiris/actions-gh-pages v3 composite

.github/workflows/coverage.yml actions

Swatinem/rust-cache v2 composite
actions/checkout v2 composite
actions/setup-java v1 composite
codecov/codecov-action v1 composite

.github/workflows/crates-io.yml actions

actions/checkout v2 composite
katyo/publish-crates v1 composite

.github/workflows/deploy.yml actions

actions/checkout v2 composite
actions/download-artifact v2 composite
actions/setup-java v1 composite
actions/setup-python v2 composite
actions/upload-artifact v3 composite
actions/upload-release-asset v1 composite
viperproject/create-nightly-release v1 composite

.github/workflows/docs.yml actions

actions/checkout v2 composite
lycheeverse/lychee-action v1.5.1 composite
peaceiris/actions-gh-pages v3 composite
peaceiris/actions-mdbook v1 composite

.github/workflows/rustdoc.yml actions

actions/checkout v2 composite
actions/setup-java v1 composite
peaceiris/actions-gh-pages v3 composite

.github/workflows/test.yml actions

Swatinem/rust-cache v2 composite
actions/cache v3 composite
actions/checkout v2 composite
actions/setup-java v1 composite
actions/setup-python v2 composite

.github/workflows/update-deps.yml actions

Swatinem/rust-cache v2 composite
actions/checkout v2 composite
peter-evans/create-pull-request v3 composite

Dockerfile docker

ubuntu 18.04 build

analysis/Cargo.toml cargo

compiletest_rs 0.9 development
glob 0.3 development
derive_more 0.99
env_logger 0.9
log 0.4
serde 1.0
serde_json 1.0
syn 1.0

prusti-contracts/prusti-contracts/Cargo.toml cargo

trybuild 1.0 development
prusti-contracts-proc-macros 0.1.2

prusti-launch/Cargo.toml cargo

glob 0.3 development
ctrlc 3.1

prusti-server/Cargo.toml cargo

lazy_static 1.4.0 development
bincode 1.0
clap 4.0
env_logger 0.9
log 0.4
num_cpus 1.8.0
reqwest 0.11
serde 1.0
tokio 1.20
url 2.2.2
warp 0.3

prusti-viper/Cargo.toml cargo

diffy 0.3 development
lazy_static 1.4 development
backtrace 0.3
derive_more 0.99.16
itertools 0.10.3
log 0.4
num-traits 0.2
regex 1.5
rustc-hash 1.1.0
serde 1.0

viper/Cargo.toml cargo

bencher 0.1 development
env_logger 0.9 development
lazy_static 1.4 development
bincode 1.3.3
error-chain 0.12
futures 0.3.21
jni 0.20
log 0.4
rustc-hash 1.1.0
serde 1.0
tokio 1.20
uuid 1.0

.devcontainer/Dockerfile docker

mcr.microsoft.com/vscode/devcontainers/rust 0-${VARIANT} build

Cargo.lock cargo

334 dependencies