1 viewer
rust 1,860,549 · typescript 235,540 · javascript 132,956 · python 20,426 · 6,408 files · digest f04d4637f52b · built in 1.5 s · crystals off
prove_ffn
35lines
3cyclomatic
1max nesting
19statements
2? exits
6params
3callers
2callees
1.3 (p88)call-graph weight
Crystal
no crystal was derived for this function
Call neighbourhood
Callers left, callees right, two hops each way (3 direct callers, 2 direct callees; the heaviest shown). Dashed edges are method calls resolved by name alone.
Control flow
Source not readable from this process.
Callers 3
- prove_ffn_rung app-inference-proof · path
- ffn_matches_reference_exactly_and_relu_fires app-inference-proof · name
- ffn_is_fully_succinctly_proven app-inference-proof · name
Callees 2
- prove_relu_unit app-inference-proof · name
- prove_affine_unit app-inference-proof · name
Source not readable from this process.