Ecosyste.ms: Repos

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

GitHub / creusot-rs / creusot

Creusot helps you prove your code is correct in an automated fashion.

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/creusot-rs%2Fcreusot

Stars: 968
Forks: 45
Open Issues: 108

License: lgpl-2.1
Language: Rust
Repo Size: 37.2 MB
Dependencies: 123

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

Commit Stats

Commits: 1125
Authors: 26
Mean commits per author: 43.27
Development Distribution Score: 0.29
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/creusot-rs/creusot

Topics: deductive-reasoning, formal-methods, formal-verification, proof, rust, rust-lang, verification, why3

Files

Readme

Dependencies

why3tests/Cargo.toml cargo

.github/workflows/why3.yml actions

actions/upload-artifact v2 composite
ocaml/setup-ocaml v2 composite

.github/workflows/rust.yml actions

actions/cache v2 composite
actions/checkout v2 composite
dawidd6/action-download-artifact v2 composite

creusot/Cargo.toml cargo

arraydeque 0.4 development
assert_cmd 1.0 development
glob * development
similar 2.2 development
termcolor 1.1 development
clap 3.2
env_logger *
heck 0.4
indexmap 1.7.0
itertools *
lazy_static 1.4.0
log 0.4
petgraph 0.6
serde 1.0
serde_json 1.0
toml 0.5.8

.github/workflows/guide-ci.yml actions

actions/checkout master composite

.github/workflows/guide.yml actions

actions/checkout v3 composite
actions/configure-pages v2 composite
actions/deploy-pages v1 composite
actions/upload-pages-artifact v1 composite

creusot-rustc/Cargo.toml cargo

Cargo.toml cargo

cargo-creusot/Cargo.toml cargo

creusot-contracts/Cargo.toml cargo

creusot-contracts-dummy/Cargo.toml cargo

creusot-contracts-proc/Cargo.toml cargo

creusot-metadata/Cargo.toml cargo

pearlite-syn/Cargo.toml cargo

insta 1.0.29 development
ref-cast 1.0 development
proc-macro2 *
quote *
syn 2.0.15

why3/Cargo.toml cargo

Cargo.lock cargo

aho-corasick 0.7.19
arraydeque 0.4.5
arrayvec 0.5.2
assert_cmd 1.0.8
atty 0.2.14
autocfg 1.1.0
bitflags 1.3.2
bstr 0.2.17
cc 1.0.73
cfg-if 1.0.0
clap 3.2.22
clap_derive 3.2.18
clap_lex 0.2.4
console 0.15.2
difflib 0.4.0
doc-comment 0.3.3
either 1.8.0
encode_unicode 0.3.6
env_logger 0.9.1
fixedbitset 0.4.2
form_urlencoded 1.1.0
getrandom 0.2.7
git2 0.14.4
glob 0.3.0
hashbrown 0.12.3
heck 0.4.0
hermit-abi 0.1.19
humantime 2.1.0
idna 0.3.0
indexmap 1.9.1
insta 1.21.0
itertools 0.10.5
itoa 1.0.3
jobserver 0.1.25
lazy_static 1.4.0
libc 0.2.134
libgit2-sys 0.13.4+1.4.2
libssh2-sys 0.2.23
libz-sys 1.1.8
linked-hash-map 0.5.6
log 0.4.17
memchr 2.5.0
once_cell 1.15.0
openssl-probe 0.1.5
openssl-sys 0.9.76
os_str_bytes 6.3.0
percent-encoding 2.2.0
petgraph 0.6.2
pkg-config 0.3.25
predicates 2.1.1
predicates-core 1.0.3
predicates-tree 1.0.5
pretty 0.11.3
proc-macro-error 1.0.4
proc-macro-error-attr 1.0.4
proc-macro2 1.0.46
quote 1.0.21
ref-cast 1.0.9
ref-cast-impl 1.0.9
regex 1.6.0
regex-automata 0.1.10
regex-syntax 0.6.27
ryu 1.0.11
serde 1.0.145
serde_derive 1.0.145
serde_json 1.0.85
similar 2.2.0
strsim 0.10.0
syn 1.0.101
termcolor 1.1.3
terminal_size 0.1.17
termtree 0.2.4
textwrap 0.15.1
tinyvec 1.6.0
tinyvec_macros 0.1.0
toml 0.5.9
typed-arena 2.0.1
unicode-bidi 0.3.8
unicode-ident 1.0.4
unicode-normalization 0.1.22
unicode-segmentation 1.10.0
url 2.3.1
uuid 1.1.2
vcpkg 0.2.15
version_check 0.9.4
wait-timeout 0.2.0
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
yaml-rust 0.4.5