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

Coq proof lib #386

Draft
wants to merge 11 commits into
base: main
Choose a base branch
from
Draft

Coq proof lib #386

wants to merge 11 commits into from

Commits on Apr 9, 2024

  1. Coq proof lib

    @cmester0
    cmester0 committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    105cb07 View commit details
    Browse the repository at this point in the history

  2. Move

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

  3. Cleanup

    @cmester0
    cmester0 committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    153a566 View commit details
    Browse the repository at this point in the history

  4. Cleanup

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

  5. Cleanup

    @cmester0
    cmester0 committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    1a1e287 View commit details
    Browse the repository at this point in the history

  6. Update

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

  7. Move to CompCert Integer

    @cmester0
    cmester0 committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    1f8e159 View commit details
    Browse the repository at this point in the history

  8. Setting up dune

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

  9. Start adding tests, and use dune

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

  10. fmt

    @cmester0
    cmester0 committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    1227c58 View commit details
    Browse the repository at this point in the history

  11. add file

    @cmester0
    cmester0 committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    01ec2d4 View commit details
    Browse the repository at this point in the history