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

Added semantic validation to AbstractArithmeticRule #14

Closed
wants to merge 45 commits into from
Closed

Added semantic validation to AbstractArithmeticRule #14

wants to merge 45 commits into from

Commits on Oct 30, 2016

  1. Added semantic validation to AbstractArithmeticRule matching the sema… 

    …ntics laid out in Steve's journal paper.
    @eriq-augustine
    eriq-augustine committed Oct 30, 2016
    Configuration menu
    Copy the full SHA
    45ac18e View commit details
    Browse the repository at this point in the history

Commits on Nov 5, 2016

  1. Added quoting to string constants.

    @eriq-augustine
    eriq-augustine committed Nov 5, 2016
    Configuration menu
    Copy the full SHA
    343baf4 View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2016

  1. Moved parser from psl-cli to psl-parser (replacing the old parser). 

    Augmented psl-parser with tests, exception on lex/parse error, and the ability to parse a single rule.
    @eriq-augustine
    eriq-augustine committed Nov 6, 2016
    Configuration menu
    Copy the full SHA
    4dcf122 View commit details
    Browse the repository at this point in the history

  2. First run of adding rule string parsing to the Groovy interface.

    @eriq-augustine
    eriq-augustine committed Nov 6, 2016
    Configuration menu
    Copy the full SHA
    7f47015 View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2016

  1. Removed an assert that limits the length of external function params … 

    …to 2.
    @eriq-augustine
    eriq-augustine committed Nov 14, 2016
    Configuration menu
    Copy the full SHA
    9e31102 View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2016

  1. Added testing infrastructure to test non-binary external functions.

    @eriq-augustine
    eriq-augustine committed Nov 15, 2016
    Configuration menu
    Copy the full SHA
    786df36 View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2016

  1. Added tests for the non-binary external functions.

    @eriq-augustine
    eriq-augustine committed Nov 16, 2016
    Configuration menu
    Copy the full SHA
    c0b7195 View commit details
    Browse the repository at this point in the history

  2. Added docs badges to the readme.

    @eriq-augustine
    eriq-augustine committed Nov 16, 2016
    Configuration menu
    Copy the full SHA
    0b4a572 View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2016

  1. Changed wiki links in the README to be relative so they will work pro… 

    …perly with forks.
    @eriq-augustine
    eriq-augustine committed Nov 17, 2016
    Configuration menu
    Copy the full SHA
    b3ddf36 View commit details
    Browse the repository at this point in the history

Commits on Nov 18, 2016

  1. Made toString() for all the different rules types consistent. Added t… 

    …ests and updated existing tests.
    @eriq-augustine
    eriq-augustine committed Nov 18, 2016
    Configuration menu
    Copy the full SHA
    8502f9f View commit details
    Browse the repository at this point in the history

  2. Added initial travis config.

    @eriq-augustine
    eriq-augustine committed Nov 18, 2016
    Configuration menu
    Copy the full SHA
    6f1bcce View commit details
    Browse the repository at this point in the history

  3. Added Travis badges to README.

    @eriq-augustine
    eriq-augustine committed Nov 18, 2016
    Configuration menu
    Copy the full SHA
    2c5c786 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'parser-breakout' into develop

    @eriq-augustine
    eriq-augustine committed Nov 18, 2016
    Configuration menu
    Copy the full SHA
    4a28e6e View commit details
    Browse the repository at this point in the history

  5. Merge branch 'groovy-string-rules' into develop

    @eriq-augustine
    eriq-augustine committed Nov 18, 2016
    Configuration menu
    Copy the full SHA
    a10a9db View commit details
    Browse the repository at this point in the history

  6. Merge branch 'bug-nonbinary-function-args' into develop

    @eriq-augustine
    eriq-augustine committed Nov 18, 2016
    Configuration menu
    Copy the full SHA
    20ca1f9 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'rule-string-format' into develop

    @eriq-augustine
    eriq-augustine committed Nov 18, 2016
    Configuration menu
    Copy the full SHA
    f100770 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'readme' into develop

    @eriq-augustine
    eriq-augustine committed Nov 18, 2016
    Configuration menu
    Copy the full SHA
    54584a1 View commit details
    Browse the repository at this point in the history

  9. Fixed some formatting for the parser tests.

    @eriq-augustine
    eriq-augustine committed Nov 18, 2016
    Configuration menu
    Copy the full SHA
    24952a1 View commit details
    Browse the repository at this point in the history

  10. Database driver does not use server mode automatically, supports opti… 

    …ons for H2 passed separately
    @puuj
    puuj committed Nov 18, 2016
    Configuration menu
    Copy the full SHA
    a4b79fe View commit details
    Browse the repository at this point in the history

  11. Replaced HashList with Apache collections4 ListOrderedSet

    @puuj
    puuj committed Nov 18, 2016
    Configuration menu
    Copy the full SHA
    c1c23f4 View commit details
    Browse the repository at this point in the history

  12. Merge branch 'develop' of github.com:eriq-augustine/psl into develop

    @puuj
    puuj committed Nov 18, 2016
    Configuration menu
    Copy the full SHA
    8273717 View commit details
    Browse the repository at this point in the history

Commits on Nov 19, 2016

  1. Huge linqs.org rename

    @puuj
    puuj committed Nov 19, 2016
    Configuration menu
    Copy the full SHA
    4828d6b View commit details
    Browse the repository at this point in the history

  2. Bug fix for arithmetic rules without any constant numbers.

    @stephenbach
    stephenbach committed Nov 19, 2016
    Configuration menu
    Copy the full SHA
    a12dffa View commit details
    Browse the repository at this point in the history

  3. Arithmetic rules' toString() methods give parseable strings.

    @stephenbach
    stephenbach committed Nov 19, 2016
    Configuration menu
    Copy the full SHA
    e8e7f3e View commit details
    Browse the repository at this point in the history

  4. Changed the logical rule toString to give parsable strings (match the… 

    … arithmetic rules).
    @eriq-augustine
    eriq-augustine committed Nov 19, 2016
    Configuration menu
    Copy the full SHA
    3aa4093 View commit details
    Browse the repository at this point in the history

  5. Updated tests with new string formats.

    @eriq-augustine
    eriq-augustine committed Nov 19, 2016
    Configuration menu
    Copy the full SHA
    a25755b View commit details
    Browse the repository at this point in the history

  6. Removed psl-archetype.

    @eriq-augustine
    eriq-augustine committed Nov 19, 2016
    Configuration menu
    Copy the full SHA
    089f691 View commit details
    Browse the repository at this point in the history

  7. Refactor of evaluation - inference results moved to application.infer… 

    …ence, others in psl-utils repo
    @puuj
    puuj committed Nov 19, 2016
    Configuration menu
    Copy the full SHA
    c09fad5 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'develop' of github.com:eriq-augustine/psl into develop

    @puuj
    puuj committed Nov 19, 2016
    Configuration menu
    Copy the full SHA
    e5a056b View commit details
    Browse the repository at this point in the history

  9. Added support for printing atoms with special predicates.

    @stephenbach
    stephenbach committed Nov 19, 2016
    Configuration menu
    Copy the full SHA
    2069cc1 View commit details
    Browse the repository at this point in the history

  10. Stub for CLI data loading

    @puuj
    puuj committed Nov 19, 2016
    Configuration menu
    Copy the full SHA
    b2681d0 View commit details
    Browse the repository at this point in the history

  11. Remove loading utils

    @puuj
    puuj committed Nov 19, 2016
    Configuration menu
    Copy the full SHA
    a447bc2 View commit details
    Browse the repository at this point in the history

  12. Merge branch 'develop' of github.com:eriq-augustine/psl into develop

    @puuj
    puuj committed Nov 19, 2016
    Configuration menu
    Copy the full SHA
    90d4684 View commit details
    Browse the repository at this point in the history

  13. Fixed some parser tests for new format.

    @eriq-augustine
    eriq-augustine committed Nov 19, 2016
    Configuration menu
    Copy the full SHA
    a6a0bb0 View commit details
    Browse the repository at this point in the history

  14. Updated dependencies.

    @eriq-augustine
    eriq-augustine committed Nov 19, 2016
    Configuration menu
    Copy the full SHA
    8627bdf View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2016

  1. Working on supporting partial rules in the parser.

    @eriq-augustine
    eriq-augustine committed Nov 20, 2016
    Configuration menu
    Copy the full SHA
    17100ae View commit details
    Browse the repository at this point in the history

  2. Broke RulePartial out of ModelLoader.

    @eriq-augustine
    eriq-augustine committed Nov 20, 2016
    Configuration menu
    Copy the full SHA
    3b02a65 View commit details
    Browse the repository at this point in the history

  3. Added support to Groovy for rule partials.

    @eriq-augustine
    eriq-augustine committed Nov 20, 2016
    Configuration menu
    Copy the full SHA
    07099da View commit details
    Browse the repository at this point in the history

  4. Added model.addRules() support in Groovy.

    @eriq-augustine
    eriq-augustine committed Nov 20, 2016
    Configuration menu
    Copy the full SHA
    643c106 View commit details
    Browse the repository at this point in the history

  5. Moved some unused experimental code over to the psl-utils repo.

    @eriq-augustine
    eriq-augustine committed Nov 20, 2016
    Configuration menu
    Copy the full SHA
    d69c758 View commit details
    Browse the repository at this point in the history

  6. Removed RandOM per Steve's request.

    @eriq-augustine
    eriq-augustine committed Nov 20, 2016
    Configuration menu
    Copy the full SHA
    3e9a154 View commit details
    Browse the repository at this point in the history

  7. Moved Mosek to psl-utils.

    @eriq-augustine
    eriq-augustine committed Nov 20, 2016
    Configuration menu
    Copy the full SHA
    609a6be View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2016

  1. Moved utils and experimental out

    @puuj
    puuj committed Nov 22, 2016
    Configuration menu
    Copy the full SHA
    6a836b4 View commit details
    Browse the repository at this point in the history

  2. Update launcher with new Queries location

    @puuj
    puuj committed Nov 22, 2016
    Configuration menu
    Copy the full SHA
    3243af1 View commit details
    Browse the repository at this point in the history

  3. Remove optimizer

    @puuj
    puuj committed Nov 22, 2016
    Configuration menu
    Copy the full SHA
    d0e00ef View commit details
    Browse the repository at this point in the history