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: runtimeverification/k
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 62ce121
Choose a base ref
...
head repository: runtimeverification/k
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 9fd16ff
Choose a head ref
  • 5 commits
  • 2 files changed
  • 1 contributor

Commits on Jul 8, 2025

  1. Updating llvm-backend

    @Robertorosmaninho
    Robertorosmaninho committed Jul 8, 2025
    Configuration menu
    Copy the full SHA
    8d6a546 View commit details
    Browse the repository at this point in the history

  2. Updating LIST module

    @Robertorosmaninho
    Robertorosmaninho committed Jul 8, 2025
    Configuration menu
    Copy the full SHA
    06a61b0 View commit details
    Browse the repository at this point in the history

  3. Implementing new K rules

    @Robertorosmaninho
    Robertorosmaninho committed Jul 8, 2025
    Configuration menu
    Copy the full SHA
    dd1829b View commit details
    Browse the repository at this point in the history

  4. Uncommenting hooks

    @Robertorosmaninho
    Robertorosmaninho committed Jul 8, 2025
    Configuration menu
    Copy the full SHA
    ada060f View commit details
    Browse the repository at this point in the history

  5. Uncommenting import

    @Robertorosmaninho
    Robertorosmaninho committed Jul 8, 2025
    Configuration menu
    Copy the full SHA
    9fd16ff View commit details
    Browse the repository at this point in the history
Loading