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

Wp is really exec #85

Draft
wants to merge 5 commits into
base: master
Choose a base branch
from
Draft

Wp is really exec #85

wants to merge 5 commits into from

Commits on Aug 3, 2023

  1. update to a bedrock2 where wp is complete wrt exec

    @samuelgruetter
    samuelgruetter committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    eb5d746 View commit details
    Browse the repository at this point in the history

  2. sketch while case in noskips_correct_bw

    @samuelgruetter
    samuelgruetter committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    bd415b4 View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2023

  1. reprove noskip and noreassign lemmas

    @samuelgruetter
    samuelgruetter committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    87d29e3 View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2023

  1. update to bedrock2 where Module WP is gone

    @samuelgruetter
    samuelgruetter committed Aug 6, 2023
    Configuration menu
    Copy the full SHA
    0c5ee4d View commit details
    Browse the repository at this point in the history

  2. wip updating to bedrock2 where WeakestPrecondition.cmd is exec

    @samuelgruetter
    samuelgruetter committed Aug 6, 2023
    Configuration menu
    Copy the full SHA
    63445f8 View commit details
    Browse the repository at this point in the history