/seL4-l4v-master/HOL4/examples/HolCheck/examples/ |
H A D | mod8.sml | 25 val state = mk_state S0 TS value
|
H A D | amba_apb.sml | 29 val state = ``(paddr:bool,pwrite:bool,psel:bool,psel_3:bool,psel_2:bool,psel_1:bool,psel_0:bool,penable:bool,pdata:bool,mdata:bool,maddr:bool,sdata_0:bool,saddr_0:bool,sdata_1:bool,saddr_1:bool)`` value
|
/seL4-l4v-master/HOL4/examples/HolCheck/ |
H A D | holCheck.sml | 17 val state = if isSome state then valOf state else mk_state I1 T1 value [all...] |
H A D | reachTools.sml | 37 let val state value [all...] |
/seL4-l4v-master/HOL4/tools/quote-filter/ |
H A D | quote-filter.sml | 44 val state as QFS args = newstate {inscriptp = intp, quotefixp = qfixp} value
|
/seL4-l4v-master/seL4/include/api/ |
H A D | debug.h | 81 char *state; local [all...] |
/seL4-l4v-master/HOL4/examples/acl2/tests/inputs/ |
H A D | ltl-project.lisp | |
/seL4-l4v-master/HOL4/examples/PSL/1.01/executable-semantics/ |
H A D | test_c.v | 117 output [2:0] state; port 118 reg [2:0] state; register 158 wire [2:0] state; net [all...] |
H A D | test_c1.v | 119 output [2:0] state; port 120 reg [2:0] state; register 160 wire [2:0] state; net [all...] |
H A D | test_c2.v | 117 output [2:0] state; port 118 reg [2:0] state; register 158 wire [2:0] state; net [all...] |
/seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
H A D | Resolution.sig | 43 datatype state = type
|
H A D | Resolution.sml | 71 datatype state = type
|
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Resolution.sig | 43 datatype state = type
|
H A D | Resolution.sml | 71 datatype state = type
|
/seL4-l4v-master/HOL4/src/datatype/ |
H A D | selftest.sml | 98 val state = Type`:ind->bool`; value
|
/seL4-l4v-master/seL4/include/plat/pc99/plat/machine/ |
H A D | interrupt.h | 106 static void inline updateIRQState(irq_t irq, x86_irq_state_t state) argument 122 x86_irq_state_t state = x86KSIRQState[irq]; local
|
/seL4-l4v-master/seL4/include/arch/x86/arch/machine/ |
H A D | registerset.h | 58 uint8_t state[CONFIG_XSAVE_SIZE]; member in struct:user_fpu_state
|
/seL4-l4v-master/HOL4/src/portableML/poly/concurrent/ |
H A D | Event_Timer.sml | 74 datatype state = type 89 val state = Synchronized.var "Event_Timer.state" normal_state; value [all...] |
/seL4-l4v-master/HOL4/tools/mlyacc/mlyacclib/ |
H A D | MLY_lrtable.sml | 35 datatype state = STATE of int type [all...] |
/seL4-l4v-master/HOL4/examples/acl2/lisp/obsolete/ |
H A D | filter-forms.lisp | [all...] |
/seL4-l4v-master/HOL4/examples/acl2/lisp/ |
H A D | untranslate-file.lisp | [all...] |
H A D | a2ml.lisp | [all...] |
/seL4-l4v-master/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/ |
H A D | lrtable.sml | 10 datatype state = STATE of int type [all...] |
/seL4-l4v-master/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/ |
H A D | lrtable.sml | 10 datatype state = STATE of int type [all...] |
/seL4-l4v-master/HOL4/src/parse/ |
H A D | qbuf.sml | 34 val state = Uref.new (Substring.full s) value
|