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: webyrd/mediKanren
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: webyrd/mediKanren
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: advanced-scoring
Choose a head ref
Can’t automatically merge. Don’t worry, you can still create the pull request.
  • 7 commits
  • 3 files changed
  • 3 contributors

Commits on May 30, 2023

  1. Copy the full SHA
    09f5ac0 View commit details
  2. Merge pull request #106 from NavyaRamakrishnan/low_memory

    configuration for low memory
    webyrd authored May 30, 2023

    Verified

    This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
    Copy the full SHA
    7c277f3 View commit details
  3. Copy the full SHA
    624da54 View commit details

Commits on Jun 1, 2023

  1. Enable Robokop

    NavyaRamakrishnan committed Jun 1, 2023
    Copy the full SHA
    b2d402d View commit details
  2. Merge pull request #107 from NavyaRamakrishnan/enable-robokop

    Enable Robokop
    namin authored Jun 1, 2023

    Verified

    This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
    Copy the full SHA
    9115eb1 View commit details
  3. Copy the full SHA
    664a225 View commit details
  4. added examples

    webyrd committed Jun 1, 2023
    Copy the full SHA
    cd02cd4 View commit details
Loading