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

Foreign Function Interface #1376

Merged
merged 65 commits into from
Aug 12, 2022
Merged

Foreign Function Interface #1376

merged 65 commits into from
Aug 12, 2022

Commits on Jun 27, 2022

  1. Add frontend for FFI

    @qsctr
    qsctr committed Jun 27, 2022
    Configuration menu
    Copy the full SHA
    9bccc79 View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2022

  1. Add basic FFI for concrete backend (unix only)

    @qsctr
    qsctr committed Jun 28, 2022
    Configuration menu
    Copy the full SHA
    1e18568 View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2022

  1. Refactor FFI code out of Backend class

    @qsctr
    qsctr committed Jun 29, 2022
    Configuration menu
    Copy the full SHA
    7fcfeeb View commit details
    Browse the repository at this point in the history

  2. Clean up FFI code

    @qsctr
    qsctr committed Jun 29, 2022
    Configuration menu
    Copy the full SHA
    9a4de13 View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2022

  1. Handle dlopen/dlsym errors

    @qsctr
    qsctr committed Jul 1, 2022
    Configuration menu
    Copy the full SHA
    b5ab79a View commit details
    Browse the repository at this point in the history

  2. Handle FFI loading errors in remote API

    @qsctr
    qsctr committed Jul 1, 2022
    Configuration menu
    Copy the full SHA
    6a07099 View commit details
    Browse the repository at this point in the history

Commits on Jul 6, 2022

  1. Call dlclose in ForeignImpl finalizer

    @qsctr
    qsctr committed Jul 6, 2022
    Configuration menu
    Copy the full SHA
    c5ebac4 View commit details
    Browse the repository at this point in the history

  2. Panic on recursive foreign decl group

    @qsctr
    qsctr committed Jul 6, 2022
    Configuration menu
    Copy the full SHA
    20403c2 View commit details
    Browse the repository at this point in the history

  3. Revert "Panic on recursive foreign decl group" 

    This reverts commit 20403c2.
    @qsctr
    qsctr committed Jul 6, 2022
    Configuration menu
    Copy the full SHA
    56af466 View commit details
    Browse the repository at this point in the history

  4. Add cabal flag for FFI

    @qsctr
    qsctr committed Jul 6, 2022
    Configuration menu
    Copy the full SHA
    7bac9db View commit details
    Browse the repository at this point in the history

  5. Debug check-exercises failure

    @qsctr
    qsctr committed Jul 6, 2022
    Configuration menu
    Copy the full SHA
    9551a15 View commit details
    Browse the repository at this point in the history

  6. Load .dylib for FFI on macOS

    @qsctr
    qsctr committed Jul 6, 2022
    Configuration menu
    Copy the full SHA
    7f43cf0 View commit details
    Browse the repository at this point in the history

  7. Bump CI CACHE_VERSION

    @qsctr
    qsctr committed Jul 6, 2022
    Configuration menu
    Copy the full SHA
    e4a7a0f View commit details
    Browse the repository at this point in the history

Commits on Jul 7, 2022

  1. Debugging libffi on ubuntu 18.04 CI

    @qsctr
    qsctr committed Jul 7, 2022
    Configuration menu
    Copy the full SHA
    3456a7d View commit details
    Browse the repository at this point in the history

Commits on Jul 13, 2022

  1. Add FFI for all integral types

    @qsctr
    qsctr committed Jul 13, 2022
    Configuration menu
    Copy the full SHA
    b8b53a1 View commit details
    Browse the repository at this point in the history

  2. Refactor FFI marshalling code

    @qsctr
    qsctr committed Jul 13, 2022
    Configuration menu
    Copy the full SHA
    0cf81a3 View commit details
    Browse the repository at this point in the history

  3. Revert "Debugging libffi on ubuntu 18.04 CI" 

    This reverts commit 3456a7d.
    @qsctr
    qsctr committed Jul 13, 2022
    Configuration menu
    Copy the full SHA
    543862d View commit details
    Browse the repository at this point in the history

  4. Improve FFI marshalling of Bits

    @qsctr
    qsctr committed Jul 13, 2022
    Configuration menu
    Copy the full SHA
    9d7bb04 View commit details
    Browse the repository at this point in the history

  5. Fix type errors in ghc 9.0+

    @qsctr
    qsctr committed Jul 13, 2022
    Configuration menu
    Copy the full SHA
    ecace94 View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2022

  1. FFI: Support multi argument functions

    @qsctr
    qsctr committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    cc3366a View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2022

  1. FFI: Refactor loading/unloading shared libraries 

    Get rid of manual reference counting and fix leak where dlclose is not
called if no symbols were successfully loaded
    @qsctr
    qsctr committed Jul 15, 2022
    Configuration menu
    Copy the full SHA
    d161e95 View commit details
    Browse the repository at this point in the history

Commits on Jul 16, 2022

  1. FFI: Fix argument passing order

    @qsctr
    qsctr committed Jul 16, 2022
    Configuration menu
    Copy the full SHA
    fb5122d View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2022

  1. FFI: Add support for floats

    @qsctr
    qsctr committed Jul 18, 2022
    Configuration menu
    Copy the full SHA
    21cf642 View commit details
    Browse the repository at this point in the history

  2. FFI: Support type synonyms

    @qsctr
    qsctr committed Jul 18, 2022
    Configuration menu
    Copy the full SHA
    f8221c2 View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2022

  1. FFI: Support passing and returning arrays

    @qsctr
    qsctr committed Jul 21, 2022
    Configuration menu
    Copy the full SHA
    47f6370 View commit details
    Browse the repository at this point in the history

  2. FFI: Rename FFIRep to FFIType

    @qsctr
    qsctr committed Jul 21, 2022
    Configuration menu
    Copy the full SHA
    2fc195f View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2022

  1. FFI: Support passing and returning tuples

    @qsctr
    qsctr committed Jul 24, 2022
    Configuration menu
    Copy the full SHA
    e1ede19 View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2022

  1. FFI: Support passing and returning records

    @qsctr
    qsctr committed Jul 25, 2022
    Configuration menu
    Copy the full SHA
    c2ac894 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2022

  1. FFI: Simplify placeholder type in Infer

    @qsctr
    qsctr committed Jul 26, 2022
    Configuration menu
    Copy the full SHA
    3534826 View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2022

  1. FFI: Add size polymorphism and improve type errors

    @qsctr
    qsctr committed Jul 29, 2022
    Configuration menu
    Copy the full SHA
    45dfcaa View commit details
    Browse the repository at this point in the history

  2. FFI: Remove duplicate type constraint errors

    @qsctr
    qsctr committed Jul 29, 2022
    Configuration menu
    Copy the full SHA
    5d41a82 View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2022

  1. FFI: Refactor eval code and add comments

    @qsctr
    qsctr committed Aug 1, 2022
    Configuration menu
    Copy the full SHA
    e4880c9 View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2022

  1. FFI: Set up tests

    @qsctr
    qsctr committed Aug 3, 2022
    Configuration menu
    Copy the full SHA
    7294acc View commit details
    Browse the repository at this point in the history

  2. FFI: Try linking against ghc's libffi at runtime

    @qsctr
    qsctr committed Aug 3, 2022
    Configuration menu
    Copy the full SHA
    8d28f59 View commit details
    Browse the repository at this point in the history

  3. FFI: Fix linker flags

    @qsctr
    qsctr committed Aug 3, 2022
    Configuration menu
    Copy the full SHA
    1b36a13 View commit details
    Browse the repository at this point in the history

  4. FFI: copy libffi to dist/lib/ and cryptol/../lib

    @qsctr
    qsctr committed Aug 3, 2022
    Configuration menu
    Copy the full SHA
    7f904e0 View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2022

  1. FFI: add ghc libffi for other cryptol executables

    @qsctr
    qsctr committed Aug 4, 2022
    Configuration menu
    Copy the full SHA
    3fb609d View commit details
    Browse the repository at this point in the history

  2. FFI: Add ffi flag for cryptol-remote-api

    @qsctr
    qsctr committed Aug 4, 2022
    Configuration menu
    Copy the full SHA
    6366447 View commit details
    Browse the repository at this point in the history

  3. FFI: Add integral and float tests

    @qsctr
    qsctr committed Aug 4, 2022
    Configuration menu
    Copy the full SHA
    ae843a0 View commit details
    Browse the repository at this point in the history

  4. FFI: Copy libffi to bin

    @qsctr
    qsctr committed Aug 4, 2022
    Configuration menu
    Copy the full SHA
    65cb428 View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2022

  1. FFI: Canonicalize module path for finding dylib

    @qsctr
    qsctr committed Aug 5, 2022
    Configuration menu
    Copy the full SHA
    9efd822 View commit details
    Browse the repository at this point in the history

  2. FFI: Print whether FFI is enabled in -v/:v command

    @qsctr
    qsctr committed Aug 5, 2022
    Configuration menu
    Copy the full SHA
    59f0b30 View commit details
    Browse the repository at this point in the history

  3. FFI: Revert dynamic linking hacks for linux

    @qsctr
    qsctr committed Aug 5, 2022
    Configuration menu
    Copy the full SHA
    6b1210d View commit details
    Browse the repository at this point in the history

  4. FFI: Revert changes to cryptol-remote-api.cabal

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

  5. FFI: Add libffi package fork as submodule

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

  6. Merge branch 'master' into ffi

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

  7. FFI: Move CI ffi test check to test job

    @qsctr
    qsctr committed Aug 5, 2022
    Configuration menu
    Copy the full SHA
    8827a5b View commit details
    Browse the repository at this point in the history

  8. FFI: Add more tests

    @qsctr
    qsctr committed Aug 5, 2022
    Configuration menu
    Copy the full SHA
    70fc5e2 View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2022

  1. Don't allow wild cards in FFI declarations. 

    We didn't allow them anyway, but this gives a more precise error.
    @yav
    yav committed Aug 8, 2022
    Configuration menu
    Copy the full SHA
    d529c16 View commit details
    Browse the repository at this point in the history

  2. Fix test

    @yav
    yav committed Aug 8, 2022
    Configuration menu
    Copy the full SHA
    3509438 View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2022

  1. FFI: Add explicit reloading and refactor eval code

    @qsctr
    qsctr committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    6cc5cec View commit details
    Browse the repository at this point in the history

  2. FFI: Define ForeignSrc when FFI disabled

    @qsctr
    qsctr committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    33fd5c2 View commit details
    Browse the repository at this point in the history

  3. FFI: Add test for reloading with new changes

    @qsctr
    qsctr committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    7ae7489 View commit details
    Browse the repository at this point in the history

  4. FFI: Use evalFinType in marshalTyArg

    @qsctr
    qsctr committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    c6162c6 View commit details
    Browse the repository at this point in the history

  5. FFI: Revert CI CACHE_VERSION bump

    @qsctr
    qsctr committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    b301d66 View commit details
    Browse the repository at this point in the history

  6. FFI: Formatting

    @qsctr
    qsctr committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    8e4f749 View commit details
    Browse the repository at this point in the history

Commits on Aug 11, 2022

  1. FFI: Add docs

    @qsctr
    qsctr committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    0bc3bb7 View commit details
    Browse the repository at this point in the history

  2. FFI: Use upstream libffi

    @qsctr
    qsctr committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    36fcdb3 View commit details
    Browse the repository at this point in the history

  3. FFI: Improve docs

    @qsctr
    qsctr committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    60a342a View commit details
    Browse the repository at this point in the history

  4. Fix rangeWithin comparison

    @qsctr
    qsctr committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    46cb2f9 View commit details
    Browse the repository at this point in the history

  5. FFI: Add test for type errors

    @qsctr
    qsctr committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    65ba788 View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2022

  1. FFI: Call proveImplication on validSchema in Infer

    @qsctr
    qsctr committed Aug 12, 2022
    Configuration menu
    Copy the full SHA
    9652cf4 View commit details
    Browse the repository at this point in the history

  2. FFI: Don't panic in reference evaluator 

    Bind foreign functions to a Cryptol runtime error instead.
    @qsctr
    qsctr committed Aug 12, 2022
    Configuration menu
    Copy the full SHA
    8a274d0 View commit details
    Browse the repository at this point in the history

  3. FFI: Add test for runtime errors

    @qsctr
    qsctr committed Aug 12, 2022
    Configuration menu
    Copy the full SHA
    4fd7e17 View commit details
    Browse the repository at this point in the history

  4. FFI: Improve docs

    @qsctr
    qsctr committed Aug 12, 2022
    Configuration menu
    Copy the full SHA
    d933fa6 View commit details
    Browse the repository at this point in the history