cargo / oxiz-smtcomp
oxiz-smtcomp 0.3.4
clean- processes
- 415
- operations
- 46K
- packages
- 141
- compiler runs
- 154
- connections
- 1
- job time
- 4m 51s
- capture
- 543 KB
- records
- 83K
- bytes / record
- 6.6
SMT-COMP benchmark infrastructure for OxiZ
Artifact
- liboxiz_smtcomp.rlibfile · retained · product
- smtcomp2026binary · retained · product
- ws_serverbinary · retained · product
| Checks | Detections |
|---|---|
| Build behavior | |
| ✓ Network activity | — |
| ✓ Sensitive data access and transfer | — |
| ✓ Cross-process access | — |
| ✓ Build file changes | — |
| ✓ Build script activity | — |
| ✓ Data flow analysis | — |
| ✓ Filesystem writes | — |
| ✓ Context collection | — |
| Supply chain | |
| ✓ Known vulnerabilities | — |
| ✓ Build-time dependency advisories | — |
| ✓ Dependency advisories | — |
| ✓ Declared and observed dependencies | — |
| ✓ Dependency and toolchain versions | — |
| Pipeline | |
| ✓ Pipeline coverage | — |
Detections
0No detections
No abnormal activity detected across 46K flows.
Network
0 peerscargo fetched 14,431 files from static.crates.io
Dependencies
152 packages, 25 with a build script that ran, 3 doing more than compiling| Package | Version | Usage | Build behaviour | |
|---|---|---|---|---|
| winapi-i686-pc-windows-gnu | 0.4.0 | platform_gated | build script, not runprebuilt objects | |
| winapi-x86_64-pc-windows-gnu | 0.4.0 | platform_gated | build script, not runprebuilt objects | |
| wit-bindgen | 0.57.1 | unrelated | build script, not runprebuilt objects | |
| ahash | 0.8.12 | linked | build script | |
| crossbeam-deque | 0.8.8 | linked | build script | |
| crossbeam-epoch | 0.9.21 | linked | build script | |
| crossbeam-utils | 0.8.23 | linked | build script | |
| futures-macro | 0.3.34 | buildtime_only | proc macro | |
| generic-array | 0.14.7 | unrelated | build script | |
| getrandom | 0.3.4 | unrelated | build script | |
| getrandom | 0.4.3 | linked | build script | |
| httparse | 1.10.1 | unrelated | build script | |
| ld-linux-x86-64.so.2 | linked | system library | ||
| libc | 0.2.190 | linked | build script | |
| libc.so.6 | linked | system library | ||
| libgcc_s.so.1 | linked | system library | ||
| libm | 0.2.16 | linked | build script | |
| libm.so.6 | linked | system library | ||
| libmvec.so.1 | linked | system library | ||
| num-traits | 0.2.19 | linked | build script | |
| parking_lot_core | 0.9.12 | linked | build script | |
| portable-atomic | 1.15.0 | linked | build script | |
| proc-macro2 | 1.0.107 | linked | build script | |
| quote | 1.0.47 | linked | build script | |
| rayon-core | 1.13.0 | linked | build script | |
| rustix | 1.1.5 | unrelated | build script | |
| rustversion | 1.0.23 | buildtime_only | build script, not runproc macro | |
| serde direct | 1.0.229 | linked | build script | |
| serde_core | 1.0.229 | linked | build script | |
| serde_derive | 1.0.229 | linked | proc macro | |
| serde_json direct | 1.0.151 | unknown | build script | |
| thiserror direct | 2.0.21 | linked | build script | |
| thiserror-impl | 1.0.69 | linked | proc macro | |
| thiserror-impl | 2.0.21 | linked | proc macro | |
| tokio-macros | 2.7.2 | unrelated | proc macro | |
| wasm-bindgen | 0.2.129 | platform_gated | build script, not run | |
| wasm-bindgen-macro | 0.2.129 | buildtime_only | proc macro | |
| wasm-bindgen-shared | 0.2.129 | platform_gated | build script, not run | |
| winapi | 0.3.9 | platform_gated | build script, not run | |
| zerocopy | 0.8.62 | linked | build script | |
| zerocopy-derive | 0.8.62 | buildtime_only | proc macro | |
| zmij | 1.0.23 | unknown | build script | |
| aho-corasick | 1.1.5 | linked | ||
| allocator-api2 | 0.2.21 | linked | ||
| autocfg | 1.5.1 | buildtime_only | ||
| bitflags | 2.13.2 | unknown | ||
| block-buffer | 0.10.4 | unrelated | ||
| bytemuck | 1.25.2 | linked | ||
| bytes | 1.12.1 | unrelated | ||
| cfg-if | 1.0.5 | linked | ||
| chacha20 | 0.10.2 | linked | ||
| cpufeatures | 0.2.17 | unrelated | ||
| cpufeatures | 0.3.1 | linked | ||
| crypto-common | 0.1.7 | unrelated | ||
| dashmap | 6.2.1 | linked | ||
| data-encoding | 2.11.1 | unrelated | ||
| digest | 0.10.7 | unrelated | ||
| either | 1.19.0 | linked | ||
| equivalent | 1.0.2 | linked | ||
| errno | 0.3.14 | unrelated | ||
| fastrand | 2.5.0 | unrelated | ||
| foldhash | 0.2.0 | linked | ||
| hashbrown | 0.14.5 | linked | ||
| hashbrown | 0.17.1 | linked | ||
| hermit-abi | 0.5.3 | platform_gated | ||
| http | 1.5.0 | unrelated | ||
| indexmap | 2.14.2 | unknown | ||
| itoa | 1.0.18 | unknown | ||
| js-sys | 0.3.106 | platform_gated | ||
| lasso | 0.7.3 | linked | ||
| linux-raw-sys | 0.12.1 | unrelated | ||
| lock_api | 0.4.14 | linked | ||
| lru direct | 0.18.5 | unknown | ||
| memchr | 2.8.3 | linked | ||
| mio | 1.2.4 | unrelated | ||
| num-bigint | 0.4.8 | linked | ||
| num-integer | 0.1.47 | linked | ||
| num-rational | 0.4.2 | linked | ||
| num_cpus | 1.17.0 | linked | ||
| once_cell | 1.21.4 | linked | ||
| oxiz-core direct | 0.3.4 | linked | ||
| oxiz-math | 0.3.4 | linked | ||
| oxiz-nlsat | 0.3.4 | linked | ||
| oxiz-proof | 0.3.4 | linked | ||
| oxiz-sat | 0.3.4 | linked | ||
| oxiz-solver direct | 0.3.4 | linked | ||
| oxiz-theories | 0.3.4 | linked | ||
| oxiz-time | 0.3.4 | linked | ||
| parking_lot | 0.12.5 | linked | ||
| pin-project-lite | 0.2.17 | linked | ||
| ppv-lite86 | 0.2.21 | unrelated | ||
| r-efi | 5.3.0 | unrelated | ||
| rand direct | 0.10.3 | linked | ||
| rand | 0.9.5 | unrelated | ||
| rand_chacha | 0.9.0 | unrelated | ||
| rand_core | 0.10.1 | linked | ||
| rand_core | 0.9.5 | unrelated | ||
| rayon direct | 1.12.0 | linked | ||
| redox_syscall | 0.5.18 | platform_gated | ||
| regex | 1.13.1 | linked | ||
| regex-automata | 0.4.18 | linked | ||
| regex-syntax | 0.8.11 | linked | ||
| rustc-hash | 2.1.3 | linked | ||
| ryu | 1.0.23 | unknown | ||
| safe_arch | 1.2.0 | linked | ||
| same-file | 1.0.6 | unknown | ||
| scopeguard | 1.2.0 | linked | ||
| serde_yaml direct | 0.9.34+deprecated | unknown | ||
| sha1 | 0.10.7 | unrelated | ||
| smallvec | 1.16.2 | linked | ||
| socket2 | 0.6.5 | unrelated | ||
| syn | 2.0.119 | linked | ||
| syn | 3.0.6 | linked | ||
| tempfile | 3.27.0 | unrelated | ||
| tokio | 1.53.2 | unrelated | ||
| tokio-tungstenite | 0.29.0 | unrelated | ||
| tracing direct | 0.1.44 | linked | ||
| tracing-core | 0.1.36 | linked | ||
| tungstenite | 0.29.0 | unrelated | ||
| typenum | 1.20.1 | unrelated | ||
| unicode-ident | 1.0.26 | linked | ||
| unsafe-libyaml | 0.2.11 | unknown | ||
| version_check | 0.9.5 | buildtime_only | ||
| walkdir direct | 2.5.0 | unknown | ||
| wasi | 0.11.1+wasi-snapshot-preview1 | platform_gated | ||
| wasip2 | 1.0.4+wasi-0.2.12 | unrelated | ||
| wasm-bindgen-macro-support | 0.2.129 | buildtime_only | ||
| web-sys | 0.3.106 | platform_gated | ||
| wide | 1.7.1 | linked | ||
| winapi-util | 0.1.11 | platform_gated | ||
| windows-link | 0.2.1 | platform_gated | ||
| windows-sys | 0.61.2 | platform_gated | ||
| portable-atomic-util | 0.2.8 | dead | build script | |
| thiserror | 1.0.69 | dead | build script | |
| bumpalo | 3.20.3 | dead | ||
| critical-section | 1.2.0 | dead | ||
| egg | 0.11.0 | dead | ||
| env_logger | 0.9.3 | dead | ||
| foldhash | 0.1.5 | dead | ||
| futures-core | 0.3.34 | dead | ||
| futures-sink | 0.3.34 | dead | ||
| futures-task | 0.3.34 | dead | ||
| futures-util | 0.3.34 | dead | ||
| hashbrown | 0.15.5 | dead | ||
| log | 0.4.34 | dead | ||
| quanta | 0.12.6 | dead | ||
| r-efi | 6.0.0 | unverified | ||
| raw-cpuid | 11.6.0 | dead | ||
| slab | 0.4.12 | dead | ||
| symbol_table | 0.4.0 | dead | ||
| symbolic_expressions | 5.0.3 | dead | ||
| winnow | 1.0.4 | dead |
1 of 1 jobs captured: build-test success · Generated 2026-10-10 · run c9f39766-47f4-465f-b58f-3d30207c1941
analysis 0.1.0 · 2026-10-09 · 814b5de · graph v1