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: UCL-PPLV/learnlib
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: feat/C3AL
Choose a base ref
...
head repository: rasofema/learnlib
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: feat/C3AL
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 2 commits
  • 197 files changed
  • 1 contributor

Commits on Apr 2, 2024

  1. Changes for Adaptivity, compatibility with RALib, and User-Provided CEX

    @rasofema
    rasofema committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    980fd1f View commit details
    Browse the repository at this point in the history

Commits on May 20, 2024

  1. Changed how to provide of user Cex directly to tree

    @rasofema
    rasofema committed May 20, 2024
    Configuration menu
    Copy the full SHA
    920f3c5 View commit details
    Browse the repository at this point in the history
Loading