search

GaloisInc / pycryptol

pycryptol: Use Cryptol with Python
BSD 3-Clause "New" or "Revised" License
9 stars 1 forks source link

Smart templating for Cryptol syntax strings #16

Closed acfoltzer closed 9 years ago

acfoltzer commented 9 years ago

Instead of:

m.eval("%s + %s" % (m.to_expr(x), m.to_expr(y)))

We should make eval and similar calls into varargs methods with automatic to_expr calls around the splices:

m.eval("? + ?", x, y)