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: SMT-COMP/smt-comp.github.io
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: Heizmann/smt-comp.github.io
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: master
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 9 commits
  • 1 file changed
  • 1 contributor

Commits on Jun 3, 2024

  1. UltimateEliminator submission

    @Heizmann
    Heizmann committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    59b5092 View commit details
    Browse the repository at this point in the history

  2. Add runscript

    @Heizmann
    Heizmann committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    9d6ef0d View commit details
    Browse the repository at this point in the history

Commits on Jun 4, 2024

  1. Merge branch 'SMT-COMP:master' into master

    @Heizmann
    Heizmann authored Jun 4, 2024
    Configuration menu
    Copy the full SHA
    4c2c653 View commit details
    Browse the repository at this point in the history

  2. Update archive

    @Heizmann
    Heizmann committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    4310139 View commit details
    Browse the repository at this point in the history

  3. Remove data types from logics

    @Heizmann
    Heizmann committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    7a98252 View commit details
    Browse the repository at this point in the history

  4. Support missing logics

    @Heizmann
    Heizmann committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    dd3f4af View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2024

  1. update

    @Heizmann
    Heizmann committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    ae0dff5 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'SMT-COMP:master' into master

    @Heizmann
    Heizmann authored Jun 14, 2024
    Configuration menu
    Copy the full SHA
    c56f28b View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2024

  1. Mark solver as non-competitive

    @Heizmann
    Heizmann committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    a53e653 View commit details
    Browse the repository at this point in the history
Loading