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

Adv/update serialization docs #3793

Merged
merged 13 commits into from
May 30, 2024
Merged

Adv/update serialization docs #3793

merged 13 commits into from
May 30, 2024

Commits on May 22, 2024

  1. better linking to dev documentation

    @antonydellavecchia
    antonydellavecchia committed May 22, 2024
    Configuration menu
    Copy the full SHA
    01b52e6 View commit details
    Browse the repository at this point in the history

  2. answering johns questions

    @antonydellavecchia
    antonydellavecchia committed May 22, 2024
    Configuration menu
    Copy the full SHA
    c170871 View commit details
    Browse the repository at this point in the history

Commits on May 23, 2024

  1. started on intro to serialization docs

    @antonydellavecchia
    antonydellavecchia committed May 23, 2024
    Configuration menu
    Copy the full SHA
    1e61c3c View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into adv/update-serializ… 

    …ation-docs
    @antonydellavecchia
    antonydellavecchia committed May 23, 2024
    Configuration menu
    Copy the full SHA
    6f7e717 View commit details
    Browse the repository at this point in the history

  3. added a couple paragraphs for external software implementations

    @antonydellavecchia
    antonydellavecchia committed May 23, 2024
    Configuration menu
    Copy the full SHA
    39b2fcb View commit details
    Browse the repository at this point in the history

Commits on May 24, 2024

  1. more paragraphs on external implementations

    @antonydellavecchia
    antonydellavecchia committed May 24, 2024
    Configuration menu
    Copy the full SHA
    a9979e9 View commit details
    Browse the repository at this point in the history

  2. remove notes that were never meant to be in final version

    @antonydellavecchia
    antonydellavecchia committed May 24, 2024
    Configuration menu
    Copy the full SHA
    d7f17a2 View commit details
    Browse the repository at this point in the history

  3. fix some typos

    @antonydellavecchia
    antonydellavecchia committed May 24, 2024
    Configuration menu
    Copy the full SHA
    cbd196e View commit details
    Browse the repository at this point in the history

  4. some rearrangements

    @antonydellavecchia
    antonydellavecchia committed May 24, 2024
    Configuration menu
    Copy the full SHA
    35dcffb View commit details
    Browse the repository at this point in the history

Commits on May 26, 2024

  1. updating serialization docs

    @micjoswig
    micjoswig committed May 26, 2024
    Configuration menu
    Copy the full SHA
    ff36d69 View commit details
    Browse the repository at this point in the history

Commits on May 27, 2024

  1. fix linking error in test

    @antonydellavecchia
    antonydellavecchia committed May 27, 2024
    Configuration menu
    Copy the full SHA
    788634c View commit details
    Browse the repository at this point in the history

  2. Apply suggestions from code review 

    Co-authored-by: Johannes Schmitt <schmitt@mathematik.uni-kl.de>
    @antonydellavecchia @joschmitt
    antonydellavecchia and joschmitt committed May 27, 2024
    Configuration menu
    Copy the full SHA
    74422bb View commit details
    Browse the repository at this point in the history

Commits on May 29, 2024

  1. Merge branch 'master' into adv/update-serialization-docs

    @benlorenz
    benlorenz committed May 29, 2024
    Configuration menu
    Copy the full SHA
    32fbf9d View commit details
    Browse the repository at this point in the history