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

Adding all AST nodes for FOL; adding formatting for TPTP; adding formatting and parsing for spec language #9

Merged
merged 21 commits into from
Aug 4, 2023
Merged

Adding all AST nodes for FOL; adding formatting for TPTP; adding formatting and parsing for spec language #9

merged 21 commits into from
Aug 4, 2023

Commits on Aug 3, 2023

  1. Add everything up to formulas to the FOL syntax tree 

    This includes some parsers as well.
    @teiesti
    teiesti committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    6b6a94b View commit details
    Browse the repository at this point in the history

  2. Adding tests to AtomicFormulaParser

    @ZachJHansen
    ZachJHansen committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    f573fce View commit details
    Browse the repository at this point in the history

  3. Adding formatting for several FOL AST nodes

    @ZachJHansen
    ZachJHansen committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    f7f1888 View commit details
    Browse the repository at this point in the history

  4. Adding formatter tests for general terms

    @ZachJHansen
    ZachJHansen committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    7e1cff5 View commit details
    Browse the repository at this point in the history

  5. Write the parser for FOL formulas

    @teiesti
    teiesti committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    b2b87d7 View commit details
    Browse the repository at this point in the history

  6. Adding formatters, formatter tests to FOL AST

    @ZachJHansen
    ZachJHansen committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    dcaad3d View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2023

  1. Changing implication, etc. from => to ->

    @ZachJHansen
    ZachJHansen committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    faf97e7 View commit details
    Browse the repository at this point in the history

  2. Add FOL parsing tests

    @ZachJHansen
    ZachJHansen committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    036c052 View commit details
    Browse the repository at this point in the history

  3. Adding TPTP formatting, tests for BasicIntegerTerms, IntegerTerms

    @ZachJHansen
    ZachJHansen committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    1ec9ae2 View commit details
    Browse the repository at this point in the history

  4. Adding atoms, general terms, tests to TPTP formatting

    @ZachJHansen
    ZachJHansen committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    78fcdff View commit details
    Browse the repository at this point in the history

  5. Bugfix: Replace &**arg with arg.as_ref()

    @teiesti
    teiesti committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    0afde40 View commit details
    Browse the repository at this point in the history

  6. Implement default formatting for formulas

    @teiesti
    teiesti committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    ef0697c View commit details
    Browse the repository at this point in the history

  7. Adding formatting, tests for TPTP - up to formulas (wip)

    @ZachJHansen
    ZachJHansen committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    e88f096 View commit details
    Browse the repository at this point in the history

  8. cargo fmt

    @teiesti
    teiesti committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    4bb3266 View commit details
    Browse the repository at this point in the history

  9. Remove unnecessary import

    @teiesti
    teiesti committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    91346ec View commit details
    Browse the repository at this point in the history

  10. Remove an unnecessary TODO

    @teiesti
    teiesti committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    cc77169 View commit details
    Browse the repository at this point in the history

  11. Panic when trying to format reverse implication in TPTP

    @teiesti
    teiesti committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    90895ae View commit details
    Browse the repository at this point in the history

  12. Bugfix

    @teiesti
    teiesti committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    3d75fdc View commit details
    Browse the repository at this point in the history

  13. Remove unnecessary precedence parsing

    @teiesti
    teiesti committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    717ad55 View commit details
    Browse the repository at this point in the history

  14. Fix precedence parsing for Formulas

    @teiesti
    teiesti committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    1a53818 View commit details
    Browse the repository at this point in the history

  15. Make clippy happy

    @teiesti
    teiesti committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    4ce2c09 View commit details
    Browse the repository at this point in the history