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

Allow importing Cryptol foreign functions #1920

Merged
merged 11 commits into from
Sep 1, 2023
Merged

Allow importing Cryptol foreign functions #1920

merged 11 commits into from
Sep 1, 2023

Commits on Aug 28, 2023

  1. Update cryptol submodule 

    to access cryptol implementations of foreign functions
    @qsctr
    qsctr committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    5cfdd58 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2023

  1. Allow importing cryptol foreign declarations

    @qsctr
    qsctr committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    d398926 View commit details
    Browse the repository at this point in the history

  2. Add comment explaining how we import foreign decls

    @qsctr
    qsctr committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    735aebd View commit details
    Browse the repository at this point in the history

  3. Add test for importing cryptol foreign decls

    @qsctr
    qsctr committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    32ba327 View commit details
    Browse the repository at this point in the history

  4. Fix typos in comment

    @qsctr
    qsctr committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    d935226 View commit details
    Browse the repository at this point in the history

  5. Factor out panic in importDeclGroup

    @qsctr
    qsctr committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    a804d54 View commit details
    Browse the repository at this point in the history

  6. Move importConstant to top level

    @qsctr
    qsctr committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    214a77b View commit details
    Browse the repository at this point in the history

  7. Document importing cryptol foreign decls in manual

    @qsctr
    qsctr committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    51e01eb View commit details
    Browse the repository at this point in the history

  8. CHANGES: Mention importing cryptol foreign decls

    @qsctr
    qsctr committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    5cdd607 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'master' into import-foreign

    @qsctr
    qsctr committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    5607c7a View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2023

  1. Merge branch 'master' into import-foreign

    @mergify
    mergify[bot] authored Sep 1, 2023
    Configuration menu
    Copy the full SHA
    7980fb8 View commit details
    Browse the repository at this point in the history