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

Introduce a :Subsolver debug symbol and a DebugWhenActive #285

Merged
merged 10 commits into from
Aug 14, 2023

Commits on Aug 11, 2023

  1. Sketch a :Subsolver debug keyword that activates subsolver debug only…

    …, when parent is active.
    kellertuer committed Aug 11, 2023
    Configuration menu
    Copy the full SHA
    bdf612b View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2023

  1. Configuration menu
    Copy the full SHA
    d1995b1 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    a74e930 View commit details
    Browse the repository at this point in the history
  3. Test Coverage II

    kellertuer committed Aug 12, 2023
    Configuration menu
    Copy the full SHA
    8a2e027 View commit details
    Browse the repository at this point in the history
  4. Finish the tutorial.

    kellertuer committed Aug 12, 2023
    Configuration menu
    Copy the full SHA
    2b5087d View commit details
    Browse the repository at this point in the history
  5. runs formatter.

    kellertuer committed Aug 12, 2023
    Configuration menu
    Copy the full SHA
    0385ee7 View commit details
    Browse the repository at this point in the history
  6. Fix a test.

    kellertuer committed Aug 12, 2023
    Configuration menu
    Copy the full SHA
    9e7acb0 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    3442bd0 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    f500b1a View commit details
    Browse the repository at this point in the history

Commits on Aug 13, 2023

  1. Since the bnew version first has to be registered, we have to submit …

    …this one pre-rendered for now
    kellertuer committed Aug 13, 2023
    Configuration menu
    Copy the full SHA
    8bb6d08 View commit details
    Browse the repository at this point in the history