Skip to content
Open-Source Registry

cargo / prusti-contracts-proc-macros / 0.3.0

prusti-contracts-proc-macros 0.3.0

bitbison: clean, behavior clean, dependencies clean, posture not checked, pipeline clean, 1 of 1 jobs captured RisknoneVulnsnone
processes
172
operations
4.0K
packages
5
compiler runs
1
connections
1
build time
5s
job time
5s
capture
83 KB
records
8.0K
bytes / record
10.4

Build behaviourproc macro

run 5bd6daa3-db36-4687-9090-bd505d3dbb21 · built 2026-10-19 · complete View on crates.io

Artifact

file · retained · product · graph v2
1

Checks

12 of 12 clear
Build behavior✓✓✓✓✓✓✓
Supply chain✓✓✓✓
Pipeline✓

Detections

0

No detections

No abnormal activity detected across 4.0K flows.

Network

1 peers
  • static.crates.io:8080 the package manager · cargo (prusti) via Package registries profile (cargo → static.crates.io) · 1,620 files ecosystem
Dependencies5Build behaviour
ld-linux-x86-64.so.2system library
libc.so.6system library
libgcc_s.so.1system library
libm.so.6system library
libmvec.so.1system library
Versions13RiskVulnsPublished
0.3.01d ago
0.2.0not analyzed2023-09-04
0.1.10not analyzed2023-08-11
0.1.9not analyzed2023-07-20
0.1.8not analyzed2023-06-26
0.1.6not analyzed2023-04-05
0.1.5not analyzed2023-04-03
0.1.4not analyzed2023-02-13
0.1.3not analyzed2023-01-31
0.1.2not analyzed2022-10-03
0.1.1not analyzed2022-09-27
0.1.0not analyzed2022-09-26
0.3.1nonenone

Raw data

capture
83 KB
records
7,952
bytes per record
10.4

Loading a sample of the capture

Want to see more? E-mail us at hello@bitbison.io about your use case.

1 of 1 jobs captured: build-test success · Generated 2026-10-19 · run 5bd6daa3-db36-4687-9090-bd505d3dbb21

analysis 0.1.0 · 2026-10-19 · 10ce9f4 · graph v2