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

Update to master #1411

Closed
wants to merge 17 commits into from
Closed

Update to master #1411

wants to merge 17 commits into from

Commits on Aug 13, 2022

  1. FFI: Refactor foreign loading code

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

  2. FFI: Print message when loading dynamic library

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

  3. FFI: Define getForeignSrcPath when FFI disabled

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

  4. FFI: Fix getForeignSrcPath

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

  5. FFI: Fix imports when FFI disabled

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

  6. CI: Add macOS case for test-lib outputs

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

Commits on Aug 15, 2022

  1. Regenerate cabal.GHC-*.config files

    @RyanGlScott
    RyanGlScott committed Aug 15, 2022
    Configuration menu
    Copy the full SHA
    486db7b View commit details
    Browse the repository at this point in the history

  2. CI: Use Ubuntu 22.04, drop 18.04 

    GitHub Actions has deprecated its Ubuntu 18.04 runners, and they will be
removed by December 1, 2022. Moreover, GitHub Actions now offers Ubuntu 22.04
runners.  It seems like a good time to upgrade our CI accordingly.

Somewhat annoyingly, the `haskell` Docker images that we use in our Dockerfiles
use such an old version of Debian that their version of `glibc` is incompatible
with any of the `what4-solvers` built for Ubuntu 20.04 or 22.04. As a result, I
switched them from the `haskell` Docker image to the `ubuntu` one. This
required some minor tweaks to how dependencies are installed, but nothing too
serious.
    @RyanGlScott
    RyanGlScott committed Aug 15, 2022
    Configuration menu
    Copy the full SHA
    287a7f0 View commit details
    Browse the repository at this point in the history

  3. CI: Upgrade from 9.2.2 to 9.2.4 

    This is needed to work around https://gitlab.haskell.org/ghc/ghc/-/issues/20592
on macOS.
    @RyanGlScott
    RyanGlScott committed Aug 15, 2022
    Configuration menu
    Copy the full SHA
    0d4b555 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #1403 from GaloisInc/ubuntu-22.04 

    CI: Use Ubuntu 22.04, drop 18.04
    @RyanGlScott
    RyanGlScott authored Aug 15, 2022
    Configuration menu
    Copy the full SHA
    583ccc2 View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2022

  1. FFI: Support nested sequences

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

  2. FFI: Add test for nested sequences

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

  3. FFI: Add docs for nested sequences

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

Commits on Aug 18, 2022

  1. Merge pull request #1401 from GaloisInc/print-loading-shared-lib 

    Print message in REPL when loading dynamic library for FFI
    @yav
    yav authored Aug 18, 2022
    Configuration menu
    Copy the full SHA
    2827795 View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2022

  1. FFI: Simplify array write function in marshalArg

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

Commits on Aug 22, 2022

  1. Merge pull request #1406 from GaloisInc/ffi-nested-seq 

    Support nested sequences in FFI
    @yav
    yav authored Aug 22, 2022
    Configuration menu
    Copy the full SHA
    2b425be View commit details
    Browse the repository at this point in the history

  2. CI: Don't sign build artifacts on forks (#1409) 

    The GPG signing step requires access to repository secrets that (apparently)
aren't visible to forks. Let's just not sign build artifacts on forks to avoid
this issue.

This mirrors a corresponding change made to `saw-script`'s CI in
GaloisInc/saw-script@eedcba1 and
GaloisInc/saw-script@ac082b0.
    @RyanGlScott
    RyanGlScott authored Aug 22, 2022
    Configuration menu
    Copy the full SHA
    d04aa87 View commit details
    Browse the repository at this point in the history