Searched refs:word8T (Results 1 - 9 of 9) sorted by path
/seL4-l4v-10.1.1/graph-refine/ |
H A D | check.py | 24 mk_plus, mk_minus, word32T, word8T, mk_and, mk_eq, mk_implies, mk_not,
|
H A D | logic.py | 10 from syntax import word32T, word8T, boolT, builtinTs, Expr, Node namespace 327 return [rew for typ in [word8T, word32T, syntax.word16T,
|
H A D | problem.py | 10 fresh_name, word32T, word8T, mk_eq, mk_word32, builtinTs)
|
H A D | pseudo_compile.py | 21 from syntax import word32T, word8T namespace
|
H A D | rep_graph.py | 11 builtinTs, word32T, word8T, foldr1, mk_eq, mk_plus, mk_word32, mk_var)
|
H A D | search.py | 17 foldr1, boolT, word32T, word8T, builtinTs, true_term, false_term,
|
H A D | solver.py | 178 foldr1, mk_or, boolT, word32T, word8T, mk_implies, Type, get_global_wrapper)
|
H A D | stack_logic.py | 362 if expr.typ == syntax.word8T:
|
H A D | syntax.py | 886 word8T = Type ('Word', '8') variable 1421 return mk_num (x, word8T)
|
Completed in 81 milliseconds