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

Add ksoroban prove command #20

Merged
merged 21 commits into from
Aug 13, 2024
Merged

Add ksoroban prove command #20

merged 21 commits into from
Aug 13, 2024

Commits on Aug 5, 2024

  1. Add haskell backend target

    @gtrepta
    gtrepta committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    8a84494 View commit details
    Browse the repository at this point in the history

  2. Rename

    @gtrepta
    gtrepta committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    2015b73 View commit details
    Browse the repository at this point in the history

  3. Add module level SorobanDefinitionInfo instances

    @gtrepta
    gtrepta committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    8a4edc1 View commit details
    Browse the repository at this point in the history

  4. Rename

    @gtrepta
    gtrepta committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    a431e0c View commit details
    Browse the repository at this point in the history

  5. Make Kasmer.deploy_test unconditionally use the llvm definition

    @gtrepta
    gtrepta committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    e1e9a5b View commit details
    Browse the repository at this point in the history

  6. Draft of 'ksoroban prove'

    @gtrepta
    gtrepta committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    8d495da View commit details
    Browse the repository at this point in the history

  7. Set Version: 0.1.16

    devops committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    c255f39 View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2024

  1. Lemmas

    @gtrepta
    gtrepta committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    9d050b7 View commit details
    Browse the repository at this point in the history

  2. prove view command

    @gtrepta
    gtrepta committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    d347d1d View commit details
    Browse the repository at this point in the history

  3. More lemmas. test_adder now passes!

    @gtrepta
    gtrepta committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    7b96ae1 View commit details
    Browse the repository at this point in the history

  4. Rename

    @gtrepta
    gtrepta committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    4ed0e94 View commit details
    Browse the repository at this point in the history

  5. Set Version: 0.1.17

    devops committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    373de18 View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2024

  1. Fix the lemmas. 

    I scuffed them somehow when doing some reformatting before a commit.
    @gtrepta
    gtrepta committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    1364dd6 View commit details
    Browse the repository at this point in the history

  2. Makefile: Build every soroban-semantics target

    @gtrepta
    gtrepta committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    28e0741 View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2024

  1. Adjust how prove/fuzz gets selected

    @gtrepta
    gtrepta committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    c7966e8 View commit details
    Browse the repository at this point in the history

  2. Add the adder proof to the tests

    @gtrepta
    gtrepta committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    b7868f8 View commit details
    Browse the repository at this point in the history

  3. Set Version: 0.1.18

    devops committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    fdf2a55 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into prove

    @gtrepta
    gtrepta authored Aug 9, 2024
    Configuration menu
    Copy the full SHA
    a8c9985 View commit details
    Browse the repository at this point in the history

  5. Set Version: 0.1.18

    devops committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    1ad6d80 View commit details
    Browse the repository at this point in the history

Commits on Aug 13, 2024

  1. Merge branch 'master' into prove

    @bbyalcinkaya
    bbyalcinkaya authored Aug 13, 2024
    Configuration menu
    Copy the full SHA
    c864bce View commit details
    Browse the repository at this point in the history

  2. Set Version: 0.1.20

    devops committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    090f6fc View commit details
    Browse the repository at this point in the history