Ecosyste.ms: Repos

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

GitHub / zgrannan / prusti-dev

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

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

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

License: other
Language: Rust
Repo Size: 130 MB
Dependencies: 444

Created: over 3 years ago
Updated: 11 days ago
Last pushed: 11 days ago
Last synced: 11 days ago

Files

Readme

Dependencies

Dockerfile docker

ubuntu 18.04 build

.github/workflows/benchmarks.yml actions

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

.github/workflows/coverage.yml actions

actions/checkout v2 composite
actions/setup-java v1 composite
actions/setup-python v2 composite
codecov/codecov-action 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

.github/workflows/rustdoc.yml actions

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

.github/workflows/test-on-crates.yml actions

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

.github/workflows/test.yml actions

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

.github/workflows/update-deps.yml actions

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

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.19
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

.github/workflows/backlog.yml actions

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

analysis/Cargo.toml cargo

compiletest_rs 0.8.0 development
glob 0.3.0 development
derive_more 0.99.16
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-launch/Cargo.toml cargo

glob 0.3 development
ctrlc 3.1
serde 1.0
toml 0.5
walkdir 2.0

prusti-server/Cargo.toml cargo

lazy_static 1.4.0 development
bincode 1.0
clap 3.2
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.2.1 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

Cargo.lock cargo

322 dependencies

prusti-contracts/prusti-contracts-std/Cargo.lock cargo

cfg-if 1.0.0
getrandom 0.2.7
itoa 1.0.3
libc 0.2.132
proc-macro2 1.0.43
quote 1.0.21
ryu 1.0.11
serde 1.0.143
serde_derive 1.0.143
serde_json 1.0.83
syn 1.0.99
unicode-ident 1.0.3
uuid 1.1.2
wasi 0.11.0+wasi-snapshot-preview1

prusti-contracts/Cargo.lock cargo

cfg-if 1.0.0
either 1.8.0
getrandom 0.2.7
glob 0.3.0
itertools 0.10.3
itoa 1.0.3
libc 0.2.132
once_cell 1.13.1
proc-macro2 1.0.43
quote 1.0.21
ryu 1.0.11
serde 1.0.144
serde_derive 1.0.144
serde_json 1.0.85
syn 1.0.99
termcolor 1.1.3
toml 0.5.9
trybuild 1.0.64
unicode-ident 1.0.3
uuid 1.1.2
wasi 0.11.0+wasi-snapshot-preview1
winapi 0.3.9
winapi-i686-pc-windows-gnu 0.4.0
winapi-util 0.1.5
winapi-x86_64-pc-windows-gnu 0.4.0