Searched defs:updates (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/finite_map/
H A DflookupLib.sml88 val updates = List.rev o List.map (fst o pairSyntax.dest_pair) o snd o value
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/
H A Darm_random_testingLib.sml692 fun updates tm l = function
[all...]
H A Darm_stepLib.sml459 let val updates = arm_reg_updates state' handle HOL_ERR _ => [] value
489 let val updates = arm_psrs_updates state' in value
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/
H A Dlisp_codegenScript.sml1994 val updates = LIST_CONJ [CONJ mc_update_jump_spec mc_update_jump_thm, value
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DParse.sml664 val updates = !grm_updates value
H A Dterm_pp.sml1131 val updates = List.concat (map categorise_update (t1::updates0)) value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/hoare-triple/
H A DhelperLib.sml1175 val updates = map (combinSyntax.dest_update) (butlast xs) value

Completed in 184 milliseconds