cargo / tla-checker
tla-checker 0.23.3
- processes
- 286
- operations
- 55K
- packages
- 196
- compiler runs
- 313
- connections
- 1
- job time
- 6m 13s
A TLA+ model checker written in Rust
Build behaviournot recorded for this run
Release 0.23.3 run bf7e19a4-bf38-4538-97e1-a2ac436809d7 · built 2026-10-06
Artifact
- libtla_checker.rlibfile · retained · product
- tlabinary · retained · product
- tla-mcpbinary · 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 55K flows.
Network
1 peers-
allowedstatic.crates.io:8080
Dependencies
203 packages, 0 with a build script that ran, 0 doing more than compiling| Package | Version | Usage | Build behaviour | |
|---|---|---|---|---|
| @playwright/test direct | 1.61.1 | untouched | ||
| aho-corasick | 1.1.5 | unrelated | ||
| allocator-api2 | 0.2.21 | linked | ||
| android_system_properties | 0.1.6 | platform_gated | ||
| anes | 0.1.6 | unrelated | ||
| anstyle | 1.0.14 | unrelated | ||
| approx | 0.5.1 | feature_gated | ||
| ar_archive_writer | 0.5.3 | linked | ||
| async-trait | 0.1.92 | buildtime_only | ||
| autocfg | 1.5.1 | buildtime_only | ||
| base64 | 0.22.1 | linked | ||
| bitflags | 2.13.2 | linked | ||
| bumpalo | 3.20.3 | buildtime_only | ||
| by_address | 1.2.1 | buildtime_only | ||
| bytes | 1.12.1 | linked | ||
| cast | 0.3.0 | unrelated | ||
| castaway | 0.2.4 | linked | ||
| cc | 1.6.0 | linked | ||
| cfg-if | 1.0.5 | linked | ||
| chrono | 0.4.45 | linked | ||
| ciborium | 0.2.2 | unrelated | ||
| ciborium-io | 0.2.2 | unrelated | ||
| ciborium-ll | 0.2.2 | unrelated | ||
| clap | 4.6.7 | unrelated | ||
| clap_builder | 4.6.7 | unrelated | ||
| clap_lex | 1.1.1 | unrelated | ||
| compact_str | 0.9.1 | linked | ||
| convert_case | 0.10.0 | linked | ||
| core-foundation-sys | 0.8.7 | platform_gated | ||
| criterion | 0.5.1 | unrelated | ||
| criterion-plot | 0.5.0 | unrelated | ||
| crossbeam-deque | 0.8.8 | unrelated | ||
| crossbeam-epoch | 0.9.21 | unrelated | ||
| crossbeam-utils | 0.8.23 | unrelated | ||
| crossterm direct | 0.29.0 | linked | ||
| crossterm_winapi | 0.9.1 | platform_gated | ||
| crunchy | 0.2.4 | unrelated | ||
| darling | 0.23.0 | linked | ||
| darling | 0.24.1 | linked | ||
| darling_core | 0.23.0 | linked | ||
| darling_core | 0.24.1 | linked | ||
| darling_macro | 0.23.0 | linked | ||
| darling_macro | 0.24.1 | linked | ||
| deranged | 0.5.8 | feature_gated | ||
| derive_more | 2.1.1 | linked | ||
| derive_more-impl | 2.1.1 | linked | ||
| document-features | 0.2.12 | linked | ||
| dyn-clone | 1.0.20 | linked | ||
| either | 1.19.0 | linked | ||
| equivalent | 1.0.2 | linked | ||
| errno | 0.3.14 | linked | ||
| fastrand direct | 2.5.0 | linked | ||
| find-msvc-tools | 0.1.14 | linked | ||
| foldhash | 0.2.0 | linked | ||
| fsevents | 2.3.2 | untouched | ||
| futures | 0.3.34 | linked | ||
| futures-channel | 0.3.34 | linked | ||
| futures-core | 0.3.34 | linked | ||
| futures-executor | 0.3.34 | linked | ||
| futures-io | 0.3.34 | linked | ||
| futures-macro | 0.3.34 | linked | ||
| futures-sink | 0.3.34 | linked | ||
| futures-task | 0.3.34 | linked | ||
| futures-util | 0.3.34 | linked | ||
| half | 2.7.1 | unrelated | ||
| hashbrown | 0.16.1 | linked | ||
| hashbrown | 0.17.1 | linked | ||
| heck | 0.5.0 | linked | ||
| hermit-abi | 0.5.3 | unrelated | ||
| iana-time-zone | 0.1.65 | platform_gated | ||
| iana-time-zone-haiku | 0.1.2 | platform_gated | ||
| ident_case | 1.0.1 | linked | ||
| indexmap direct | 2.14.2 | linked | ||
| indoc | 2.0.7 | linked | ||
| instability | 0.3.14 | linked | ||
| is-terminal | 0.4.17 | unrelated | ||
| itertools | 0.10.5 | unrelated | ||
| itertools | 0.14.0 | linked | ||
| itoa | 1.0.18 | linked | ||
| js-sys | 0.3.106 | platform_gated | ||
| kasuari | 0.4.12 | linked | ||
| ld-linux-x86-64.so.2 | linked | |||
| libc direct | 0.2.190 | linked | ||
| libc.so.6 | linked | |||
| libgcc_s.so.1 | linked | |||
| libm | 0.2.16 | feature_gated | ||
| libm.so.6 | linked | |||
| libmvec.so.1 | linked | |||
| line-clipping | 0.3.8 | linked | ||
| linux-raw-sys | 0.12.1 | linked | ||
| litrs | 1.0.0 | linked | ||
| lock_api | 0.4.14 | linked | ||
| log | 0.4.34 | linked | ||
| memchr | 2.8.3 | linked | ||
| mio | 1.2.4 | linked | ||
| num-conv | 0.2.2 | feature_gated | ||
| num-traits | 0.2.19 | linked | ||
| num_threads | 0.1.7 | feature_gated | ||
| object | 0.39.1 | linked | ||
| once_cell | 1.21.4 | linked | ||
| oorandom | 11.1.5 | unrelated | ||
| palette | 0.7.7 | feature_gated | ||
| palette_derive | 0.7.7 | buildtime_only | ||
| palette_math | 0.7.7 | feature_gated | ||
| parking_lot | 0.12.5 | linked | ||
| parking_lot_core | 0.9.12 | linked | ||
| pastey | 0.2.3 | linked | ||
| pin-project-lite | 0.2.17 | linked | ||
| playwright | 1.61.1 | untouched | ||
| playwright-core | 1.61.1 | untouched | ||
| plotters | 0.3.7 | unrelated | ||
| plotters-backend | 0.3.7 | unrelated | ||
| plotters-svg | 0.3.7 | unrelated | ||
| portable-atomic | 1.15.0 | feature_gated | ||
| powerfmt | 0.2.1 | feature_gated | ||
| proc-macro2 | 1.0.107 | linked | ||
| psm | 0.1.32 | linked | ||
| quote | 1.0.47 | linked | ||
| ratatui direct | 0.30.2 | linked | ||
| ratatui-core | 0.1.2 | linked | ||
| ratatui-crossterm | 0.1.2 | linked | ||
| ratatui-widgets | 0.3.2 | linked | ||
| rayon | 1.12.0 | unrelated | ||
| rayon-core | 1.13.0 | unrelated | ||
| redox_syscall | 0.5.18 | platform_gated | ||
| ref-cast | 1.0.27 | linked | ||
| ref-cast-impl | 1.0.27 | linked | ||
| regex | 1.13.1 | unrelated | ||
| regex-automata | 0.4.18 | unrelated | ||
| regex-syntax | 0.8.11 | unrelated | ||
| rmcp direct | 1.8.0 | linked | ||
| rmcp-macros | 1.8.0 | linked | ||
| rustc_version | 0.4.1 | buildtime_only | ||
| rustix | 1.1.5 | linked | ||
| rustversion | 1.0.23 | linked | ||
| ryu | 1.0.23 | linked | ||
| same-file | 1.0.6 | unrelated | ||
| schemars direct | 1.2.2 | linked | ||
| schemars_derive | 1.2.2 | linked | ||
| scopeguard | 1.2.0 | linked | ||
| semver | 1.0.28 | buildtime_only | ||
| serde direct | 1.0.229 | linked | ||
| serde_core | 1.0.229 | linked | ||
| serde_derive | 1.0.229 | linked | ||
| serde_derive_internals | 0.30.0 | linked | ||
| serde_json direct | 1.0.151 | linked | ||
| serde_spanned | 1.1.1 | linked | ||
| shlex | 2.0.1 | linked | ||
| signal-hook | 0.3.18 | linked | ||
| signal-hook-mio | 0.2.5 | linked | ||
| signal-hook-registry | 1.4.8 | linked | ||
| slab | 0.4.12 | linked | ||
| smallvec | 1.16.2 | linked | ||
| stacker direct | 0.1.25 | linked | ||
| static_assertions | 1.1.0 | linked | ||
| strsim | 0.11.1 | linked | ||
| strum | 0.28.0 | linked | ||
| strum_macros | 0.28.0 | linked | ||
| syn | 2.0.119 | linked | ||
| syn | 3.0.6 | linked | ||
| thiserror | 2.0.21 | linked | ||
| thiserror-impl | 2.0.21 | linked | ||
| time | 0.3.55 | feature_gated | ||
| time-core | 0.1.9 | feature_gated | ||
| tinytemplate | 1.2.1 | unrelated | ||
| tla-explorer-e2e | 0.0.0 | workspace | ||
| tokio direct | 1.53.2 | linked | ||
| tokio-macros | 2.7.2 | linked | ||
| tokio-util | 0.7.19 | linked | ||
| toml direct | 1.1.6+spec-1.1.0 | linked | ||
| toml_datetime | 1.1.1+spec-1.1.0 | linked | ||
| toml_parser | 1.1.3+spec-1.1.0 | linked | ||
| toml_writer | 1.1.2+spec-1.1.0 | linked | ||
| tracing | 0.1.44 | linked | ||
| tracing-attributes | 0.1.31 | linked | ||
| tracing-core | 0.1.36 | linked | ||
| unicode-ident | 1.0.26 | linked | ||
| unicode-segmentation | 1.13.3 | linked | ||
| unicode-truncate | 2.0.1 | linked | ||
| unicode-width | 0.2.2 | linked | ||
| walkdir | 2.5.0 | unrelated | ||
| wasi | 0.11.1+wasi-snapshot-preview1 | platform_gated | ||
| wasm-bindgen | 0.2.129 | platform_gated | ||
| wasm-bindgen-macro | 0.2.129 | buildtime_only | ||
| wasm-bindgen-macro-support | 0.2.129 | buildtime_only | ||
| wasm-bindgen-shared | 0.2.129 | platform_gated | ||
| web-sys | 0.3.106 | unrelated | ||
| winapi | 0.3.9 | platform_gated | ||
| winapi-i686-pc-windows-gnu | 0.4.0 | platform_gated | ||
| winapi-util | 0.1.11 | unrelated | ||
| winapi-x86_64-pc-windows-gnu | 0.4.0 | platform_gated | ||
| windows-core | 0.62.2 | platform_gated | ||
| windows-implement | 0.60.2 | buildtime_only | ||
| windows-interface | 0.59.3 | buildtime_only | ||
| windows-link | 0.2.1 | platform_gated | ||
| windows-result | 0.4.1 | platform_gated | ||
| windows-strings | 0.5.1 | platform_gated | ||
| windows-sys | 0.61.2 | platform_gated | ||
| winnow | 1.0.4 | linked | ||
| zerocopy | 0.8.60 | unrelated | ||
| zerocopy-derive | 0.8.60 | unrelated | ||
| zmij | 1.0.23 | linked | ||
| lru | 0.18.5 | dead |
1 of 1 jobs captured: build-test success · Generated 2026-10-06 · tarp 0.1.0+20261006193528-g7d456dca9d39 · run bf7e19a4-bf38-4538-97e1-a2ac436809d7