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: gpoesia/minimo
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: main
Choose a base ref
...
head repository: MJ10/minimo
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: main
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 11 commits
  • 15 files changed
  • 2 contributors

Commits on Sep 5, 2024

  1. add missing files

    @MJ10
    MJ10 committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    f1e52b8 View commit details
    Browse the repository at this point in the history

Commits on Oct 6, 2024

  1. QoL changes

    @MJ10
    MJ10 committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    f8ba90b View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2024

  1. add logprob recomputation + hardness predictor

    @MJ10
    MJ10 committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    41eb4e2 View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2024

  1. fix merge conflicts

    @MJ10
    MJ10 committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    38807bf View commit details
    Browse the repository at this point in the history

Commits on Mar 1, 2025

  1. Merge branch 'main' of github.com:gpoesia/minimo

    @MJ10
    MJ10 committed Mar 1, 2025
    Configuration menu
    Copy the full SHA
    ef32abd View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2025

  1. added kleene logic problemset to the problems.py

    @michaelrizvi
    michaelrizvi committed Mar 15, 2025
    Configuration menu
    Copy the full SHA
    9e63788 View commit details
    Browse the repository at this point in the history

  2. add testing on external data

    @MJ10
    MJ10 committed Mar 15, 2025
    Configuration menu
    Copy the full SHA
    f1b238d View commit details
    Browse the repository at this point in the history

  3. Merge pull request #1 from michaelrizvi/main 

    added kleene logic problemset to the problems.py
    @MJ10
    MJ10 authored Mar 15, 2025
    Configuration menu
    Copy the full SHA
    adbb171 View commit details
    Browse the repository at this point in the history

Commits on Mar 17, 2025

  1. induction

    @MJ10
    MJ10 committed Mar 17, 2025
    Configuration menu
    Copy the full SHA
    72e5074 View commit details
    Browse the repository at this point in the history

Commits on Mar 25, 2025

  1. Merge branch 'main' of github.com:gpoesia/minimo

    @MJ10
    MJ10 committed Mar 25, 2025
    Configuration menu
    Copy the full SHA
    fbb3300 View commit details
    Browse the repository at this point in the history

Commits on Mar 27, 2025

  1. fix extrinsic problems

    @MJ10
    MJ10 committed Mar 27, 2025
    Configuration menu
    Copy the full SHA
    7f4f23a View commit details
    Browse the repository at this point in the history
Loading