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.

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

WIP: Preserve mappings after partial application #53

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

Commits on Jul 17, 2023

  1. Configuration menu
    Copy the full SHA
    0125c03 View commit details
    Browse the repository at this point in the history
  2. Snapshot: Further progress for the preservation tests

    ... but it is only the basic structure
    maxkratz committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    326206d View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2023

  1. First working test case

    maxkratz committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    7ff2b29 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    fe6ec94 View commit details
    Browse the repository at this point in the history

Commits on Sep 21, 2023

  1. Configuration menu
    Copy the full SHA
    5b43a15 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    bded37c View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    5a400a0 View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2024

  1. Configuration menu
    Copy the full SHA
    63265e2 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    7e7cf40 View commit details
    Browse the repository at this point in the history