Searched defs:assign (Results 1 - 12 of 12) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DSingle_Assignment.sml13 val assign: 'a var -> 'a -> unit value
46 fun assign (v as Var {name, lock, cond, var}) x = function
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/calculator/
H A Dparser.y134 assign: label
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/
H A Dcircuits.lisp[all...]
H A Dsummary.lisp
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/concurrent/
H A DFuture.sml580 fun assign () = assign_result group result Exn.interrupt_exn function
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A DregAllocation.sml540 fun assign () = function
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A DregAllocation.sml540 fun assign () = function
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/
H A DregAllocation.sml540 fun assign () = function
/seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/
H A DcodegenLib.sml260 val assign = map f xs value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/x64_compiler/
H A Dx64_codegenLib.sml162 val assign = map f xs value
/seL4-l4v-10.1.1/HOL4/examples/muddy/
H A Dbdd.sml182 fun assign((v,b), res) = apply res (if b then ithvar v else nithvar v) And function
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/
H A Dderive_specsLib.sml535 fun assign curr (TRACE_CUT p) = [] function

Completed in 293 milliseconds