code wiki / _hdl_build / nx_wasm_diablo_gate.nx

nx_wasm_diablo_gate.nx

buildroot/runtime/_hdl_build/nx_wasm_diablo_gate.nx

8472 B127 linesdepth 4pulls 10 transitivereach 0 importersview sourcekind gate/prooftopic wasm
docsdependenciesstructsconstsfunctions

dependencies 6 imports · 0 importers

nx_gate_gn.nx nx_gate_base.nx nx_wasm_diablo.nx nx_png.nx nx_syscalls.nx nx_gate_verdict.nx nx_wasm_diablo_gate.nx

imports: nx_gate_gn.nxnx_gate_base.nxnx_wasm_diablo.nxnx_png.nxnx_syscalls.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

structs

none

consts

31const DBL_RED_MARGIN: i64 = 24
33const DBL_FLOOR_DX: i64 = 40
41const DBL_TORSO_DY: i64 = 38

functions

15func grow(name: *u8, ok: i64) -> i64 { if ok==1 { gw(" PASS " as *u8) } else { gw(" FAIL " as *u8) } gw(name); gw("
17func lum(c: i64) -> i64 { return (c & 255) + ((c>>8)&255) + ((c>>16)&255) }
18func red_over_green(c: i64) -> i64 { return (c & 255) - ((c>>8)&255) }
43func main() -> i64