Searched defs:version (Results 1 - 22 of 22) sorted by relevance

/seL4-l4v-10.1.1/seL4/tools/python-deps/
H A Dsetup.py43 version='0.1.3', variable
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dpoly_specific.cpp93 const char *version; local
[all...]
H A Dwindows_specific.cpp712 Handle version = SAVE(C_string_to_Poly(taskData, osver.szCSDVersion)); local
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DOptions.sig85 val version : allOptions -> 'exit value
H A DOptions.sml185 fun version allopts = function
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DOptions.sig85 val version : allOptions -> 'exit value
H A DOptions.sml185 fun version allopts = function
[all...]
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DGlobals.sig6 val version : int value
H A DGlobals.sml25 val version = Systeml.version value
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DSysteml.sig51 val version : int value
H A Dunix-systeml.sml107 val version = "" value
H A DwinNT-systeml.sml97 val version = "" value
/seL4-l4v-10.1.1/HOL4/tools-poly/Holmake/
H A Dunix-systeml.sml102 val version = "" value
H A DwinNT-systeml.sml57 val version = value
/seL4-l4v-10.1.1/seL4/src/plat/spike/machine/
H A Dfdt.c52 uint32_t version; member in struct:fdt_header
/seL4-l4v-10.1.1/HOL4/help/src-sml/
H A Dmakebase.sml46 val version = value
/seL4-l4v-10.1.1/HOL4/tools/
H A Dconfigure.sml188 "val version =" --> ("val version = "^Int.toString version_number^"\n"), value
/seL4-l4v-10.1.1/HOL4/tools-poly/
H A Dconfigure.sml245 "val version =" --> ("val version = "^Int.toString version_number^"\n"), value
/seL4-l4v-10.1.1/isabelle/src/Doc/Logics_ZF/document/
H A DZF.tex
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Logics_ZF/document/
H A DZF.tex
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/api/
H A Dbootinfo_types.h21 seL4_Uint16 version; member in struct:seL4_VBEInfoBlock
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/
H A Dbootinfo_types.h21 seL4_Uint16 version; member in struct:seL4_VBEInfoBlock

Completed in 115 milliseconds