Searched defs:ev (Results 1 - 9 of 9) sorted by path
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/step/ |
| H A D | arm_stepLib.sml | 3539 val ev = value
4168 fun ev tm = function
4260 val ev = arm_eval config value
4307 val ev value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/cheri/step/ |
| H A D | cheri_stepScript.sml | 286 fun ev ths ctxt cvr t = finish_off (step (ths @ thms) ctxt cvr t) function
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/prog/ |
| H A D | m0_progLib.sml | 760 val ev = m0_stepLib.thumb_step (false, false) value
761 val ev = m0_stepLib.thumb_step_hex (false, false) value
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/step/ |
| H A D | m0_stepLib.sml | 1896 fun ev tm = function
1983 val ev = eval_thumb config value
1993 val ev = mk_ev config value
2004 val ev = mk_ev config value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/mips/step/ |
| H A D | mips_stepLib.sml | 112 val ev = utilsLib.STEP (mips_thms, st) value
1183 val ev = mips_eval_hex be value
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/step/ |
| H A D | riscv_stepScript.sml | 551 val ev = utilsLib.STEP (riscv_thms, s) value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/hoare-triple/ |
| H A D | helperLib.sml | 429 val ev = (RAND_CONV o RATOR_CONV o RATOR_CONV o RAND_CONV) EVAL value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | xwindows.cpp | 2763 static Bool SameClickEvent(Display *dpy, XEvent *ev, XPointer arg) argument
3155 CreateEvent( TaskData *taskData, Handle dsHandle, XEvent *ev, Handle W ) argument
3666 XKeyEvent ev; local
4799 XEvent ev; local
4850 XEvent ev; local
6143 RunWidgetEventhandler(Widget w, XtPointer p, XEvent *ev, Boolean *c) argument
6689 XButtonPressedEvent ev; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/list/src/ |
| H A D | ListConv1.sml | 490 val ev = Term.mk_var ("e", ety) value
|
Completed in 180 milliseconds