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: SynthesisLab/MBA
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: dev
Choose a base ref
...
head repository: SynthesisLab/MBA
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.
  • 4 commits
  • 3 files changed
  • 1 contributor

Commits on Jan 20, 2025

  1. Merge pull request #2 from SynthesisLab/dev 

    MBA Synthesis with GPU
    @nathanael-fijalkow
    nathanael-fijalkow authored Jan 20, 2025
    Configuration menu
    Copy the full SHA
    c455070 View commit details
    Browse the repository at this point in the history

Commits on Mar 25, 2025

  1. Merge pull request #3 from SynthesisLab/dev 

    Algorithmes fonctionnels
    @nathanael-fijalkow
    nathanael-fijalkow authored Mar 25, 2025
    Configuration menu
    Copy the full SHA
    8243655 View commit details
    Browse the repository at this point in the history

Commits on Jan 1, 2026

  1. add readme

    @nathanael-fijalkow
    nathanael-fijalkow committed Jan 1, 2026
    Configuration menu
    Copy the full SHA
    52811ad View commit details
    Browse the repository at this point in the history

Commits on Mar 25, 2026

  1. Update Json format and parsing, add example

    @nathanael-fijalkow
    nathanael-fijalkow committed Mar 25, 2026
    Configuration menu
    Copy the full SHA
    4650495 View commit details
    Browse the repository at this point in the history
Loading