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

12

/seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/MISC/
H A Dmk_adders.old.ml
/seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/
H A DRESET_REG.old.ml
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DGlobals.sig24 val old : string -> string value
H A DGlobals.sml142 val old = value
/seL4-l4v-10.1.1/HOL4/src/quotient/Manual/
H A Dquotient.tex[all...]
/seL4-l4v-10.1.1/HOL4/src/simp/src/
H A DTraverse.sml236 val old = !lim_r value
242 val old = !lim_r value
/seL4-l4v-10.1.1/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-10.1.1/HOL4/tools/mlyacc/src/
H A Dlalr.sml463 let val old = !h value
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dsharedata.cpp614 PolyWord ProcessFixupAddress::GetNewAddress(PolyWord old) argument
694 AddObjectsToDepthVectors(PolyWord old) argument
[all...]
H A Dinterpret.cpp2015 PolyWord *old = oldSp; local
[all...]
H A Dsavestate.cpp397 PolyWord SaveFixupAddress::GetNewAddress(PolyWord old) argument
H A Dunix_specific.cpp753 char *old = Poly_string_to_C_alloc(DEREFHANDLE(args)->Get(0)); local
791 char *old = Poly_string_to_C_alloc(DEREFHANDLE(args)->Get(0)); local
1068 PIOSTRUCT old = get_stream(DEREFHANDLE(args)->Get(0)); local
1085 PIOSTRUCT old = get_stream(DEREFHANDLE(args)->Get(0)); local
[all...]
H A Dx86_dep.cpp387 PolyWord *old = oldStackPtr; local
1037 void X86Dependent::ScanConstantsWithinCode(PolyObject *addr, PolyObject *old, POLYUNSIGNED length, ScanAddress *process) argument
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DWindow.sml350 val old = setParent(child, getOpt(new, hwndNull)) value
/seL4-l4v-10.1.1/HOL4/examples/lambda/basics/
H A DbinderLib.sml210 val old = List.nth (#2 (strip_comb t), i) value
/seL4-l4v-10.1.1/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-10.1.1/HOL4/examples/elliptic/
H A DUseful.sml782 val old = !r value
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibUseful.sml703 val old = !r value
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DUseful.sml755 val old = !r value
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DUseful.sml755 val old = !r value

Completed in 297 milliseconds

12