Searched refs:mk_times (Results 1 - 4 of 4) sorted by path
| /seL4-l4v-10.1.1/graph-refine/ |
| H A D | logic.py | 14 (mk_var, mk_plus, mk_uminus, mk_minus, mk_times, mk_modulus, mk_bwand, mk_eq,
303 return [(x, i, mk_plus (x, y), mk_plus (x, mk_times (i, y)),
305 (x, i, mk_plus (y, x), mk_plus (x, mk_times (i, y)),
307 (x, i, mk_minus (x, y), mk_minus (x, mk_times (i, y)),
310 mk_plus (x, mk_times (i, mk_plus (y, z))),
313 mk_plus (x, mk_times (i, mk_plus (y, z))),
316 mk_plus (x, mk_times (i, mk_plus (y, z))),
319 mk_plus (x, mk_times (i, mk_plus (y, z))),
322 mk_minus (x, mk_times (i, mk_plus (y, z))),
443 sz = mk_times (mk_word3
[all...] |
| H A D | pseudo_compile.py | 16 (mk_var, mk_plus, mk_uminus, mk_minus, mk_times, mk_modulus, mk_bwand, mk_eq,
123 offs = mk_plus (offs, mk_times (offs2,
|
| H A D | search.py | 18 mk_word32, mk_word8, mk_times, Expr, Type, mk_or, mk_eq, mk_memacc,
898 eq = mk_eq (mk_times (offs_smt, mk_num (4, offs_smt.typ)),
1353 minus_loop_step = mk_times (loop, mk_word32 (- step))
|
| H A D | syntax.py | 1330 def mk_times (x, y): function
1464 return mk_plus (p, mk_times (i, mk_word32 (sz)))
1485 mks = (mk_var, mk_plus, mk_uminus, mk_minus, mk_times, mk_modulus, mk_bwand,
|
Completed in 65 milliseconds