../ Makefile,v 02-Nov-2026 23:52 5054 verifiedexec_conf.l,v 02-Nov-2026 23:52 4206 verifiedexec_load.8,v 02-Nov-2026 23:52 8217 verifiedexec_load.c,v 02-Nov-2026 23:52 5474 verifiedexec_parse.h,v 02-Nov-2026 23:52 3627 verifiedexec_parse.y,v 02-Nov-2026 23:52 6643