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

UnsoundPureKES and DirectSerialise API #504

Open
wants to merge 11 commits into
base: master
Choose a base branch
from

Commits on Oct 16, 2024

  1. DirectSerialise

    tdammers committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    ac5b392 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    554329d View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    1b44fc2 View commit details
    Browse the repository at this point in the history
  4. Address review comment

    tdammers committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    7ca7398 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    9b45126 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    494d068 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    182c44f View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    72cbbc6 View commit details
    Browse the repository at this point in the history
  9. Tag generalized ForeignPtr with the the ST context

    This prevents a ForeignPtr created in one ST context to leak into
    another.
    tdammers committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    7840172 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    97793f3 View commit details
    Browse the repository at this point in the history
  11. Update CHANGELOG

    tdammers committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    5d87496 View commit details
    Browse the repository at this point in the history