Searched refs:printn (Results 1 - 12 of 12) sorted by relevance

/seL4-l4v-master/HOL4/examples/machine-code/graph/
H A Ddecompile.py33 def printn(str): function
62 printn("Building dependencies ...")
72 printn(l)
78 printn("Decompiling {0} ... (output in {1})".format(elf,output_file))
88 printn(l)
93 printn(l)
/seL4-l4v-master/HOL4/examples/l3-machine-code/lib/
H A DassemblerLib.sig10 val printn: string -> unit value
H A DassemblerLib.sml49 fun printn s = print (s ^ "\n") function
53 printn ("line " ^ Int.toString line ^ " : " ^ string))
/seL4-l4v-master/HOL4/src/floating-point/native/
H A Dselftest.sml6 fun printn s = print (s ^ "\n")
7 fun die s = ( printn s; raise ERR "" "" )
8 val die = printn
/seL4-l4v-master/HOL4/examples/l3-machine-code/arm/model/
H A DarmAssemblerLib.sml274 else ( printn ">> Warning: UNPREDICTABLE code."
276 ; printn "<<"
278 ; List.app printn code
280 handle Assembler l => ( printn ">> Failed to assemble code."
282 ; printn "<<")
286 val print_arm_disassemble = List.app printn o arm_disassemble
/seL4-l4v-master/HOL4/examples/l3-machine-code/arm8/model/
H A Darm8AssemblerLib.sml229 List.app printn (codeStrings commentCode (arm8_code q))
230 handle Assembler l => ( printn ">> Failed to assemble code."
232 ; printn "<<")
236 val print_arm8_disassemble = List.app printn o arm8_disassemble
/seL4-l4v-master/HOL4/examples/l3-machine-code/m0/model/
H A Dm0AssemblerLib.sml257 List.app printn (codeStrings commentCode (m0_code q))
259 ( printn ">> Failed to assemble code."
261 ; printn "<<")
266 val print_m0_disassemble = List.app assemblerLib.printn o m0_disassemble
/seL4-l4v-master/HOL4/examples/ARM/v4/
H A Darm_evalLib.sml259 fun printn s = print (s ^ "\n"); function
488 app printn (map mem_val_to_string (read_mem_range m start n));
491 app printn (map mem_val_to_string (read_mem_block m n))
/seL4-l4v-master/HOL4/examples/l3-machine-code/x64/model/
H A Dx64AssemblerLib.sml233 if x64.stripSpaces x = "" then () else assemblerLib.printn x
/seL4-l4v-master/HOL4/examples/l3-machine-code/x64/prog/
H A Dx64_progLib.sml261 1 => assemblerLib.printn (s ^ " ; " ^ disassemble1 s)
/seL4-l4v-master/HOL4/examples/l3-machine-code/m0/step/
H A Dm0_stepLib.sml1338 fun printn s = TextIO.print (s ^ "\n") function
1388 val print_instructions = List.app printn o list_mnemonics
/seL4-l4v-master/HOL4/examples/l3-machine-code/arm/step/
H A Darm_stepLib.sml2407 fun printn s = TextIO.print (s ^ "\n") function
2516 fun print_instructions () = List.app printn (list_instructions ())
4287 else ( printn "\n>>>> Warning: contains UNPREDICTABLE code. >>>>\n"
4289 ; printn "\n<<<<\n"

Completed in 224 milliseconds