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: diffblue/hw-cbmc
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 5906108
Choose a base ref
...
head repository: diffblue/hw-cbmc
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: cd4b68e
Choose a head ref
  • 6 commits
  • 643 files changed
  • 1 contributor

Commits on May 8, 2025

  1. Update examples 

    Added further designs and properties, and fixed syntax issues.
    @tautschnig
    tautschnig committed May 8, 2025
    Configuration menu
    Copy the full SHA
    27ffa99 View commit details
    Browse the repository at this point in the history

  2. Safety properties

    @tautschnig
    tautschnig committed May 8, 2025
    Configuration menu
    Copy the full SHA
    07504d7 View commit details
    Browse the repository at this point in the history

  3. Only one kind of property for LCD examples

    @tautschnig
    tautschnig committed May 8, 2025
    Configuration menu
    Copy the full SHA
    7470aaa View commit details
    Browse the repository at this point in the history

  4. Add blinking-led example

    @tautschnig
    tautschnig committed May 8, 2025
    Configuration menu
    Copy the full SHA
    720eb68 View commit details
    Browse the repository at this point in the history

  5. Safety+Liveness properties

    @tautschnig
    tautschnig committed May 8, 2025
    Configuration menu
    Copy the full SHA
    9b20d36 View commit details
    Browse the repository at this point in the history

  6. Updated liveness

    @tautschnig
    tautschnig committed May 8, 2025
    Configuration menu
    Copy the full SHA
    cd4b68e View commit details
    Browse the repository at this point in the history
Loading