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.

Sign up for GitHub

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

Jump to bottom

Rust Checkerlib #64

Open
wants to merge 4 commits into
base: master
Choose a base branch
from
Open

Rust Checkerlib #64

wants to merge 4 commits into from

Commits on Dec 15, 2020

  1. Rust Checkerlib

    @siccegge
    siccegge committed Dec 15, 2020
    Configuration menu
    Copy the full SHA
    606a05b View commit details
    Browse the repository at this point in the history

Commits on Dec 19, 2020

  1. implement logging

    @siccegge
    siccegge committed Dec 19, 2020
    Configuration menu
    Copy the full SHA
    78c074b View commit details
    Browse the repository at this point in the history

  2. trivialchecker simplification

    @siccegge
    siccegge committed Dec 19, 2020
    Configuration menu
    Copy the full SHA
    d4503e2 View commit details
    Browse the repository at this point in the history

  3. properly set loglevel

    @siccegge
    siccegge committed Dec 19, 2020
    Configuration menu
    Copy the full SHA
    688b395 View commit details
    Browse the repository at this point in the history