Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: microsoft/SymCrypt
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: main
Choose a base ref
...
head repository: QinyuanWu/SymCrypt-CBMC
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: main
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 20 commits
  • 80 files changed
  • 3 contributors

Commits on Jun 22, 2024

  1. hash & aes cbmc

    QinyuanWu authored and QinyuanWu committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    3ed19c4 View commit details
    Browse the repository at this point in the history
  2. hash & aes

    QinyuanWu authored and QinyuanWu committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    ebcc289 View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2024

  1. Configuration menu
    Copy the full SHA
    748c0ce View commit details
    Browse the repository at this point in the history
  2. add assign clauses

    QinyuanWu committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    ddbdef5 View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2024

  1. Configuration menu
    Copy the full SHA
    3ee8856 View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2024

  1. Configuration menu
    Copy the full SHA
    dfa2c0b View commit details
    Browse the repository at this point in the history
  2. reduce issue to memcpy

    QinyuanWu committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    52bc46e View commit details
    Browse the repository at this point in the history
  3. update goto to the latest

    QinyuanWu committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    8513c6b View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2024

  1. Configuration menu
    Copy the full SHA
    2dfac45 View commit details
    Browse the repository at this point in the history
  2. remove debug files

    QinyuanWu committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    c290b2f View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    efff4f9 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    68769bc View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2024

  1. Configuration menu
    Copy the full SHA
    a8b1778 View commit details
    Browse the repository at this point in the history
  2. unbounded

    QinyuanWu committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    3e543d7 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    cbfc288 View commit details
    Browse the repository at this point in the history
  4. unbounded

    QinyuanWu committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    fac7905 View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2024

  1. unbounded successful

    QinyuanWu committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    337fac6 View commit details
    Browse the repository at this point in the history
  2. add loop contracts

    QinyuanWu committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    423557d View commit details
    Browse the repository at this point in the history
  3. misc

    QinyuanWu committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    a85e330 View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2024

  1. Include CBMC

    QinyuanWu authored Aug 19, 2024
    Configuration menu
    Copy the full SHA
    469ebbe View commit details
    Browse the repository at this point in the history
Loading