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

T1169 #1171

Merged
merged 15 commits into from
Apr 23, 2021
Merged

T1169 #1171

merged 15 commits into from
Apr 23, 2021

Commits on Apr 20, 2021

  1. Add a pretty printing instance for naming environments 

    This is useful for debugging
    @yav
    yav committed Apr 20, 2021
    Configuration menu
    Copy the full SHA
    3df9273 View commit details
    Browse the repository at this point in the history

  2. Fixes #1169

    @yav
    yav committed Apr 20, 2021
    Configuration menu
    Copy the full SHA
    6818969 View commit details
    Browse the repository at this point in the history

  3. Fix test (accounts for chanes in the standard library)

    @yav
    yav committed Apr 20, 2021
    Configuration menu
    Copy the full SHA
    1c175f5 View commit details
    Browse the repository at this point in the history

Commits on Apr 21, 2021

  1. Require version 0.3 of test-runner and a windows specific result for … 

    …the test
    @yav
    yav committed Apr 21, 2021
    Configuration menu
    Copy the full SHA
    aa7cce1 View commit details
    Browse the repository at this point in the history

  2. Change CI to use test-lib-0.3 and add a windows test for modsys/T18

    @yav
    yav committed Apr 21, 2021
    Configuration menu
    Copy the full SHA
    0c65f5e View commit details
    Browse the repository at this point in the history

Commits on Apr 22, 2021

  1. Change freeze files to use test-lib 0.3

    @yav
    yav committed Apr 22, 2021
    Configuration menu
    Copy the full SHA
    4e0da53 View commit details
    Browse the repository at this point in the history

  2. Require version 0.3 of test-lib

    @yav
    yav committed Apr 22, 2021
    Configuration menu
    Copy the full SHA
    b572b08 View commit details
    Browse the repository at this point in the history

  3. Correct how to specify constraint

    @yav
    yav committed Apr 22, 2021
    Configuration menu
    Copy the full SHA
    a25fde4 View commit details
    Browse the repository at this point in the history

  4. Fix test-lib step

    @yav
    Lisanna Dettwyler authored and yav committed Apr 22, 2021
    Configuration menu
    Copy the full SHA
    ec614b2 View commit details
    Browse the repository at this point in the history

  5. Print test-runner version, and always build it.

    @yav
    yav committed Apr 22, 2021
    Configuration menu
    Copy the full SHA
    c165832 View commit details
    Browse the repository at this point in the history

  6. Overwrite test-runner if it was already there

    @yav
    yav committed Apr 22, 2021
    Configuration menu
    Copy the full SHA
    a7daa1e View commit details
    Browse the repository at this point in the history

  7. Remove constraints on cabal install, as we made the most progress wit… 

    …h that...
    @yav
    yav committed Apr 22, 2021
    Configuration menu
    Copy the full SHA
    b2a8a23 View commit details
    Browse the repository at this point in the history

  8. Use correct link for GitHub Actions README badge

    @RyanGlScott @yav
    RyanGlScott authored and yav committed Apr 22, 2021
    Configuration menu
    Copy the full SHA
    2c00714 View commit details
    Browse the repository at this point in the history

  9. feat(rpc): safe for python api (#1168) 

    * feat(rpc): safe for python api

* refactor: use enum for smt query type

* Update cryptol-remote-api/python/cryptol/__init__.py

Co-authored-by: Ryan Scott <[email protected]>

* Update cryptol-remote-api/python/cryptol/__init__.py

Co-authored-by: Ryan Scott <[email protected]>

Co-authored-by: Ryan Scott <[email protected]>
    @RyanGlScott @yav
    2 people authored and yav committed Apr 22, 2021
    Configuration menu
    Copy the full SHA
    6270742 View commit details
    Browse the repository at this point in the history

  10. Rename files to have correct OS extension

    @yav
    yav committed Apr 22, 2021
    Configuration menu
    Copy the full SHA
    5478037 View commit details
    Browse the repository at this point in the history