cargo / pindakaas
pindakaas 0.6.0
clean- processes
- 227
- operations
- 43K
- packages
- 44
- compiler runs
- 6
- connections
- 1
- job time
- 57s
- capture
- 198 KB
- records
- 55K
- bytes / record
- 3.6
Encoding Integer and Pseudo Boolean constraints into CNF
Artifact
- libpindakaas.rlibfile · 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 43K flows.
Network
0 peerscargo fetched 3,392 files from static.crates.io
Dependencies
44 packages, 5 with a build script that ran, 0 doing more than compiling| Package | Version | Usage | Build behaviour | |
|---|---|---|---|---|
| divan-macros | 0.1.21 | observed | proc macro | |
| getrandom | 0.4.3 | observed | build script, not run | |
| ld-linux-x86-64.so.2 | linked | system library | ||
| libc | 0.2.190 | observed | build script | |
| libc.so.6 | linked | system library | ||
| libgcc_s.so.1 | linked | system library | ||
| libm.so.6 | linked | system library | ||
| libmvec.so.1 | linked | system library | ||
| pindakaas-cadical direct | 0.4.1 | observed | build script | |
| proc-macro2 | 1.0.107 | observed | build script | |
| quote | 1.0.47 | observed | build script | |
| rustix | 1.1.5 | observed | build script | |
| tracing-attributes | 0.1.31 | observed | proc macro | |
| anstyle | 1.0.14 | observed | ||
| bitflags | 2.13.2 | observed | ||
| cc | 1.8.0 | observed | ||
| cfg-if | 1.0.5 | observed | ||
| clap | 4.6.7 | observed | ||
| clap_builder | 4.6.7 | observed | ||
| clap_lex | 1.1.1 | observed | ||
| condtype | 1.3.0 | observed | ||
| dissimilar | 1.0.11 | observed | ||
| divan | 0.1.21 | observed | ||
| either | 1.19.0 | observed | ||
| errno | 0.3.14 | observed | ||
| expect-test | 1.5.1 | observed | ||
| find-msvc-tools | 0.1.14 | observed | ||
| itertools direct | 0.15.0 | observed | ||
| jobserver | 0.1.35 | observed | ||
| linux-raw-sys | 0.12.1 | observed | ||
| once_cell | 1.21.4 | observed | ||
| pin-project-lite | 0.2.17 | observed | ||
| r-efi | 6.0.0 | observed | ||
| rangelist direct | 0.6.0 | observed | ||
| regex-lite | 0.1.9 | observed | ||
| rustc-hash direct | 2.1.3 | observed | ||
| shlex | 2.0.1 | observed | ||
| syn | 2.0.119 | observed | ||
| terminal_size | 0.4.4 | observed | ||
| tracing | 0.1.44 | observed | ||
| tracing-core | 0.1.36 | observed | ||
| unicode-ident | 1.0.27 | observed | ||
| windows-link | 0.2.1 | observed | ||
| windows-sys | 0.61.2 | observed |
1 of 1 jobs captured: build-test success · Generated 2026-10-13 · run 25c5458c-7bae-47d6-81bd-d6a43344d23b
analysis 0.1.0 · 2026-10-11 · d6246d3 · graph v2