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

feat: Binary serialisation format for hugr-model based on capnproto. #1557

Merged
merged 7 commits into from
Oct 11, 2024
Merged

feat: Binary serialisation format for hugr-model based on capnproto. #1557

merged 7 commits into from
Oct 11, 2024

Commits on Oct 7, 2024

  1. Binary serialisation format for hugr-model based on capnproto.

    @zrho
    zrho committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    c814650 View commit details
    Browse the repository at this point in the history

Commits on Oct 8, 2024

  1. Make GitHub CI install capnproto.

    @zrho
    zrho committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    a64b168 View commit details
    Browse the repository at this point in the history

  2. Add tests for binary serialization roundtrips.

    @zrho
    zrho committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    477e5e9 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into zrho/model-binary

    @zrho
    zrho committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    cddfeb0 View commit details
    Browse the repository at this point in the history

Commits on Oct 11, 2024

  1. Minor changes.

    @zrho
    zrho committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    356763d View commit details
    Browse the repository at this point in the history

  2. Removed a line for Cargo.toml accidentally left in

    @zrho
    zrho committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    6085343 View commit details
    Browse the repository at this point in the history

  3. Export the correct extension set for regions.

    @zrho
    zrho committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    9781b14 View commit details
    Browse the repository at this point in the history