cargo / libpetri-verification
libpetri-verification 10.1.0
- processes
- 340
- operations
- 4.8K
- packages
- 9
- compiler runs
- 8
- connections
- 2
- job time
- 31s
Formal verification for libpetri Coloured Time Petri Net engine
Build behaviournot recorded for this run
Release 10.1.0 run aea602e2-0698-4d02-8d42-4dfcbac248da · built 2026-10-06
Artifact
- liblibpetri_verification.rlibfile · retained · product
| Checks | Detections |
|---|---|
| Build behavior | |
| ✓ Network activity | — |
| ✓ Cross-process access | — |
| ✓ Build file changes | — |
| ✓ Build script activity | — |
| ✓ Filesystem writes | — |
| ✓ Context collection | — |
| Supply chain | |
| ✓ Known vulnerabilities | — |
| ✓ Dependency advisories | — |
| ✓ Declared and observed dependencies | — |
| Pipeline | |
| ✓ Dependency versions across jobs | — |
| ✓ Pipeline coverage | — |
Detections
0No detections
No abnormal activity detected across 4.8K flows.
Network
1 peers-
allowedstatic.crates.io:8080
Dependencies
9 packages, 0 with a build script that ran, 0 doing more than compiling| Package | Version | Usage | Build behaviour | |
|---|---|---|---|---|
| ld-linux-x86-64.so.2 | linked | |||
| libc.so.6 | linked | |||
| libgcc_s.so.1 | linked | |||
| libm.so.6 | linked | |||
| libmvec.so.1 | linked | |||
| libpetri-core direct | 10.1.0 | observed | ||
| libpetri-docgen direct | 10.1.0 | observed | ||
| libpetri-event | 10.1.0 | observed | ||
| libpetri-export | 10.1.0 | observed |
1 of 1 jobs captured: build-test success · Generated 2026-10-06 · tarp 0.1.0+20261005230310-g8db20f3c46ff · run aea602e2-0698-4d02-8d42-4dfcbac248da