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 108 milliseconds