Searched defs:loops (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/unwind/
H A DunwindLib.sml563 let val loops = loops_of_graph graph value
/seL4-l4v-10.1.1/HOL4/src/simp/src/
H A DCond_rewr.sml199 fun loops th = let function
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/
H A Dcore_decompilerLib.sml363 val loops = all_distinct (map last (filter is_loop paths)) value
399 val loops = sort compare zs value
401 val loops = map (int_sort ## int_sort) loops value
422 val loops = extract_loops jumps value
423 val loops = value
662 val loops = tl loops value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/machine-code/decompiler/
H A DdecompilerLib.sml508 val loops = all_distinct (map last (filter is_loop paths)) value
568 val loops = sort compare zs value
571 val loops = map (fn (xs,ys) => (int_sort xs, int_sort ys)) loops value
573 val loops = if not (!decompile_as_single_function) then loops else let value
584 val loops = extract_loops jumps value
[all...]

Completed in 77 milliseconds