Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add option to compare results across tools #395

Draft
wants to merge 7 commits into
base: master
Choose a base branch
from

Commits on Nov 18, 2020

  1. Configuration menu
    Copy the full SHA
    970954b View commit details
    Browse the repository at this point in the history
  2. Move default dir_ref and folder creation

    This needs to happen after setting the library root, not in init. For #393
    marcusfuchs committed Nov 18, 2020
    Configuration menu
    Copy the full SHA
    707869c View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    0cc6b95 View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2020

  1. Configuration menu
    Copy the full SHA
    f41a5ac View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    351ac59 View commit details
    Browse the repository at this point in the history
  3. Addressed base case

    mwetter committed Nov 20, 2020
    Configuration menu
    Copy the full SHA
    6c9bc38 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    aaa567c View commit details
    Browse the repository at this point in the history