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: erwanM974/hibou_label
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 0.8.5
Choose a base ref
...
head repository: erwanM974/hibou_label
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: master
Choose a head ref
  • 6 commits
  • 55 files changed
  • 1 contributor

Commits on Feb 18, 2024

  1. various updates, interaction random generation, more parameterization…

    …s for local analyses, experimental partial order reduction
    erwanM974 committed Feb 18, 2024
    Copy the full SHA
    df1b8f7 View commit details
  2. improved upon partial order reduction via restricting choice of linea…

    …rization to univocal actions
    erwanM974 committed Feb 18, 2024
    Copy the full SHA
    194d961 View commit details

Commits on Feb 23, 2024

  1. option for delayed alt use in frontier, added a modulo depth option f…

    …or local analyses with dirty flag counters, correction for partial order reduction
    erwanM974 committed Feb 23, 2024
    Copy the full SHA
    56eb37e View commit details

Commits on Jul 7, 2024

  1. updated dependencies

    erwanM974 committed Jul 7, 2024
    Copy the full SHA
    409ab93 View commit details
  2. Copy the full SHA
    ee793b1 View commit details

Commits on Jan 5, 2025

  1. Copy the full SHA
    aedaedf View commit details
Loading