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

feat: improved proof replay evaluation scripts #28

Merged
merged 9 commits into from
Apr 8, 2024
Merged

feat: improved proof replay evaluation scripts #28

merged 9 commits into from
Apr 8, 2024

Commits on Apr 8, 2024

  1. feat: script on selected 10 egg tests

    @ramonfmir
    ramonfmir committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    f069524 View commit details
    Browse the repository at this point in the history

  2. feat: script to build egg binary with stop-on-success

    @ramonfmir
    ramonfmir committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    edcba62 View commit details
    Browse the repository at this point in the history

  3. fix: align gp4 test

    @ramonfmir
    ramonfmir committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    9ccab62 View commit details
    Browse the repository at this point in the history

  4. feat: constant expressions have term size 1

    @ramonfmir
    ramonfmir committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    23b2b98 View commit details
    Browse the repository at this point in the history

  5. fix: revert size calculation

    @ramonfmir
    ramonfmir committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    54e9294 View commit details
    Browse the repository at this point in the history

  6. style: remove random check

    @ramonfmir
    ramonfmir committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    4f4f146 View commit details
    Browse the repository at this point in the history

  7. feat: another Python script for data extraction

    @ramonfmir
    ramonfmir committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    07c90b5 View commit details
    Browse the repository at this point in the history

  8. fix: directory in Lean-pre-DCP evaluation script

    @ramonfmir
    ramonfmir committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    2c10c11 View commit details
    Browse the repository at this point in the history

  9. feat: save results in CSV file

    @ramonfmir
    ramonfmir committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    ccee9b5 View commit details
    Browse the repository at this point in the history