Searched refs:lev (Results 1 - 5 of 5) sorted by relevance
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/cheri/step/ |
H A D | cheri_stepScript.sml | 631 val lev = instr_ev [``rt <> 0w : word5``] value 635 val LB = lev "LB" 636 val LBU = lev "LBU" 638 val LW = lev "LW" 639 val LWU = lev "LWU" 640 val LL = lev "LL" 641 val LWL = lev "LWL" 642 val LWR = lev "LWR" 644 val LD = lev "LD" 645 val LLD = lev "LL [all...] |
/seL4-l4v-10.1.1/isabelle/src/Pure/Isar/ |
H A D | document_structure.scala | 109 case (lev, item, body) :: (_, _, body2) :: _ if level(lev) =>
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Isar/ |
H A D | document_structure.scala | 109 case (lev, item, body) :: (_, _, body2) :: _ if level(lev) =>
|
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/ |
H A D | muddy.c | 694 EXTERNML value mlbdd_bdd_level2var(value lev) /* ML */ argument 696 return Val_long(bdd_level2var(Int_val(lev)));
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/ |
H A D | CODEGEN_PARSETREE.sml | 1026 fun decCons(Value{access=Local{addr, level=lev}, ...}, repr) = 1031 lev := level; 1147 FValBind{functVar = ref(Value{access=Local{addr, level}, ...}), ...}, ad, lev) = 1148 (addr := ad; level := lev)
|
Completed in 80 milliseconds