Searched defs:assignments (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/ppc/
H A Dprog_ppcLib.sml54 val assignments = find_terml (can (match_term ``PWRITE_S a x``)) g value
57 val assignments = map (fn tm => (cdr (car tm), cdr tm)) assignments value
/seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/arm/
H A Dprog_armLib.sml78 val assignments = map (fn x => (cdr (car (car x)),cdr (car x))) reg_assign value
79 val assignments = map (fn x => (cdr (car (car x)),cdr (car x))) mem_assign @ assignments value
80 val assignments = map (fn x => (cdr (car (car x)),cdr (car x))) sts_assign @ assignments value
97 val assignments = map (fn (x,y) => (x,subst [xx |-> v]y)) assignments value
[all...]
/seL4-l4v-master/HOL4/examples/elliptic/c_output/
H A Dc_outputLib.sml352 val assignments = map (fn (s1, s2) => (s1^" = "^s2^";")) (zip lhsL' rhsL); value

Completed in 92 milliseconds