Searched defs:states (Results 1 - 13 of 13) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/
H A Dltl.lisp153 (defmacro states (m) `(<- ,m :states)) function
[all...]
H A Dsummary.lisp148 (defmacro states (m) `(<- ,m :states)) function
[all...]
H A Dcircuits.lisp[all...]
H A Dcircuit-bisim.lisp[all...]
H A Dcone-of-influence.lisp[all...]
H A Dm1-story.lisp709 (defthm states function
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/
H A Dverbose.sml140 val states = numStates table value
H A Dmkprstruct.sml65 val states = numStates table value
H A Dshrink.sml222 val states = fn max => value
H A Dlalr.sml203 let val states = Array.fromList new_nodes value
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/
H A DRegexp_Match.sml622 val states = time (dom_brzozo Finite_Map.empty) [normalize r] value
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DregexpMatch.sml305 val states = Binaryset.listItems Q value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/
H A Dstack_analysisLib.sml218 val states = map (exec_step s t) us value

Completed in 234 milliseconds