| /seL4-l4v-master/HOL4/tools/Holmake/ |
| H A D | tailbuffer.sml | 71 val limit = if full then i else 0 value
|
| /seL4-l4v-master/HOL4/src/metis/ |
| H A D | mlibMeter.sig | 12 type limit = {time : real option, infs : int option} type
|
| H A D | mlibMetis.sig | 20 type limit = mlibMeter.limit type
45 val limit : limit ref (* Initially unlimited *) value
|
| H A D | folTools.sig | 13 type limit = mlibMeter.limit type
|
| H A D | metisTools.sig | 18 type limit = mlibMeter.limit type
45 val limit : limit ref value
|
| H A D | mlibMeter.sml | 22 type limit = {time : real option, infs : int option}; type
|
| H A D | mlibMetis.sml | 183 val limit : limit ref = ref {time = NONE, infs = NONE}; value
|
| H A D | mlibSolver.sig | 13 type limit = mlibMeter.limit type
|
| H A D | metisTools.sml | 276 val limit : limit ref = ref (#limit defaults); value
[all...] |
| H A D | folTools.sml | 23 type limit = mlibMeter.limit type
|
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | gc_copy_phase.cpp | 93 static inline PolyWord *FindFreeAndAllocate(LocalMemSpace *dst, uintptr_t limit, uintptr_t n) argument
|
| H A D | winguiconsole.cpp | 123 size_t limit = SendMessage(hEditWnd, EM_GETLIMITTEXT, 0, 0); local
|
| H A D | processes.cpp | 1494 PolyWord *limit = taskData->allocLimit, *ptr = taskData->allocPointer; local
|
| /seL4-l4v-master/seL4/include/plat/pc99/plat/machine/ |
| H A D | acpi.h | 68 uint32_t limit; member in struct:acpi_rmrr_entry
|
| /seL4-l4v-master/l4v/misc/autostop/ |
| H A D | stop.c | 99 void iterate_processes(char **limit, void (*proc_fn)(int, void *), void *data) argument
|
| /seL4-l4v-master/HOL4/src/parse/ |
| H A D | Literal.sml | 184 val limit = size s value
|
| /seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
| H A D | metis.sml | 537 val limit = newLimit () value
[all...] |
| /seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | metis.sml | 537 val limit = newLimit () value
[all...] |
| /seL4-l4v-master/HOL4/src/simp/src/ |
| H A D | simpLib.sig | 132 val limit : int -> simpset -> simpset value
|
| H A D | simpLib.sml | 358 fun limit n = fupdlimit (fn _ => SOME n) function
[all...] |
| /seL4-l4v-master/seL4/include/arch/x86/arch/object/ |
| H A D | structures.h | 129 uint16_t limit; member in struct:gdt_idt_ptr
|
| /seL4-l4v-master/HOL4/src/boss/ |
| H A D | bossLib.sig | 93 val limit : int -> simpset -> simpset value
|
| /seL4-l4v-master/HOL4/src/1/ |
| H A D | Conv.sml | 2519 val limit = size path value
|