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

Add index for the Patch paper and do a bit of refactoring #225

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

Add index for the Patch paper and do a bit of refactoring #225

wants to merge 14 commits into from

Commits on Oct 9, 2023

  1. Start writing an index for the journal paper

    @ayberkt
    ayberkt committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    d4d021f View commit details
    Browse the repository at this point in the history

  2. Add some stuff to the index

    @ayberkt
    ayberkt committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    95c2b53 View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2023

  1. Merge branch 'master' into patch-journal-index

    @ayberkt
    ayberkt committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    9a6fddb View commit details
    Browse the repository at this point in the history

  2. Add more definitions

    @ayberkt
    ayberkt committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    d6e05f3 View commit details
    Browse the repository at this point in the history

Commits on Dec 11, 2023

  1. Merge branch 'master' into patch-journal-index

    @ayberkt
    ayberkt committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    ca78f64 View commit details
    Browse the repository at this point in the history

  2. Make progress

    @ayberkt
    ayberkt committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    642a3b1 View commit details
    Browse the repository at this point in the history

Commits on Jan 17, 2024

  1. Merge branch 'master' into patch-journal-index

    @ayberkt
    ayberkt committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    635a256 View commit details
    Browse the repository at this point in the history

  2. Add the definition of split support

    @ayberkt
    ayberkt committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    e7be35a View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2024

  1. Start numbering

    @ayberkt
    ayberkt committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    367f3cf View commit details
    Browse the repository at this point in the history

Commits on Jan 25, 2024

  1. Do some stuff

    @ayberkt
    ayberkt committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    d86febb View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2024

  1. Merge branch 'master' into patch-journal-index

    @ayberkt
    ayberkt committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    dfabe19 View commit details
    Browse the repository at this point in the history

  2. Restart adding definitions

    @ayberkt
    ayberkt committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    d34a0e5 View commit details
    Browse the repository at this point in the history

  3. Start linking some stuff

    @ayberkt
    ayberkt committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    6040981 View commit details
    Browse the repository at this point in the history

  4. Add more links

    @ayberkt
    ayberkt committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    98a29be View commit details
    Browse the repository at this point in the history