Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

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

Jump to bottom

[RPC] f-string-like Cryptol quasiquotation #1307

Merged
merged 10 commits into from
Nov 29, 2021
Merged

[RPC] f-string-like Cryptol quasiquotation #1307

merged 10 commits into from
Nov 29, 2021

Commits on Nov 20, 2021

  1. add f-string-like quasiquoting for cryptol

    @m-yac
    m-yac committed Nov 20, 2021
    Configuration menu
    Copy the full SHA
    c9c8be5 View commit details
    Browse the repository at this point in the history

  2. update CHANGELOG

    @m-yac
    m-yac committed Nov 20, 2021
    Configuration menu
    Copy the full SHA
    f46dfa5 View commit details
    Browse the repository at this point in the history

Commits on Nov 24, 2021

  1. improve docs for cry_f

    @m-yac
    m-yac committed Nov 24, 2021
    Configuration menu
    Copy the full SHA
    bbc327c View commit details
    Browse the repository at this point in the history

  2. pull out implementation of cry_f/eval_f

    @m-yac
    m-yac committed Nov 24, 2021
    Configuration menu
    Copy the full SHA
    e2c01db View commit details
    Browse the repository at this point in the history

  3. add proper handling of conversions and format specs to cry_f

    @m-yac
    m-yac committed Nov 24, 2021
    Configuration menu
    Copy the full SHA
    3c28a03 View commit details
    Browse the repository at this point in the history

  4. keep __all__ alphabetical

    @m-yac
    m-yac committed Nov 24, 2021
    Configuration menu
    Copy the full SHA
    f6c3e6b View commit details
    Browse the repository at this point in the history

Commits on Nov 26, 2021

  1. handle CryptolApplication in cry_f, fix parens in to_cryptol_str

    @m-yac
    m-yac committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    36fac34 View commit details
    Browse the repository at this point in the history

  2. add check to CryptolCode's __call__

    @m-yac
    m-yac committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    1867938 View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2021

  1. docs changes from @RyanGlScott

    @m-yac
    m-yac committed Nov 29, 2021
    Configuration menu
    Copy the full SHA
    6555352 View commit details
    Browse the repository at this point in the history

  2. use __to_cryptol_str__ instead of __str__, add type to __to_cryptol__

    @m-yac
    m-yac committed Nov 29, 2021
    Configuration menu
    Copy the full SHA
    aebde83 View commit details
    Browse the repository at this point in the history