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

Type preservation #11

Merged
merged 20 commits into from
Mar 14, 2024
Merged

Type preservation #11

merged 20 commits into from
Mar 14, 2024

Commits on Jan 30, 2024

  1. All but the function base case. very much WIP

    @Aqissiaq
    Aqissiaq committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    60c3128 View commit details
    Browse the repository at this point in the history

Commits on Jan 31, 2024

  1. Factoring out list utilities

    @Aqissiaq
    Aqissiaq committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    bf7d5d7 View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2024

  1. Some cleanup and minor progress

    @Aqissiaq
    Aqissiaq committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    bc69759 View commit details
    Browse the repository at this point in the history

Commits on Feb 12, 2024

  1. Some reorganizing, but not much progress

    @Aqissiaq
    Aqissiaq committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    934ac81 View commit details
    Browse the repository at this point in the history

Commits on Feb 19, 2024

  1. Almost there with type preservation, tho still missing the actual typ… 

    …e (substitution lemma)
    @Aqissiaq
    Aqissiaq committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    dce8f1b View commit details
    Browse the repository at this point in the history

Commits on Feb 20, 2024

  1. add coq-stdpp as dependency, add abs_examples module

    @palmskog
    palmskog committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    6121540 View commit details
    Browse the repository at this point in the history

Commits on Feb 27, 2024

  1. Some more lemmas – still stuck

    @Aqissiaq
    Aqissiaq committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    e6738f2 View commit details
    Browse the repository at this point in the history

  2. Typing examples

    @Aqissiaq
    Aqissiaq committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    d14b138 View commit details
    Browse the repository at this point in the history

  3. nits

    @Aqissiaq
    Aqissiaq committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    ec01352 View commit details
    Browse the repository at this point in the history

  4. Cleanup Proof with...

    @Aqissiaq
    Aqissiaq committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    21f67b0 View commit details
    Browse the repository at this point in the history

Commits on Feb 29, 2024

  1. All but the function base case. very much WIP

    @Aqissiaq
    Aqissiaq committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    4f627f2 View commit details
    Browse the repository at this point in the history

  2. Factoring out list utilities

    @Aqissiaq
    Aqissiaq committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    d0278b2 View commit details
    Browse the repository at this point in the history

  3. Some cleanup and minor progress

    @Aqissiaq
    Aqissiaq committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    391e679 View commit details
    Browse the repository at this point in the history

  4. Some reorganizing, but not much progress

    @Aqissiaq
    Aqissiaq committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    70dafdb View commit details
    Browse the repository at this point in the history

  5. Almost there with type preservation, tho still missing the actual typ… 

    …e (substitution lemma)
    @Aqissiaq
    Aqissiaq committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    4ad9b19 View commit details
    Browse the repository at this point in the history

  6. Some more lemmas – still stuck

    @Aqissiaq
    Aqissiaq committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    1ed7a07 View commit details
    Browse the repository at this point in the history

  7. Cleanup Proof with...

    @Aqissiaq
    Aqissiaq committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    20c6c69 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'type-preservation' of github.com:kth-step/abs-metatheor… 

    …y into type-preservation
    @Aqissiaq
    Aqissiaq committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    de21235 View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2024

  1. Qed! (Kinda)

    @Aqissiaq
    Aqissiaq committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    951cbf1 View commit details
    Browse the repository at this point in the history

Commits on Mar 12, 2024

  1. Merge branch 'master' into type-preservation

    @Aqissiaq
    Aqissiaq authored Mar 12, 2024
    Configuration menu
    Copy the full SHA
    6da31df View commit details
    Browse the repository at this point in the history