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 Dcheri_stepScript.sml631 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 Ddocument_structure.scala109 case (lev, item, body) :: (_, _, body2) :: _ if level(lev) =>
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Isar/
H A Ddocument_structure.scala109 case (lev, item, body) :: (_, _, body2) :: _ if level(lev) =>
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/
H A Dmuddy.c694 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 DCODEGEN_PARSETREE.sml1026 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