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

Zach/integrate tau star #37

Closed
wants to merge 18 commits into from
Closed

Zach/integrate tau star #37

wants to merge 18 commits into from

Commits on Nov 28, 2023

  1. Adding predicates helper functions to ASP AST

    @ZachJHansen
    ZachJHansen committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    f01cbb6 View commit details
    Browse the repository at this point in the history

  2. Adding Predicate node to ASP AST

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

  3. Adding Predicate node to fol AST

    @ZachJHansen
    ZachJHansen committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    acd258f View commit details
    Browse the repository at this point in the history

  4. Removing temp file

    @ZachJHansen
    ZachJHansen committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    03598e9 View commit details
    Browse the repository at this point in the history

  5. Fixing clippy

    @ZachJHansen
    ZachJHansen committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    a248b26 View commit details
    Browse the repository at this point in the history

  6. Adding translating module with wip tau*

    @ZachJHansen
    ZachJHansen committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    54ab0ff View commit details
    Browse the repository at this point in the history

  7. Adding conjoin/disjoin helper functions to tau*

    @ZachJHansen
    ZachJHansen committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    377a50d View commit details
    Browse the repository at this point in the history

  8. Adding equality formula construction function

    @ZachJHansen
    ZachJHansen committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    dbec68d View commit details
    Browse the repository at this point in the history

  9. Adding total function formula construction function

    @ZachJHansen
    ZachJHansen committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    e1104d1 View commit details
    Browse the repository at this point in the history

  10. Adding val function and remaining helper functions

    @ZachJHansen
    ZachJHansen committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    9ce0216 View commit details
    Browse the repository at this point in the history

  11. Adding val tests to tau*

    @ZachJHansen
    ZachJHansen committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    ec99516 View commit details
    Browse the repository at this point in the history

  12. Adding taub and associated tests

    @ZachJHansen
    ZachJHansen committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    2e0baf9 View commit details
    Browse the repository at this point in the history

  13. Debugging and cleaning up

    @ZachJHansen
    ZachJHansen committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    db9a191 View commit details
    Browse the repository at this point in the history

  14. Adding taub, associated helper functions, and tests

    @ZachJHansen
    ZachJHansen committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    21c9449 View commit details
    Browse the repository at this point in the history

  15. Adding remaining tau* functions

    @ZachJHansen
    ZachJHansen committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    9efee61 View commit details
    Browse the repository at this point in the history

  16. Sorting variables alphabetically during formatting of FOL quantificat… 

    …ions
    @ZachJHansen
    ZachJHansen committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    69f53ac View commit details
    Browse the repository at this point in the history

  17. Adding completion and corresponding tests

    @ZachJHansen
    ZachJHansen committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    300a435 View commit details
    Browse the repository at this point in the history

  18. Adding tests for completion

    @ZachJHansen
    ZachJHansen committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    1aa3433 View commit details
    Browse the repository at this point in the history