Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / rems-project / isla
Symbolic execution tool for Sail ISA specifications
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rems-project%2Fisla
Stars: 54
Forks: 9
Open Issues: 33
License: other
Language: Rust
Repo Size: 20.7 MB
Dependencies:
959
Created: over 4 years ago
Updated: about 1 month ago
Last pushed: 2 months ago
Last synced: about 2 months ago
Commit Stats
Commits: 968
Authors: 17
Mean commits per author: 56.94
Development Distribution Score: 0.398
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/rems-project/isla
Files
Loading...
Readme
Loading...
Dependencies
isla-elf/Cargo.toml
cargo
- gimli 0.26.1
- goblin 0.4.3
- isla-lib 0.2.0
- lazy_static 1.4.0
- @types/codemirror 0.0.60 development
- @types/jquery ^3.3.6 development
- @types/lodash ^4.14.116 development
- css-loader ^3.6.0 development
- extract-text-webpack-plugin ^4.0.0-beta.0 development
- jquery ^3.5.1 development
- style-loader ^0.23.0 development
- ts-loader ^5.1.1 development
- typescript ^3.0.3 development
- webpack ^4.43.0 development
- webpack-cli ^3.1.0 development
- big-integer ^1.6.43
- codemirror ^5.40.0
- golden-layout ^1.5.9
- lodash ^4.17.21
- viz.js ^2.1.2
- actions-rs/toolchain v1 composite
- actions/checkout v2 composite
- ocaml/setup-ocaml v2 composite
isla-mml/Cargo.toml
cargo
isla-sexp/Cargo.toml
cargo
isla-lib/Cargo.toml
cargo
Cargo.toml
cargo
web/server/Cargo.toml
cargo
- crossbeam 0.8.1
- goblin 0.4.3
- isla-cat 0.2.0
- isla-lib 0.2.0
- lalrpop-util 0.19.0
- lazy_static 1.4.0
- regex 1.3.1
- serde 1.0.104
- toml 0.5.5
- vsce ^1.73.0
isla-cat/Cargo.toml
cargo
- lalrpop-util 0.19.0
- lazy_static 1.4.0
- regex 1.3.1
- vsce ^1.103.1
- @types/node 13.7.4
- ansi-styles 3.2.1
- argparse 1.0.10
- azure-devops-node-api 7.2.0
- balanced-match 1.0.0
- boolbase 1.0.0
- brace-expansion 1.1.11
- buffer-crc32 0.2.13
- chalk 2.4.2
- cheerio 1.0.0-rc.3
- color-convert 1.9.3
- color-name 1.1.3
- commander 2.20.3
- concat-map 0.0.1
- css-select 1.2.0
- css-what 2.1.3
- denodeify 1.2.1
- didyoumean 1.2.1
- dom-serializer 0.1.1
- domelementtype 1.3.1
- domhandler 2.4.2
- domutils 1.5.1
- entities 1.1.2
- escape-string-regexp 1.0.5
- fd-slicer 1.1.0
- fs.realpath 1.0.0
- glob 7.1.6
- has-flag 3.0.0
- htmlparser2 3.10.1
- inflight 1.0.6
- inherits 2.0.4
- linkify-it 2.2.0
- lodash 4.17.15
- markdown-it 8.4.2
- mdurl 1.0.1
- mime 1.6.0
- minimatch 3.0.4
- mute-stream 0.0.8
- nth-check 1.0.2
- once 1.4.0
- os 0.1.1
- os-homedir 1.0.2
- os-tmpdir 1.0.2
- osenv 0.1.5
- parse-semver 1.1.1
- parse5 3.0.3
- path-is-absolute 1.0.1
- pend 1.2.0
- read 1.0.7
- readable-stream 3.6.0
- safe-buffer 5.2.0
- semver 5.7.1
- sprintf-js 1.0.3
- string_decoder 1.3.0
- supports-color 5.5.0
- tmp 0.0.29
- tunnel 0.0.4
- typed-rest-client 1.2.0
- uc.micro 1.0.6
- underscore 1.8.3
- url-join 1.1.0
- util-deprecate 1.0.2
- vsce 1.73.0
- wrappy 1.0.2
- yauzl 2.10.0
- yazl 2.5.1
Cargo.lock
cargo
- ahash 0.7.6
- aho-corasick 0.7.18
- ascii-canvas 3.0.0
- atty 0.2.14
- autocfg 1.0.1
- bincode 1.3.3
- bit-set 0.5.2
- bit-vec 0.6.3
- bitflags 1.3.2
- block-buffer 0.7.3
- block-padding 0.1.5
- byte-tools 0.3.1
- byteorder 1.4.3
- cfg-if 1.0.0
- crossbeam 0.8.1
- crossbeam-channel 0.5.1
- crossbeam-deque 0.8.1
- crossbeam-epoch 0.9.5
- crossbeam-queue 0.3.2
- crossbeam-utils 0.8.5
- crunchy 0.2.2
- diff 0.1.12
- digest 0.8.1
- dirs-next 2.0.0
- dirs-sys-next 0.1.2
- either 1.6.1
- ena 0.14.0
- fake-simd 0.1.2
- fallible-iterator 0.2.0
- fixedbitset 0.2.0
- generic-array 0.12.4
- getopts 0.2.21
- getrandom 0.1.16
- getrandom 0.2.3
- gimli 0.26.1
- goblin 0.4.3
- hashbrown 0.11.2
- hermit-abi 0.1.19
- indexmap 1.7.0
- instant 0.1.12
- itertools 0.10.3
- lalrpop 0.19.6
- lalrpop-util 0.19.6
- lazy_static 1.4.0
- libc 0.2.109
- lock_api 0.4.5
- log 0.4.14
- memchr 2.4.1
- memoffset 0.6.5
- new_debug_unreachable 1.0.4
- num_cpus 1.13.0
- once_cell 1.8.0
- opaque-debug 0.2.3
- parking_lot 0.11.2
- parking_lot_core 0.8.5
- petgraph 0.5.1
- phf_shared 0.8.0
- pico-args 0.4.2
- plain 0.2.3
- ppv-lite86 0.2.15
- precomputed-hash 0.1.1
- proc-macro2 1.0.33
- quote 1.0.10
- rand 0.7.3
- rand_chacha 0.2.2
- rand_core 0.5.1
- rand_hc 0.2.0
- redox_syscall 0.2.10
- redox_users 0.4.0
- regex 1.5.4
- regex-syntax 0.6.25
- rustversion 1.0.6
- scopeguard 1.1.0
- scroll 0.10.2
- scroll_derive 0.10.5
- serde 1.0.130
- serde_derive 1.0.130
- sha2 0.8.2
- siphasher 0.3.7
- smallvec 1.7.0
- stable_deref_trait 1.2.0
- string_cache 0.8.2
- syn 1.0.82
- term 0.7.0
- tiny-keccak 2.0.2
- toml 0.5.8
- typenum 1.14.0
- unicode-width 0.1.9
- unicode-xid 0.2.2
- version_check 0.9.3
- wasi 0.9.0+wasi-snapshot-preview1
- wasi 0.10.2+wasi-snapshot-preview1
- winapi 0.3.9
- winapi-i686-pc-windows-gnu 0.4.0
- winapi-x86_64-pc-windows-gnu 0.4.0
- z3-sys 0.5.0