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

Port VST 2.x to CompCert master #781

Merged
merged 15 commits into from
Jul 28, 2024
Merged

Port VST 2.x to CompCert master #781

merged 15 commits into from
Jul 28, 2024

Commits on Jul 24, 2024

  1. Port VST 2.x to CompCert master AbsInt/CompCert@f92facf

    @andrew-appel
    andrew-appel committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    e4539a3 View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2024

  1. More tweaks, got most of CI working

    @andrew-appel
    andrew-appel committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    31fcf79 View commit details
    Browse the repository at this point in the history

  2. Tweaks to CI and some work on verif_printf test case

    @andrew-appel
    andrew-appel committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    f865914 View commit details
    Browse the repository at this point in the history

  3. tweak CI

    @andrew-appel
    andrew-appel committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    a2c02ce View commit details
    Browse the repository at this point in the history

  4. tweak CI

    @andrew-appel
    andrew-appel committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    2f2bcee View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2024

  1. tweak CI

    @andrew-appel
    andrew-appel committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    b3e922f View commit details
    Browse the repository at this point in the history

  2. tweak CI

    @andrew-appel
    andrew-appel committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    3c188b6 View commit details
    Browse the repository at this point in the history

  3. Hack progs64/printf.v

    @andrew-appel
    andrew-appel committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    9bd9296 View commit details
    Browse the repository at this point in the history

  4. clightgen all the 32-bit progs .c files

    @andrew-appel
    andrew-appel committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    13b0cdf View commit details
    Browse the repository at this point in the history

  5. Got test2 working in 32-bit mode

    @andrew-appel
    andrew-appel committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    60bb838 View commit details
    Browse the repository at this point in the history

  6. updated mailbox to use new lock_t

    @mansky1
    mansky1 committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    4a0f569 View commit details
    Browse the repository at this point in the history

  7. Tweak test targets for VSUpile in 64 and 32 bit modes

    @andrew-appel
    andrew-appel committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    3a21957 View commit details
    Browse the repository at this point in the history

  8. Brought sha proofs up to date

    @andrew-appel
    andrew-appel committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    bc802ff View commit details
    Browse the repository at this point in the history

  9. Merge #783

    @andrew-appel
    andrew-appel committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    fa12c99 View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2024

  1. Bump VST version number to 2.15

    @andrew-appel
    andrew-appel committed Jul 27, 2024
    Configuration menu
    Copy the full SHA
    8c76515 View commit details
    Browse the repository at this point in the history