Searched refs:comp (Results 51 - 55 of 55) sorted by relevance

123

/seL4-l4v-master/HOL4/examples/machine-code/decompiler/
H A DdecompilerLib.sml1035 fun comp tm1 tm2 = let function
1042 | f (x::y::ys) = if comp x y then x :: f (y::ys) else y :: f (x::ys)
/seL4-l4v-master/HOL4/tools/mllex/
H A Dmllex.sml122 a comp.compilers message from Dec. 1989, I think):
/seL4-l4v-master/HOL4/examples/HolCheck/
H A DmuCheck.sml853 then (*no outermost fp (|cel|=0) or the outermost fp comp terminated immediately (|cel|=1),
/seL4-l4v-master/HOL4/polyml/
H A Dltmain.sh2278 compile|compil|compi|comp|com|co|c)
/seL4-l4v-master/HOL4/Manual/Translations/IT/Description/
H A Dtheories.tex2483 \holtxt{word\_{}1comp} & \holtxt{\~} & \worda\rarr\worda & One's complement \\
2484 \holtxt{word\_{}2comp} & \holtxt{-} & \worda\rarr\worda & Two's complement \\

Completed in 201 milliseconds

123