/seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
H A D | Random.sml | 24 fun step x = Word.andb (a * x + 0w1, max_word); function
|
H A D | Print.sml | 168 datatype step = type [all...] |
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Random.sml | 24 fun step x = Word.andb (a * x + 0w1, max_word); function
|
H A D | Print.sml | 168 datatype step = type [all...] |
/seL4-l4v-master/HOL4/examples/formal-languages/regular/ |
H A D | DFA_Codegen.sml | 201 " fun step state char = Vector.sub(Vector.sub(DELTA,state),Char.ord char)\n", function
|
/seL4-l4v-master/HOL4/examples/bootstrap/ |
H A D | source_propertiesScript.sml | 335 val step = mk_abs(v,list_mk_forall(xs @ ys,prop)) value
|
/seL4-l4v-master/HOL4/src/coretypes/ |
H A D | PairedLambda.sml | 54 let val step = ISPEC tm pthm value
|
/seL4-l4v-master/isabelle/src/Doc/Intro/document/ |
H A D | getting.tex | |
/seL4-l4v-master/HOL4/examples/machine-code/hoare-triple/ |
H A D | tailrecLib.sml | 166 fun step (FUN_IF (b,t1,t2)) = FUN_IF (b,step t1,step t2) function [all...] |
/seL4-l4v-master/l4v/isabelle/src/Doc/Intro/document/ |
H A D | getting.tex | |
/seL4-l4v-master/HOL4/examples/acl2/tests/inputs/ |
H A D | m1-story.lisp | 114 (defun step (s) function
|
/seL4-l4v-master/HOL4/examples/ARM/v7/ |
H A D | selftest.sml | 45 fun step opt instr = function
|
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/ |
H A D | bvec.c | 188 bvec bvec_var(int bitnum, int offset, int step) argument 747 static void bvec_div_rec(bvec divisor, bvec *remainder, bvec *result, int step) argument
|
H A D | bvec.h | 208 inline bvec bvec_varpp(int bitnum, int offset, int step) argument
|
/seL4-l4v-master/HOL4/src/1/ |
H A D | PmatchHeuristics.sml | 51 fun step rank ncolL = let function
|
/seL4-l4v-master/HOL4/src/num/ |
H A D | numLib.sml | |
/seL4-l4v-master/HOL4/src/pred_set/src/ |
H A D | PFset_conv.sml | 339 fun step x (finthm,cardthm) = function 376 fun step x (finthm,maxthm) = function 422 fun step x (finthm,sumthm) = function
|
/seL4-l4v-master/HOL4/tools/Holmake/ |
H A D | regexpMatch.sml | 347 fun step (a,q) = Vector.sub(Vector.sub(delta,q), Char.ord a) function
|
/seL4-l4v-master/HOL4/examples/l3-machine-code/mips/prog/ |
H A D | mips_progLib.sml | 367 val step = mips_stepLib.mips_eval be value
|
/seL4-l4v-master/HOL4/src/list/src/ |
H A D | ListConv1.sml | 299 val step = ISPEC l2 th4 value
|
/seL4-l4v-master/HOL4/examples/muddy/muddyC/ |
H A D | muddy.c | 890 EXTERNML value mlbvec_var(value bits, value var, value step) /* ML */ argument
|
/seL4-l4v-master/HOL4/examples/l3-machine-code/cheri/step/ |
H A D | cheri_stepScript.sml | 283 val step = utilsLib.STEP (Lib.curry (op @) datatype_thms, st) value
|
/seL4-l4v-master/HOL4/src/metis/ |
H A D | folMapping.sml | 714 fun step (fol_th, Axiom' _) = prev fol_th function
|
/seL4-l4v-master/HOL4/src/tfl/src/ |
H A D | RW.sml | 138 fun step imp cnj = function
|
/seL4-l4v-master/HOL4/examples/l3-machine-code/m0/prog/ |
H A D | m0_progLib.sml | 600 val step = !the_step value 736 val step = m0_stepLib.thumb_step (false, false) value
|