Searched refs:ops_to_smt (Results 1 - 2 of 2) sorted by path

/seL4-l4v-10.1.1/graph-refine/
H A Dsolver.py264 smt_ops = dict (syntax.ops_to_smt)
H A Dsyntax.py990 ops_to_smt = {'Plus':'bvadd', 'Minus':'bvsub', 'Times':'bvmul', 'Modulus':'bvurem', variable
1011 ops_to_smt.update (dict ([(smt, smt) for smt in ex_smt_ops]))
1013 smt_to_ops = dict ([(smt, oper) for (oper, smt) in ops_to_smt.iteritems ()])

Completed in 61 milliseconds