Subclass BitVector for more Cryptol-like defaults

GaloisInc / pycryptol

pycryptol: Use Cryptol with Python

BSD 3-Clause "New" or "Revised" License

9 stars 1 forks source link

Open acfoltzer opened 9 years ago

acfoltzer commented 9 years ago

At the very least having str and repr output valid Cryptol syntax.