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: joshuacrotts/formal-logic-aiding-tutor
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 1.0
Choose a base ref
...
head repository: joshuacrotts/formal-logic-aiding-tutor
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: main
Choose a head ref
  • 15 commits
  • 221 files changed
  • 3 contributors

Commits on Aug 9, 2021

  1. Updated README once more.

    Joshua Crotts committed Aug 9, 2021
    Configuration menu
    Copy the full SHA
    4329621 View commit details
    Browse the repository at this point in the history

  2. Updated README once more.

    Joshua Crotts committed Aug 9, 2021
    Configuration menu
    Copy the full SHA
    494f342 View commit details
    Browse the repository at this point in the history

  3. Added executable jar.

    Joshua Crotts committed Aug 9, 2021
    Configuration menu
    Copy the full SHA
    15fd3c8 View commit details
    Browse the repository at this point in the history

  4. Added jar.

    Joshua Crotts committed Aug 9, 2021
    Configuration menu
    Copy the full SHA
    da0f190 View commit details
    Browse the repository at this point in the history

  5. Modified README

    Joshua Crotts committed Aug 9, 2021
    Configuration menu
    Copy the full SHA
    2437ead View commit details
    Browse the repository at this point in the history

  6. Modified README

    Joshua Crotts committed Aug 9, 2021
    Configuration menu
    Copy the full SHA
    f753998 View commit details
    Browse the repository at this point in the history

Commits on Dec 30, 2021

  1. Fixed transposition bug not including other transposition equivalence.

    Joshua Crotts committed Dec 30, 2021
    Configuration menu
    Copy the full SHA
    c62cc07 View commit details
    Browse the repository at this point in the history

  2. Fixed bug with infinite test case with quantified transposition rule … 

    …in ND.
    Joshua Crotts committed Dec 30, 2021
    Configuration menu
    Copy the full SHA
    be23c4c View commit details
    Browse the repository at this point in the history

  3. Removed DS_Store.

    Joshua Crotts committed Dec 30, 2021
    Configuration menu
    Copy the full SHA
    089c426 View commit details
    Browse the repository at this point in the history

Commits on Jul 2, 2022

  1. Added workaround for CD and DD rules in ND - uses parent node to solv… 

    …e instead of children.
    @joshuacrotts
    joshuacrotts committed Jul 2, 2022
    Configuration menu
    Copy the full SHA
    63ee0fb View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2022

  1. Fixed parse tree StackOverflow exception.

    @joshuacrotts
    joshuacrotts committed Jul 3, 2022
    Configuration menu
    Copy the full SHA
    2ed9424 View commit details
    Browse the repository at this point in the history

  2. Removed superfluous println() statements.

    @joshuacrotts
    joshuacrotts committed Jul 3, 2022
    Configuration menu
    Copy the full SHA
    ffc3ebf View commit details
    Browse the repository at this point in the history

Commits on Jul 5, 2022

  1. Update README.md

    @joshuacrotts
    joshuacrotts authored Jul 5, 2022
    Configuration menu
    Copy the full SHA
    4f75a98 View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2022

  1. Migrated project to Java 18. Fixed Maven issues. Should compile corre… 

    …ctly now.
    Joshua Crotts authored and Joshua Crotts committed Aug 19, 2022
    Configuration menu
    Copy the full SHA
    c35e1e3 View commit details
    Browse the repository at this point in the history

  2. Fixed tests with maven and surefire.

    Joshua Crotts authored and Joshua Crotts committed Aug 19, 2022
    Configuration menu
    Copy the full SHA
    000f7c0 View commit details
    Browse the repository at this point in the history
Loading