Searched refs:mk_uminus (Results 1 - 5 of 5) sorted by last modified time
/seL4-l4v-10.1.1/graph-refine/ |
H A D | syntax.py | 1322 def mk_uminus (x): function 1485 mks = (mk_var, mk_plus, mk_uminus, mk_minus, mk_times, mk_modulus, mk_bwand,
|
H A D | search.py | 16 from syntax import (mk_and, mk_cast, mk_implies, mk_not, mk_uminus, mk_var, namespace 1351 minus_loop_step = mk_uminus (loop)
|
H A D | pseudo_compile.py | 16 (mk_var, mk_plus, mk_uminus, mk_minus, mk_times, mk_modulus, mk_bwand, mk_eq,
|
H A D | loop_bounds.py | 248 eq_vals.add ((x, syntax.mk_uminus (y))) 249 eq_vals.add ((y, syntax.mk_uminus (x))) 256 minus_loop_step = syntax.mk_uminus (loop)
|
H A D | logic.py | 14 (mk_var, mk_plus, mk_uminus, mk_minus, mk_times, mk_modulus, mk_bwand, mk_eq, 308 mk_uminus (y)), 613 mk_less_eq (p, mk_uminus (size)))]) 1515 return mk_uminus (mk_word32 (0))
|
Completed in 60 milliseconds