Searched defs:stat (Results 1 - 10 of 10) sorted by relevance
/seL4-l4v-10.1.1/HOL4/tools/Holmake/tests/depchain_heap/dir2/ |
H A D | selftest.sml | 8 val stat = systeml [HOLDIR ++ "bin" ++ "buildheap", "-q", "-o", "heap", "-b", value
|
/seL4-l4v-10.1.1/HOL4/src/metis/ |
H A D | mlibResolution.sml | 235 fun stat func res () = function
|
H A D | mlibSolver.sml | 267 fun stat v s = status_info v s (!units) function
|
/seL4-l4v-10.1.1/HOL4/tools/Holmake/poly/ |
H A D | MB_Monitor.sml | [all...] |
H A D | ProcessMultiplexor.sml | 398 datatype stat = Waiting | Running | Done of bool type
|
/seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
H A D | Holmake.sml | 641 List.filter (fn (n,_) => let val stat = nstatus g2 n value 710 List.filter (fn (n,_) => let val stat = nstatus g1 n value
|
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/ |
H A D | muddy.c | 386 static bddStat stat; local [all...] |
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/ |
H A D | mechReasoning.sml | 1137 val stat = f_correct f_spec1 value
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/ |
H A D | mechReasoning.sml | 1692 val stat = f_correct f_spec1 value
|
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | Posix.sml | 262 type stat type 282 val stat : string -> ST.stat value 1129 type stat = { mode: S.mode, kind: int, ino: ino, dev: dev, type 1162 fun stat name = convStat(doCall1(55, name)) function [all...] |
Completed in 126 milliseconds