We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Similar to Cryptol's :set ascii=on, add a setting to saw-script so that 8-bit words get printed as ASCII characters.
:set ascii=on
The text was updated successfully, but these errors were encountered:
Add commands set_base and set_ascii for pretty-printing options.
d72c220
This is one step towards fixing issues #28 and #29. So far, users can set these values but the pretty printer does not use them yet.
af16997
Merge pull request #28 from GaloisInc/parmap
356468e
Add a `parmap` implementation to `cryptol-verifier`
Merge pull request #28 from GaloisInc/prettyprinter
8b4df2d
Convert from `ansi-wl-pprint` package to `prettyprinter`.
No branches or pull requests
Similar to Cryptol's
:set ascii=on
, add a setting to saw-script so that 8-bit words get printed as ASCII characters.The text was updated successfully, but these errors were encountered: