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

[do not merge] work-in-progress dead code elimination #348

Open
wants to merge 15 commits into
base: master
Choose a base branch
from
Open

[do not merge] work-in-progress dead code elimination #348

wants to merge 15 commits into from

Commits on May 17, 2023

  1. starting file for new phase

    @0adb
    0adb committed May 17, 2023
    Configuration menu
    Copy the full SHA
    1cd381a View commit details
    Browse the repository at this point in the history

  2. first pass at phase implementation

    @0adb
    0adb committed May 17, 2023
    Configuration menu
    Copy the full SHA
    29ad116 View commit details
    Browse the repository at this point in the history

  3. first pass at loop implementation, outline of correctness proof

    @0adb
    0adb committed May 17, 2023
    Configuration menu
    Copy the full SHA
    5d3efab View commit details
    Browse the repository at this point in the history

  4. first pass at possible correctness lemma; changes to example

    @0adb
    0adb committed May 17, 2023
    Configuration menu
    Copy the full SHA
    a05a6b1 View commit details
    Browse the repository at this point in the history

  5. small progress on dead assignment proof

    @0adb
    0adb committed May 17, 2023
    Configuration menu
    Copy the full SHA
    cda6dd8 View commit details
    Browse the repository at this point in the history

  6. in-progress to make everything compile w/o invocation of dead assignment

    @0adb
    0adb committed May 17, 2023
    Configuration menu
    Copy the full SHA
    83c5436 View commit details
    Browse the repository at this point in the history

Commits on May 18, 2023

  1. in progress dead assignment lemmas

    @0adb
    0adb committed May 18, 2023
    Configuration menu
    Copy the full SHA
    20a3581 View commit details
    Browse the repository at this point in the history

  2. more progress on possible correctness lemma

    @0adb
    0adb committed May 18, 2023
    Configuration menu
    Copy the full SHA
    8f98d7d View commit details
    Browse the repository at this point in the history

Commits on May 21, 2023

  1. temp commit, redefined helper lemma

    @0adb
    0adb committed May 21, 2023
    Configuration menu
    Copy the full SHA
    0c406a2 View commit details
    Browse the repository at this point in the history

Commits on May 22, 2023

  1. Comment out large section of possibly unnecessary proof

    @0adb
    0adb authored May 22, 2023
    Configuration menu
    Copy the full SHA
    a326f09 View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2023

  1. progress update commit (automating deadassignment proof)

    @0adb
    0adb committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    961bdc7 View commit details
    Browse the repository at this point in the history

  2. progress update commit (automating deadassignment proof)

    @0adb
    0adb committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    1559a97 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'dead-assignment-phase' of https://github.com/0adb/bedrock2 

     into dead-assignment-phase
    @0adb
    0adb committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    337cb18 View commit details
    Browse the repository at this point in the history

Commits on Jul 13, 2023

  1. progress on dead assignment proof

    @0adb
    0adb committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    3e5c98a View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2023

  1. temp progress commit on DeadAssignment

    @0adb
    0adb committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    a1c0de8 View commit details
    Browse the repository at this point in the history