code wiki / (root) / nx_release_recent_gate.nx

nx_release_recent_gate.nx

buildroot/runtime/nx_release_recent_gate.nx

4300 B70 linesdepth 8pulls 13 transitivereach 0 importersview sourcekind gate/prooftopic release
docsdependenciesstructsconstsfunctions

dependencies 2 imports · 0 importers

nx_release_recent_lib.nx nx_gate_verdict.nx nx_release_recent_gate.nx

imports: nx_release_recent_lib.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 gv_ctr 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 ↻ rr_new rr_collect rd_byte rr_reserve rd_line_end rd_byte ↻ rd_slice_eq rd_cmp_slice rd_byte ↻ al_civil_date al_catn sys_mmap ↻ rd_cmp_slice ↻ rr_offer gv_check_eq gv_check gv_puts sys_write ↻ gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap

structs

none

consts

none

functions

3func rr_gate_has(b: *u8,n: i64,s: *u8) -> i64
called by 1: main calls 1: rd_slice_eq
9func main(argc: i64,argv: *i64) -> i64
calls 11: gv_ctrrr_newrr_collectgv_check_eqrr_sortrr_render+5