Searched refs:emitter (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/graph-refine/graph-to-graph/
H A Dbench.py11 import chronos.emitter namespace
107 emitter = chronos.emitter.ChronosEmitter(dir_name, f, imm_fun)
108 emitter.emitTopLevelFunction()
110 imm_file_name = emitter.imm_file_name
/seL4-l4v-master/HOL4/tools/mllex/
H A Dmllex.sml1004 | MakeString(x::xs, emitter, pos) =
1005 MakeString(xs, emitter, emitter(x, pos))

Completed in 38 milliseconds