Searched defs:eval (Results 1 - 25 of 28) sorted by relevance

12

/seL4-l4v-10.1.1/HOL4/examples/formal-languages/context-free/
H A DpegML.sml61 fun eval G (e:(''i,'v)pegsym) input (results:'v option list) k fk = function
[all...]
/seL4-l4v-10.1.1/HOL4/src/pred_set/src/
H A Dpred_setLib.sml78 val eval = computeLib.CBV_CONV compset value
/seL4-l4v-10.1.1/HOL4/examples/acl2/lisp/
H A Da2ml.lisp
/seL4-l4v-10.1.1/HOL4/src/num/arith/src/
H A DSup_Inf.sml381 and eval = eval_bound o SIMP value
/seL4-l4v-10.1.1/HOL4/examples/ARM/v4/
H A Darm_evalLib.sig45 val eval : int * term * term * term -> thm list value
H A Darm_evalLib.sml779 fun eval (n, m, r, s) = function
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/decompiler/
H A Dm0_core_decompLib.sml249 val eval = value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/step/
H A Driscv_stepLib.sml198 fun eval tm rwt = function
/seL4-l4v-10.1.1/HOL4/src/integer/
H A DjrhCore.sml57 val eval = MK_COMB (AP_TERM (rator (rator tm)) eval1, eval2) value
65 val eval = AP_TERM (rator tm) eval0 value
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/
H A DarmLib.sml29 val eval = boolSyntax.rhs o Thm.concl o bossLib.EVAL; value
H A Darm_disassemblerLib.sml20 val eval = boolSyntax.rhs o Thm.concl o bossLib.EVAL; value
[all...]
H A Darm_encoderLib.sml29 val eval = boolSyntax.rhs o Thm.concl o bossLib.EVAL; value
H A Darm_random_testingLib.sml43 val eval = rhs o concl o EVAL; value
H A Darm_stepLib.sml221 val eval = rhsc o bossLib.EVAL; value
[all...]
/seL4-l4v-10.1.1/HOL4/src/lite/
H A DliteLib.sig85 val eval : ('a,'b)lazy -> 'b; value
H A DliteLib.sml160 fun eval r = function
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DHolmake_types.sml256 val eval = finisher o recurse visited o extract_normal_quotation value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/cheri/step/
H A Dcheri_stepLib.sml333 fun eval tm = function
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/
H A DutilsLib.sig56 val eval: term -> term value
H A DutilsLib.sml211 val eval = rhsc o bossLib.EVAL value
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/eval/
H A Darm_evalLib.sml28 val eval = boolSyntax.rhs o Thm.concl o bossLib.EVAL; value
/seL4-l4v-10.1.1/HOL4/src/float/
H A DfloatScript.sml17 fun eval thms = rhs o concl o EVAL' thms function
[all...]
/seL4-l4v-10.1.1/graph-refine/
H A Dsearch.py985 def eval (expr, n, vc): function in function:get_model_r_side_unroll
/seL4-l4v-10.1.1/HOL4/src/tactictoe/src/
H A DtttSearch.sml188 val eval = value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/mips/step/
H A Dmips_stepLib.sml1085 fun eval be = function

Completed in 247 milliseconds

12