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

12

/seL4-l4v-master/HOL4/examples/hardware/hol88/MISC/
H A Dmk_adders.old.ml
/seL4-l4v-master/HOL4/examples/hardware/hol88/
H A DRESET_REG.old.ml
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dgc_copy_phase.cpp278 PolyWord *old = src->wordAddr(bitno); /* Old object address */ local
H A Dsharedata.cpp617 PolyWord ProcessFixupAddress::GetNewAddress(PolyWord old) argument
696 AddPolyWordToDepthVectors(PolyWord old) argument
[all...]
H A Dunix_specific.cpp702 char *old = Poly_string_to_C_alloc(DEREFHANDLE(args)->Get(0)); local
740 char *old = Poly_string_to_C_alloc(DEREFHANDLE(args)->Get(0)); local
H A Dx86_dep.cpp422 stackItem *old = oldStackPtr; local
962 void X86Dependent::ScanConstantsWithinCode(PolyObject *addr, PolyObject *old, POLYUNSIGNED length, ScanAddress *process) argument
[all...]
/seL4-l4v-master/HOL4/src/prekernel/
H A DGlobals.sig24 val old : string -> string value
H A DGlobals.sml142 val old = value
/seL4-l4v-master/HOL4/src/quotient/Manual/
H A Dquotient.tex[all...]
/seL4-l4v-master/HOL4/src/simp/src/
H A DTraverse.sml237 val old = !lim_r value
243 val old = !lim_r value
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbddio.c97 bddfilehandler old = filehandler; local
H A Dcppext.cxx204 bddstrmhandler old = strmhandler_bdd; local
528 bddstrmhandler old = strmhandler_fdd; local
H A Dfdd.c677 bddfilehandler old = filehandler; local
H A Dkernel.c542 int old = bddmaxnodeincrease; local
572 int old = bddmaxnodesize; local
601 int old local
[all...]
H A Dbddop.c278 int old = cacheratio; local
H A Dreorder.c2079 bddsizehandler old = reorder_nodenum; local
/seL4-l4v-master/HOL4/tools/mlyacc/src/
H A Dlalr.sml463 let val old = !h value
/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/
H A DWindow.sml350 val old = setParent(child, getOpt(new, hwndNull)) value
/seL4-l4v-master/HOL4/examples/lambda/basics/
H A DbinderLib.sml210 val old = List.nth (#2 (strip_comb t), i) value
/seL4-l4v-master/HOL4/examples/muddy/
H A Dbdd.sml167 let val (old,new) = ListPair.unzip pl value
178 let val (old, new) = ListPair.unzip pl value
/seL4-l4v-master/HOL4/examples/elliptic/
H A DUseful.sml782 val old = !r value
/seL4-l4v-master/HOL4/src/metis/
H A DmlibUseful.sml703 val old = !r value
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DUseful.sml755 val old = !r value
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DUseful.sml755 val old = !r value
/seL4-l4v-master/HOL4/src/parse/
H A Dterm_grammar.sml268 val old = #absyn_postprocessors g value
274 val old = #absyn_postprocessors g value
283 val old = #preterm_processors g value
290 val old = #preterm_processors g value

Completed in 322 milliseconds

12