Searched defs:VAR (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/
H A Drename.c27 #define VAR (__get_real_var__()) macro
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/gold/
H A Dltl.lisp
/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/zc2hs/
H A Dzc2hs.cpp21 enum enum_ty { ROOT, CL, VAR, CONF, DONE }; enumerator in enum:enum_ty
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dreorder.c55 #define VAR(n) (bddnodes[n].level) macro
[all...]
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/round-trip/gold/
H A Daxioms.lisp[all...]

Completed in 199 milliseconds