Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / shabnam4b / MIRAI
Rust mid-level IR Abstract Interpreter
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/shabnam4b%2FMIRAI
Fork of facebookexperimental/MIRAI
Stars: 1
Forks: 0
Open Issues: 0
License: mit
Language:
Repo Size: 205 MB
Dependencies:
154
Created: about 1 year ago
Updated: 10 months ago
Last pushed: over 1 year ago
Last synced: 10 months ago
Files
Loading...
Readme
Loading...
Dependencies
.github/workflows/rust.yml
actions
- actions-rs/cargo v1 composite
- actions-rs/clippy master composite
- actions-rs/grcov v0.1 composite
- actions-rs/toolchain v1 composite
- actions/cache v3.0.5 composite
- actions/checkout v2 composite
- codecov/codecov-action v3 composite
checker/Cargo.toml
cargo
- contracts 0.6.0 development
- walkdir * development
- bincode *
- cargo_metadata *
- clap 3.2
- env_logger *
- fs2 *
- itertools *
- lazy_static *
- log *
- log-derive *
- petgraph *
- rand *
- rayon *
- regex 1.5.6
- rpds *
- rustc_tools_util *
- serde *
- serde_json *
- shellwords *
- sled *
- tar 0.4.38
- tempfile *
- z3-sys *
Cargo.lock
cargo
- mirai-annotations 1.4.0