cargo / ordeal
ordeal 0.29.0
clean- processes
- 204
- operations
- 19K
- packages
- 65
- compiler runs
- 5
- connections
- 1
- job time
- 53s
- capture
- 270 KB
- records
- 35K
- bytes / record
- 7.7
Ordeal — a specialized, certificate-checked QF_BV SMT solver for the PulseEngine toolchain.
Artifact
- libordeal.rlibfile · retained · product
- ordealbinary · retained · product
Checks
14 of 14 clearBuild behavior✓✓✓✓✓✓✓✓
Supply chain✓✓✓✓✓
Pipeline✓
Detections
0No detections
No abnormal activity detected across 19K flows.
Network
1 peers- static.crates.io:8080 ecosystem
| Dependencies66 | Build behaviour |
|---|---|
| ld-linux-x86-64.so.2 | |
| libc.so.6 | |
| libgcc_s.so.1 | |
| libm.so.6 | |
| libmvec.so.1 | |
| ordeal-lrat0.29.0 | |
| aho-corasick1.1.4 | |
| alloca0.4.0 | |
| anes0.1.6 | |
| anstyle1.0.14 | |
| autocfg1.5.1 | |
| block-buffer0.12.1 | |
| cast0.3.0 | |
| cc1.4.0 | |
| cfg-if1.0.4 | |
| ciborium0.2.2 | |
| ciborium-io0.2.2 | |
| ciborium-ll0.2.2 | |
| clap4.6.4 | |
| clap_builder4.6.2 | |
| clap_lex1.1.0 | |
| const-oid0.10.2 | |
| cpufeatures0.3.0 | |
| criterion0.8.2 | |
| criterion-plot0.8.2 | |
| crunchy0.2.4 | |
| crypto-common0.2.2 | |
| digest0.11.3 | |
| either1.17.0 | |
| find-msvc-tools0.1.9 | |
| half2.7.1 | |
| hybrid-array0.4.13 | |
| itertools0.13.0 | |
| itoa1.0.18 | |
| libc0.2.189 | |
| memchr2.8.3 | |
| num-traits0.2.19 | |
| oorandom11.1.5 | |
| page_size0.6.0 | |
| proc-macro21.0.107 | |
| quote1.0.47 | |
| regex1.13.1 | |
| regex-automata0.4.16 | |
| regex-syntax0.8.11 | |
| same-file1.0.6 | |
| serde1.0.229 | |
| serde_core1.0.229 | |
| serde_derive1.0.229 | |
| serde_json1.0.151 | |
| sha20.11.0 | |
| shlex2.0.1 | |
| syn2.0.119 | |
| syn3.0.3 | |
| tinytemplate1.2.1 | |
| typenum1.20.1 | |
| unicode-ident1.0.24 | |
| walkdir2.5.0 | |
| winapi0.3.9 | |
| winapi-i686-pc-windows-gnu0.4.0 | |
| winapi-util0.1.11 | |
| winapi-x86_64-pc-windows-gnu0.4.0 | |
| windows-link0.2.1 | |
| windows-sys0.61.2 | |
| zerocopy0.8.55 | |
| zerocopy-derive0.8.55 | |
| zmij1.0.23 |
1 of 1 jobs captured: build-test success · Generated 2026-10-14 · run fbe31ef1-10cd-471f-a4bd-b1db8609e780
analysis 0.1.0 · 2026-10-14 · efb1d7d · graph v2