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: amarshah1/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.
  • 8 commits
  • 1 file changed
  • 2 contributors

Commits on May 8, 2024

  1. Adding algaroba.json

    @amarshah1
    amarshah1 authored May 8, 2024
    Configuration menu
    Copy the full SHA
    50ce201 View commit details
    Browse the repository at this point in the history

  2. Added the solver type "wrapped"

    @amarshah1
    amarshah1 authored May 8, 2024
    Configuration menu
    Copy the full SHA
    ab7f7ab View commit details
    Browse the repository at this point in the history

Commits on May 21, 2024

  1. Merge remote-tracking branch 'origin/master' into pr/amarshah1/42

    @bobot
    bobot committed May 21, 2024
    Configuration menu
    Copy the full SHA
    6d99089 View commit details
    Browse the repository at this point in the history

Commits on May 31, 2024

  1. Merge branch 'master' into master

    @bobot
    bobot authored May 31, 2024
    Configuration menu
    Copy the full SHA
    56264ce View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2024

  1. Adding link to solver executable

    @amarshah1
    amarshah1 authored Jun 12, 2024
    Configuration menu
    Copy the full SHA
    7658a1d View commit details
    Browse the repository at this point in the history

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

    @amarshah1
    amarshah1 authored Jun 12, 2024
    Configuration menu
    Copy the full SHA
    f8a81bf View commit details
    Browse the repository at this point in the history

Commits on Jun 13, 2024

  1. Adding executable compiled in Docker environment

    @amarshah1
    amarshah1 authored Jun 13, 2024
    Configuration menu
    Copy the full SHA
    80aa168 View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2024

  1. Added statically linked executable

    @amarshah1
    amarshah1 authored Jun 14, 2024
    Configuration menu
    Copy the full SHA
    426f48f View commit details
    Browse the repository at this point in the history
Loading