code wiki / _hdl_build / nx_manga_add_gate.nx

nx_manga_add_gate.nx

buildroot/runtime/_hdl_build/nx_manga_add_gate.nx

5691 B101 linesdepth 5pulls 10 transitivereach 0 importersview sourcekind gate/prooftopic manga
docsdependenciesstructsconstsfunctions

dependencies 7 imports · 0 importers

nx_gate_grow.nx nx_gate_gn.nx nx_gate_base.nx nx_gate_read.nx nx_syscalls.nx nx_manga_add.nx nx_gate_verdict.nx nx_manga_add_gate.nx

imports: nx_gate_grow.nxnx_gate_gn.nxnx_gate_base.nxnx_gate_read.nxnx_syscalls.nxnx_manga_add.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main gw sys_write sys_chdir sys_mmap nxa_die sys_write ↻ sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ sys_exit ↻ sys_mmap ↻ ma_form_val zs_slen g_slen g_streq ma_url_ok grow gw ↻ ma_derive_slug

structs

none

consts

none

functions

19func g_streq(a: *u8, b: *u8) -> i64 { var i: i64=0; while a[i]!=(0 as u8){ if a[i]!=b[i]{return 0} i=i+1 } if b[i]==(0 as u8){return 1} return 0 }
called by 1: main
20func g_has(hay: *u8, n: i64, needle: *u8) -> i64
30func g_add(body: *u8, blen: i64, ukey: *u8, out: *u8, cap: i64) -> i64
40func main() -> i64