cargo / linlog
linlog 0.1.0
RisknoneVulnsnone- processes
- 346
- operations
- 12K
- packages
- 22
- compiler runs
- 17
- connections
- 1
- job time
- 45s
- capture
- 185 KB
- records
- 23K
- bytes / record
- 8.0
A linear logic suite: decides, checks, proves step by step and exports sequents of classical and intuitionistic linear logic, and ordinary propositional logic through its embeddings.
Artifact
- liblinlog.rlibfile · retained · product
Checks
14 of 14 clearBuild behavior✓✓✓✓✓✓✓✓
Supply chain✓✓✓✓✓
Pipeline✓
Detections
0No detections
No abnormal activity detected across 12K flows.
Network
1 peers- static.crates.io:8080 ecosystem
| Dependencies22 | Build behaviour |
|---|---|
| foldhash0.1.5 | |
| itoa1.0.18 | |
| ld-linux-x86-64.so.2 | |
| libc.so.6 | |
| libgcc_s.so.1 | |
| libm.so.6 | |
| libmvec.so.1 | |
| memchr2.8.3 | |
| proc-macro21.0.107 | |
| quote1.0.47 | |
| roxmltree0.21.1 | |
| serde1.0.229 | |
| serde_core1.0.229 | |
| serde_derive1.0.229 | |
| serde_json1.0.149 | |
| syn3.0.6 | |
| thiserror2.0.21 | |
| thiserror-impl2.0.21 | |
| tinyvec1.13.3 | |
| unicode-ident1.0.26 | |
| unicode-normalization0.1.25 | |
| zmij1.0.23 |
1 of 1 jobs captured: build-test success · Generated 2026-10-19 · run 1017eb96-ad33-49c8-9a82-b75ae86bbd4d
analysis 0.1.0 · 2026-10-17 · 0abbde9 · graph v2