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

Reliances #196

Open
wants to merge 223 commits into
base: master
Choose a base branch
from
Open

Reliances #196

wants to merge 223 commits into from

Commits on May 20, 2020

  1. add new module to pom

    @larry-gonzalez
    larry-gonzalez committed May 20, 2020
    Configuration menu
    Copy the full SHA
    32943fb View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into positive-dependency

    @larry-gonzalez
    larry-gonzalez committed May 20, 2020
    Configuration menu
    Copy the full SHA
    a1f2fed View commit details
    Browse the repository at this point in the history

Commits on May 25, 2020

  1. Merge branch 'master' into positive-dependency

    @larry-gonzalez
    larry-gonzalez committed May 25, 2020
    Configuration menu
    Copy the full SHA
    3686677 View commit details
    Browse the repository at this point in the history

Commits on May 27, 2020

  1. initial commit on reliances

    @larry-gonzalez
    larry-gonzalez committed May 27, 2020
    Configuration menu
    Copy the full SHA
    2331438 View commit details
    Browse the repository at this point in the history

Commits on May 31, 2020

  1. use expressions instead of impl.

    @larry-gonzalez
    larry-gonzalez committed May 31, 2020
    Configuration menu
    Copy the full SHA
    4222348 View commit details
    Browse the repository at this point in the history

  2. add instantiator class

    @larry-gonzalez
    larry-gonzalez committed May 31, 2020
    Configuration menu
    Copy the full SHA
    fea8672 View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2020

  1. datasets

    @larry-gonzalez
    larry-gonzalez committed Jul 21, 2020
    Configuration menu
    Copy the full SHA
    ca40f06 View commit details
    Browse the repository at this point in the history

  2. first runable code

    @larry-gonzalez
    larry-gonzalez committed Jul 21, 2020
    Configuration menu
    Copy the full SHA
    563137a View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2020

  1. bug fix; add run experiments and kb transformer

    @larry-gonzalez
    larry-gonzalez committed Jul 29, 2020
    Configuration menu
    Copy the full SHA
    be8fa02 View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2020

  1. add graph class

    @larry-gonzalez
    larry-gonzalez committed Aug 21, 2020
    Configuration menu
    Copy the full SHA
    0b4b72d View commit details
    Browse the repository at this point in the history

  2. add test03

    @larry-gonzalez
    larry-gonzalez committed Aug 21, 2020
    Configuration menu
    Copy the full SHA
    9e81b3d View commit details
    Browse the repository at this point in the history

  3. debugging

    @larry-gonzalez
    larry-gonzalez committed Aug 21, 2020
    Configuration menu
    Copy the full SHA
    a00387c View commit details
    Browse the repository at this point in the history

  4. code for experiments

    @larry-gonzalez
    larry-gonzalez committed Aug 21, 2020
    Configuration menu
    Copy the full SHA
    639da92 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into positive-dependency

    @larry-gonzalez
    larry-gonzalez committed Aug 21, 2020
    Configuration menu
    Copy the full SHA
    10ac8c1 View commit details
    Browse the repository at this point in the history

  6. add getLiteral methods

    @larry-gonzalez
    larry-gonzalez committed Aug 21, 2020
    Configuration menu
    Copy the full SHA
    f92fc2b View commit details
    Browse the repository at this point in the history

  7. add getLiterals methods to rule api

    @larry-gonzalez
    larry-gonzalez committed Aug 21, 2020
    Configuration menu
    Copy the full SHA
    96a8838 View commit details
    Browse the repository at this point in the history

  8. replace ArrayList with List

    @larry-gonzalez
    larry-gonzalez committed Aug 21, 2020
    Configuration menu
    Copy the full SHA
    e80d139 View commit details
    Browse the repository at this point in the history

  9. delete unused imports

    @larry-gonzalez
    larry-gonzalez committed Aug 21, 2020
    Configuration menu
    Copy the full SHA
    b34179c View commit details
    Browse the repository at this point in the history

  10. rename methods

    @larry-gonzalez
    larry-gonzalez committed Aug 21, 2020
    Configuration menu
    Copy the full SHA
    829985b View commit details
    Browse the repository at this point in the history

  11. add missing condition; rename variables; update tests

    @larry-gonzalez
    larry-gonzalez committed Aug 21, 2020
    Configuration menu
    Copy the full SHA
    15cbc5d View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2020

  1. d

    @larry-gonzalez
    larry-gonzalez committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    4205995 View commit details
    Browse the repository at this point in the history

Commits on Aug 27, 2020

  1. add chain experiment

    @larry-gonzalez
    larry-gonzalez committed Aug 27, 2020
    Configuration menu
    Copy the full SHA
    c0af190 View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2020

  1. merge master into positive-dependency; fix merge conflict

    @larry-gonzalez
    larry-gonzalez committed Sep 14, 2020
    Configuration menu
    Copy the full SHA
    c6c3704 View commit details
    Browse the repository at this point in the history

  2. fix merge conflict

    @larry-gonzalez
    larry-gonzalez committed Sep 14, 2020
    Configuration menu
    Copy the full SHA
    5679f1a View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2020

  1. fix pom version

    @larry-gonzalez
    larry-gonzalez committed Sep 15, 2020
    Configuration menu
    Copy the full SHA
    85dc2fd View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2020

  1. Merge branch 'master' into positive-dependency

    @larry-gonzalez
    larry-gonzalez committed Sep 25, 2020
    Configuration menu
    Copy the full SHA
    59a8b9c View commit details
    Browse the repository at this point in the history

Commits on Sep 29, 2020

  1. auoformating

    @larry-gonzalez
    larry-gonzalez committed Sep 29, 2020
    Configuration menu
    Copy the full SHA
    b0980df View commit details
    Browse the repository at this point in the history

  2. ordering input data files

    @larry-gonzalez
    larry-gonzalez committed Sep 29, 2020
    Configuration menu
    Copy the full SHA
    8afb6f7 View commit details
    Browse the repository at this point in the history

  3. ordering data

    @larry-gonzalez
    larry-gonzalez committed Sep 29, 2020
    Configuration menu
    Copy the full SHA
    3060907 View commit details
    Browse the repository at this point in the history

  4. formating

    @larry-gonzalez
    larry-gonzalez committed Sep 29, 2020
    Configuration menu
    Copy the full SHA
    c346fa7 View commit details
    Browse the repository at this point in the history

  5. fix name error

    @larry-gonzalez
    larry-gonzalez committed Sep 29, 2020
    Configuration menu
    Copy the full SHA
    6f0be8f View commit details
    Browse the repository at this point in the history

  6. ordering

    @larry-gonzalez
    larry-gonzalez committed Sep 29, 2020
    Configuration menu
    Copy the full SHA
    b1ed97a View commit details
    Browse the repository at this point in the history

  7. rename files

    @larry-gonzalez
    larry-gonzalez committed Sep 29, 2020
    Configuration menu
    Copy the full SHA
    4b68ade View commit details
    Browse the repository at this point in the history

  8. add import

    @larry-gonzalez
    larry-gonzalez committed Sep 29, 2020
    Configuration menu
    Copy the full SHA
    8207af1 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'master' into reliances

    @larry-gonzalez
    larry-gonzalez committed Sep 29, 2020
    Configuration menu
    Copy the full SHA
    8f67434 View commit details
    Browse the repository at this point in the history

  10. add class

    @larry-gonzalez
    larry-gonzalez committed Sep 29, 2020
    Configuration menu
    Copy the full SHA
    dc8fec2 View commit details
    Browse the repository at this point in the history

Commits on Oct 1, 2020

  1. Merge branch 'master' into reliances

    @larry-gonzalez
    larry-gonzalez committed Oct 1, 2020
    Configuration menu
    Copy the full SHA
    7195a3b View commit details
    Browse the repository at this point in the history

Commits on Nov 12, 2020

  1. add javadoc; rename parameter

    @larry-gonzalez
    larry-gonzalez committed Nov 12, 2020
    Configuration menu
    Copy the full SHA
    32eb217 View commit details
    Browse the repository at this point in the history

  2. add test for Restraint

    @larry-gonzalez
    larry-gonzalez committed Nov 12, 2020
    Configuration menu
    Copy the full SHA
    2146547 View commit details
    Browse the repository at this point in the history

  3. use auto formatting; add TODO note

    @larry-gonzalez
    larry-gonzalez committed Nov 12, 2020
    Configuration menu
    Copy the full SHA
    70e3c53 View commit details
    Browse the repository at this point in the history

  4. improve java doc

    @larry-gonzalez
    larry-gonzalez committed Nov 12, 2020
    Configuration menu
    Copy the full SHA
    5b08de6 View commit details
    Browse the repository at this point in the history

Commits on Nov 25, 2020

  1. Merge branch 'master' of https://bitbucket.org/larryjgonzalez/rulewerk … 

    …into reliances
    @larry-gonzalez
    larry-gonzalez committed Nov 25, 2020
    Configuration menu
    Copy the full SHA
    c837719 View commit details
    Browse the repository at this point in the history

  2. add tests

    @larry-gonzalez
    larry-gonzalez committed Nov 25, 2020
    Configuration menu
    Copy the full SHA
    ca399e5 View commit details
    Browse the repository at this point in the history

  3. Larry loves Sara Al Nassir

    @larry-gonzalez
    larry-gonzalez committed Nov 25, 2020
    Configuration menu
    Copy the full SHA
    927a7ac View commit details
    Browse the repository at this point in the history

  4. Merge branch 'reliances' of https://github.com/knowsys/rulewerk into … 

    …reliances
    @larry-gonzalez
    larry-gonzalez committed Nov 25, 2020
    Configuration menu
    Copy the full SHA
    dfa2e04 View commit details
    Browse the repository at this point in the history

Commits on Nov 26, 2020

  1. Merge branch 'reliances' of https://github.com/knowsys/rulewerk into … 

    …reliances
    @larry-gonzalez
    larry-gonzalez committed Nov 26, 2020
    Configuration menu
    Copy the full SHA
    37d0945 View commit details
    Browse the repository at this point in the history

  2. add tests

    @larry-gonzalez
    larry-gonzalez committed Nov 26, 2020
    Configuration menu
    Copy the full SHA
    59e2c78 View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2020

  1. rename function

    @larry-gonzalez
    larry-gonzalez committed Dec 1, 2020
    Configuration menu
    Copy the full SHA
    602d6f1 View commit details
    Browse the repository at this point in the history

  2. rename Iterator class; use auto-indent

    @larry-gonzalez
    larry-gonzalez committed Dec 1, 2020
    Configuration menu
    Copy the full SHA
    5bb122b View commit details
    Browse the repository at this point in the history

  3. use utilities from Array to print containers

    @larry-gonzalez
    larry-gonzalez committed Dec 1, 2020
    Configuration menu
    Copy the full SHA
    ef86d38 View commit details
    Browse the repository at this point in the history

  4. remove import warning

    @larry-gonzalez
    larry-gonzalez committed Dec 1, 2020
    Configuration menu
    Copy the full SHA
    a5d6ae0 View commit details
    Browse the repository at this point in the history

  5. use better names

    @larry-gonzalez
    larry-gonzalez committed Dec 1, 2020
    Configuration menu
    Copy the full SHA
    d4a6752 View commit details
    Browse the repository at this point in the history

Commits on Dec 2, 2020

  1. use utility function to print array of ints

    @larry-gonzalez
    larry-gonzalez committed Dec 2, 2020
    Configuration menu
    Copy the full SHA
    18a934f View commit details
    Browse the repository at this point in the history

  2. rename unifier class

    @larry-gonzalez
    larry-gonzalez committed Dec 2, 2020
    Configuration menu
    Copy the full SHA
    fd33e6c View commit details
    Browse the repository at this point in the history

  3. add Assignment class; rename some methods; better codding of iterators

    @larry-gonzalez
    larry-gonzalez committed Dec 2, 2020
    Configuration menu
    Copy the full SHA
    c03cc54 View commit details
    Browse the repository at this point in the history

  4. use better names

    @larry-gonzalez
    larry-gonzalez committed Dec 2, 2020
    Configuration menu
    Copy the full SHA
    fc76c6b View commit details
    Browse the repository at this point in the history

  5. create class Match; use Match class in Assignment

    @larry-gonzalez
    larry-gonzalez committed Dec 2, 2020
    Configuration menu
    Copy the full SHA
    c7f0d68 View commit details
    Browse the repository at this point in the history

  6. add documentation; improve attribute names

    @larry-gonzalez
    larry-gonzalez committed Dec 2, 2020
    Configuration menu
    Copy the full SHA
    c1d387a View commit details
    Browse the repository at this point in the history

  7. use better names

    @larry-gonzalez
    larry-gonzalez committed Dec 2, 2020
    Configuration menu
    Copy the full SHA
    eac6f78 View commit details
    Browse the repository at this point in the history

  8. improve martelli montanari unifier algorithm; use better names; split… 

    … variableRenamer classes
    @larry-gonzalez
    larry-gonzalez committed Dec 2, 2020
    Configuration menu
    Copy the full SHA
    eaad1d7 View commit details
    Browse the repository at this point in the history

  9. add option to rename only universal vars

    @larry-gonzalez
    larry-gonzalez committed Dec 2, 2020
    Configuration menu
    Copy the full SHA
    cfd673a View commit details
    Browse the repository at this point in the history

  10. improve toString method

    @larry-gonzalez
    larry-gonzalez committed Dec 2, 2020
    Configuration menu
    Copy the full SHA
    096fb73 View commit details
    Browse the repository at this point in the history

  11. supress warning

    @larry-gonzalez
    larry-gonzalez committed Dec 2, 2020
    Configuration menu
    Copy the full SHA
    37ff605 View commit details
    Browse the repository at this point in the history

  12. improve toString method

    @larry-gonzalez
    larry-gonzalez committed Dec 2, 2020
    Configuration menu
    Copy the full SHA
    e09dd9e View commit details
    Browse the repository at this point in the history

  13. improve variable names

    @larry-gonzalez
    larry-gonzalez committed Dec 2, 2020
    Configuration menu
    Copy the full SHA
    7768bf9 View commit details
    Browse the repository at this point in the history

  14. improve variable names

    @larry-gonzalez
    larry-gonzalez committed Dec 2, 2020
    Configuration menu
    Copy the full SHA
    0d6614a View commit details
    Browse the repository at this point in the history

  15. fix name error

    @larry-gonzalez
    larry-gonzalez committed Dec 2, 2020
    Configuration menu
    Copy the full SHA
    8007199 View commit details
    Browse the repository at this point in the history

Commits on Dec 3, 2020

  1. add javadoc

    @larry-gonzalez
    larry-gonzalez committed Dec 3, 2020
    Configuration menu
    Copy the full SHA
    eb5763a View commit details
    Browse the repository at this point in the history

  2. simplification of the unifier algorithm;

    @larry-gonzalez
    larry-gonzalez committed Dec 3, 2020
    Configuration menu
    Copy the full SHA
    5532243 View commit details
    Browse the repository at this point in the history

  3. simplification of new variable names

    @larry-gonzalez
    larry-gonzalez committed Dec 3, 2020
    Configuration menu
    Copy the full SHA
    6d4af0d View commit details
    Browse the repository at this point in the history

  4. improve names

    @larry-gonzalez
    larry-gonzalez committed Dec 3, 2020
    Configuration menu
    Copy the full SHA
    d582779 View commit details
    Browse the repository at this point in the history

  5. use new method name

    @larry-gonzalez
    larry-gonzalez committed Dec 3, 2020
    Configuration menu
    Copy the full SHA
    739693c View commit details
    Browse the repository at this point in the history

  6. add simple implementation of a BCQ

    @larry-gonzalez
    larry-gonzalez committed Dec 3, 2020
    Configuration menu
    Copy the full SHA
    e6dec7b View commit details
    Browse the repository at this point in the history

  7. add class to compute self restraining relation

    @larry-gonzalez
    larry-gonzalez committed Dec 3, 2020
    Configuration menu
    Copy the full SHA
    e15f0a0 View commit details
    Browse the repository at this point in the history

  8. add method for SBCQ

    @larry-gonzalez
    larry-gonzalez committed Dec 3, 2020
    Configuration menu
    Copy the full SHA
    1e4923d View commit details
    Browse the repository at this point in the history

  9. remove duplicated tests; fix test errors; use better names

    @larry-gonzalez
    larry-gonzalez committed Dec 3, 2020
    Configuration menu
    Copy the full SHA
    c242f45 View commit details
    Browse the repository at this point in the history

  10. comment printlns

    @larry-gonzalez
    larry-gonzalez committed Dec 3, 2020
    Configuration menu
    Copy the full SHA
    94cd016 View commit details
    Browse the repository at this point in the history

  11. add implementation of restraint relation

    @larry-gonzalez
    larry-gonzalez committed Dec 3, 2020
    Configuration menu
    Copy the full SHA
    ac3a508 View commit details
    Browse the repository at this point in the history

  12. add license headers

    @larry-gonzalez
    larry-gonzalez committed Dec 3, 2020
    Configuration menu
    Copy the full SHA
    6a77f19 View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2020

  1. use autoformatting

    @larry-gonzalez
    larry-gonzalez committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    9337f44 View commit details
    Browse the repository at this point in the history

  2. ordering; add javadoc

    @larry-gonzalez
    larry-gonzalez committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    bd1a647 View commit details
    Browse the repository at this point in the history

  3. use {@code splitter} instead of string

    @larry-gonzalez
    larry-gonzalez committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    a12c798 View commit details
    Browse the repository at this point in the history

  4. add missing case; comment two failing tests; fix test

    @larry-gonzalez
    larry-gonzalez committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    4aaba10 View commit details
    Browse the repository at this point in the history

  5. add missing functionality

    @larry-gonzalez
    larry-gonzalez committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    160b266 View commit details
    Browse the repository at this point in the history

  6. cleanning code

    @larry-gonzalez
    larry-gonzalez committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    1a44164 View commit details
    Browse the repository at this point in the history

  7. use autoformating

    @larry-gonzalez
    larry-gonzalez committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    b9e1a5a View commit details
    Browse the repository at this point in the history

  8. use autoformating

    @larry-gonzalez
    larry-gonzalez committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    8fb5992 View commit details
    Browse the repository at this point in the history

  9. add class Piece to core; add new module rulewerk-utils

    @larry-gonzalez
    larry-gonzalez committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    83b00db View commit details
    Browse the repository at this point in the history

  10. remove module rulewerk-utils; create package inside core with its fun… 

    …ctionality
    @larry-gonzalez
    larry-gonzalez committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    55b824e View commit details
    Browse the repository at this point in the history

  11. improve {@code RuleImplTest}

    @larry-gonzalez
    larry-gonzalez committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    f43f41a View commit details
    Browse the repository at this point in the history

  12. add single test for getPieces

    @larry-gonzalez
    larry-gonzalez committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    6d1c658 View commit details
    Browse the repository at this point in the history

  13. remove print; add test

    @larry-gonzalez
    larry-gonzalez committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    c114258 View commit details
    Browse the repository at this point in the history

  14. getPieces return set of pieces instead of list

    @larry-gonzalez
    larry-gonzalez committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    25c432a View commit details
    Browse the repository at this point in the history

  15. bug fix: reachable nodes include starting node

    @larry-gonzalez
    larry-gonzalez committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    142219a View commit details
    Browse the repository at this point in the history

  16. add tests

    @larry-gonzalez
    larry-gonzalez committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    4cea656 View commit details
    Browse the repository at this point in the history

  17. remove print

    @larry-gonzalez
    larry-gonzalez committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    4749ac5 View commit details
    Browse the repository at this point in the history

  18. remove print

    @larry-gonzalez
    larry-gonzalez committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    18f6806 View commit details
    Browse the repository at this point in the history

Commits on Dec 7, 2020

  1. merge pieces into reliances

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    3b03c01 View commit details
    Browse the repository at this point in the history

  2. add SelfRestraintTest

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    d7a2b0e View commit details
    Browse the repository at this point in the history

  3. fixing merge

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    7f6575d View commit details
    Browse the repository at this point in the history

  4. add initial cases

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    ef55f5f View commit details
    Browse the repository at this point in the history

  5. implement code for detecting unconnected pieces

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    48bceb3 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'pieces' into reliances

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    771d0b1 View commit details
    Browse the repository at this point in the history

  7. add initial case; drop prints; add TODOs

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    f3a288c View commit details
    Browse the repository at this point in the history

  8. bug fix: condition for datalog rule; remove prints; add TODOs

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    885abff View commit details
    Browse the repository at this point in the history

  9. ordering tests

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    964edbd View commit details
    Browse the repository at this point in the history

  10. code implementation for rule restraining relation

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    ba326a3 View commit details
    Browse the repository at this point in the history

  11. add TODO

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    85b74de View commit details
    Browse the repository at this point in the history

  12. refactoring

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    d62a47c View commit details
    Browse the repository at this point in the history

  13. add new constructor

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    035a1b1 View commit details
    Browse the repository at this point in the history

  14. add new filter

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    2187d36 View commit details
    Browse the repository at this point in the history

  15. refactoring

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    77050e2 View commit details
    Browse the repository at this point in the history

  16. remove print

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    059e7b4 View commit details
    Browse the repository at this point in the history

  17. add tests; fix test error

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    0f84e6e View commit details
    Browse the repository at this point in the history

  18. add new functional code

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    abcdb54 View commit details
    Browse the repository at this point in the history

  19. add helper class

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    4ecd58b View commit details
    Browse the repository at this point in the history

  20. fix test

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    4885330 View commit details
    Browse the repository at this point in the history

  21. add licence header

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    40c391f View commit details
    Browse the repository at this point in the history

  22. add licence header

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    39dc238 View commit details
    Browse the repository at this point in the history

  23. add licence header

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    48bb1d6 View commit details
    Browse the repository at this point in the history

  24. move code for experiments into another branch

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    e2d20a0 View commit details
    Browse the repository at this point in the history

  25. code refactoring

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    d11e1d7 View commit details
    Browse the repository at this point in the history

  26. add rulewerk-reliances dependency into coverage module

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    6b234b1 View commit details
    Browse the repository at this point in the history

  27. spacing

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    1574d5d View commit details
    Browse the repository at this point in the history

  28. rename tests

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    71de944 View commit details
    Browse the repository at this point in the history

  29. implement order preserving in getPieces; use collector functionality

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    2b96f18 View commit details
    Browse the repository at this point in the history

  30. fix spacing

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    1f11bfc View commit details
    Browse the repository at this point in the history

  31. Merge branch 'pieces' into reliances

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    f876465 View commit details
    Browse the repository at this point in the history

  32. code factoring

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    0ed0131 View commit details
    Browse the repository at this point in the history

  33. delete unused method; code simplification

    @larry-gonzalez
    larry-gonzalez committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    40ab552 View commit details
    Browse the repository at this point in the history

Commits on Dec 8, 2020

  1. code factorization

    @larry-gonzalez
    larry-gonzalez committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    3ace853 View commit details
    Browse the repository at this point in the history

  2. remove comments

    @larry-gonzalez
    larry-gonzalez committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    21425ca View commit details
    Browse the repository at this point in the history

  3. add javadoc; use better name

    @larry-gonzalez
    larry-gonzalez committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    3aca822 View commit details
    Browse the repository at this point in the history

  4. return all subsets in SubsetIterator

    @larry-gonzalez
    larry-gonzalez committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    624185e View commit details
    Browse the repository at this point in the history

  5. fix typo

    @larry-gonzalez
    larry-gonzalez committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    a528169 View commit details
    Browse the repository at this point in the history

  6. add hashCode and equals to Assignment and Match

    @larry-gonzalez
    larry-gonzalez committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    24c4e57 View commit details
    Browse the repository at this point in the history

  7. improve conditions; remove duplicated code; add test

    @larry-gonzalez
    larry-gonzalez committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    5222a24 View commit details
    Browse the repository at this point in the history

  8. uncomment test

    @larry-gonzalez
    larry-gonzalez committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    1a7137a View commit details
    Browse the repository at this point in the history

  9. clean comments

    @larry-gonzalez
    larry-gonzalez committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    d20a708 View commit details
    Browse the repository at this point in the history

  10. add test

    @larry-gonzalez
    larry-gonzalez committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    5244a44 View commit details
    Browse the repository at this point in the history

  11. refactoring

    @larry-gonzalez
    larry-gonzalez committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    67d0999 View commit details
    Browse the repository at this point in the history

  12. add tests

    @larry-gonzalez
    larry-gonzalez committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    0cf55a3 View commit details
    Browse the repository at this point in the history

  13. code simplification

    @larry-gonzalez
    larry-gonzalez committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    f2d6f6d View commit details
    Browse the repository at this point in the history

  14. code simplification

    @larry-gonzalez
    larry-gonzalez committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    6a2a5f5 View commit details
    Browse the repository at this point in the history

  15. delete unused imports

    @larry-gonzalez
    larry-gonzalez committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    acd160f View commit details
    Browse the repository at this point in the history

  16. fix spacing

    @larry-gonzalez
    larry-gonzalez committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    0f2f65c View commit details
    Browse the repository at this point in the history

  17. add tests

    @larry-gonzalez
    larry-gonzalez committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    a14701d View commit details
    Browse the repository at this point in the history

  18. delete dead code

    @larry-gonzalez
    larry-gonzalez committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    a034b4e View commit details
    Browse the repository at this point in the history

  19. add missing cases

    @larry-gonzalez
    larry-gonzalez committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    fa319ac View commit details
    Browse the repository at this point in the history

  20. add doc

    @larry-gonzalez
    larry-gonzalez committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    df0897d View commit details
    Browse the repository at this point in the history

  21. add documentation; add tests; code simplification

    @larry-gonzalez
    larry-gonzalez committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    a85b62e View commit details
    Browse the repository at this point in the history

Commits on Dec 14, 2020

  1. improve sufix renaming; bug fix: remove condition on unconnected pieces

    @larry-gonzalez
    larry-gonzalez committed Dec 14, 2020
    Configuration menu
    Copy the full SHA
    358b721 View commit details
    Browse the repository at this point in the history

  2. add two more tests

    @larry-gonzalez
    larry-gonzalez committed Dec 14, 2020
    Configuration menu
    Copy the full SHA
    612733b View commit details
    Browse the repository at this point in the history

  3. code simplification

    @larry-gonzalez
    larry-gonzalez committed Dec 14, 2020
    Configuration menu
    Copy the full SHA
    434dab1 View commit details
    Browse the repository at this point in the history

  4. add missing test; restore code

    @larry-gonzalez
    larry-gonzalez committed Dec 14, 2020
    Configuration menu
    Copy the full SHA
    c3c4784 View commit details
    Browse the repository at this point in the history

  5. rename test

    @larry-gonzalez
    larry-gonzalez committed Dec 14, 2020
    Configuration menu
    Copy the full SHA
    e9c7b2f View commit details
    Browse the repository at this point in the history

  6. add optimization condition

    @larry-gonzalez
    larry-gonzalez committed Dec 14, 2020
    Configuration menu
    Copy the full SHA
    b46e849 View commit details
    Browse the repository at this point in the history

  7. add optimization condition

    @larry-gonzalez
    larry-gonzalez committed Dec 14, 2020
    Configuration menu
    Copy the full SHA
    e077272 View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2021

  1. use streams; add javadoc

    @larry-gonzalez
    larry-gonzalez committed Jan 5, 2021
    Configuration menu
    Copy the full SHA
    eac8070 View commit details
    Browse the repository at this point in the history

Commits on Jan 7, 2021

  1. use better names; add auxiliary methods; improve code quality

    @larry-gonzalez
    larry-gonzalez committed Jan 7, 2021
    Configuration menu
    Copy the full SHA
    a088d16 View commit details
    Browse the repository at this point in the history

Commits on Jan 12, 2021

  1. improve order and comments; clean code; use better names

    @larry-gonzalez
    larry-gonzalez committed Jan 12, 2021
    Configuration menu
    Copy the full SHA
    307c9b6 View commit details
    Browse the repository at this point in the history

Commits on Jan 19, 2021

  1. rename files

    @larry-gonzalez
    larry-gonzalez committed Jan 19, 2021
    Configuration menu
    Copy the full SHA
    709cf46 View commit details
    Browse the repository at this point in the history

  2. work on the math package; organize classes and code; use better names

    @larry-gonzalez
    larry-gonzalez committed Jan 19, 2021
    Configuration menu
    Copy the full SHA
    aacf071 View commit details
    Browse the repository at this point in the history

  3. add empty classes for testing the math package

    @larry-gonzalez
    larry-gonzalez committed Jan 19, 2021
    Configuration menu
    Copy the full SHA
    9e9931e View commit details
    Browse the repository at this point in the history

  4. ordering files

    @larry-gonzalez
    larry-gonzalez committed Jan 19, 2021
    Configuration menu
    Copy the full SHA
    9487967 View commit details
    Browse the repository at this point in the history

  5. package ordering; use better names

    @larry-gonzalez
    larry-gonzalez committed Jan 19, 2021
    Configuration menu
    Copy the full SHA
    6c8952a View commit details
    Browse the repository at this point in the history

  6. package ordering; use better names;

    @larry-gonzalez
    larry-gonzalez committed Jan 19, 2021
    Configuration menu
    Copy the full SHA
    50a9d1f View commit details
    Browse the repository at this point in the history

  7. delete old file

    @larry-gonzalez
    larry-gonzalez committed Jan 19, 2021
    Configuration menu
    Copy the full SHA
    d4874a6 View commit details
    Browse the repository at this point in the history

  8. classes and code ordering; use better names

    @larry-gonzalez
    larry-gonzalez committed Jan 19, 2021
    Configuration menu
    Copy the full SHA
    ffe5095 View commit details
    Browse the repository at this point in the history

  9. remove file from tracked files

    @larry-gonzalez
    larry-gonzalez committed Jan 19, 2021
    Configuration menu
    Copy the full SHA
    cba40e6 View commit details
    Browse the repository at this point in the history

  10. add test

    @larry-gonzalez
    larry-gonzalez committed Jan 19, 2021
    Configuration menu
    Copy the full SHA
    5c51f2b View commit details
    Browse the repository at this point in the history

Commits on Jan 29, 2021

  1. rename test files

    @larry-gonzalez
    larry-gonzalez committed Jan 29, 2021
    Configuration menu
    Copy the full SHA
    480d816 View commit details
    Browse the repository at this point in the history

  2. return PositiveLiteral instead of Literal in Rule.getPositiveBodyLite… 

    …rals; add missing Override
    @larry-gonzalez
    larry-gonzalez committed Jan 29, 2021
    Configuration menu
    Copy the full SHA
    b4d8a1c View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2021

  1. re-implementation of PartialMapping classes

    @larry-gonzalez
    larry-gonzalez committed Feb 23, 2021
    Configuration menu
    Copy the full SHA
    3471ad3 View commit details
    Browse the repository at this point in the history

Commits on Feb 25, 2021

  1. throw ParseException when the same variable name is used in a single … 

    …Literal as Universal and Existential variable; use interphase Set instead of Implementation HashSet when declaring Sets; add test for new functionality
    @larry-gonzalez
    larry-gonzalez committed Feb 25, 2021
    Configuration menu
    Copy the full SHA
    2f59f25 View commit details
    Browse the repository at this point in the history

  2. add default methods isExistentialVariable and isUniversalVariable

    @larry-gonzalez
    larry-gonzalez committed Feb 25, 2021
    Configuration menu
    Copy the full SHA
    c6e6c00 View commit details
    Browse the repository at this point in the history

Commits on Feb 26, 2021

  1. improve names; ordering; add todo; add one test

    @larry-gonzalez
    larry-gonzalez committed Feb 26, 2021
    Configuration menu
    Copy the full SHA
    9119830 View commit details
    Browse the repository at this point in the history

  2. create empty class; add todo

    @larry-gonzalez
    larry-gonzalez committed Feb 26, 2021
    Configuration menu
    Copy the full SHA
    3017a39 View commit details
    Browse the repository at this point in the history

Commits on Mar 1, 2021

  1. ordering

    @larry-gonzalez
    larry-gonzalez committed Mar 1, 2021
    Configuration menu
    Copy the full SHA
    92a04c1 View commit details
    Browse the repository at this point in the history

  2. create Unifier interface

    @larry-gonzalez
    larry-gonzalez committed Mar 1, 2021
    Configuration menu
    Copy the full SHA
    778fa53 View commit details
    Browse the repository at this point in the history

  3. delete UnifierBasedVariableRenamer class. Use Substitution class instead

    @larry-gonzalez
    larry-gonzalez committed Mar 1, 2021
    Configuration menu
    Copy the full SHA
    99481ac View commit details
    Browse the repository at this point in the history

  4. create Substitution class; create empty SubstitutionTest class

    @larry-gonzalez
    larry-gonzalez committed Mar 1, 2021
    Configuration menu
    Copy the full SHA
    aaf1479 View commit details
    Browse the repository at this point in the history

  5. add todo

    @larry-gonzalez
    larry-gonzalez committed Mar 1, 2021
    Configuration menu
    Copy the full SHA
    e842a7c View commit details
    Browse the repository at this point in the history

  6. improve ordering; delete depreceted method; update tests

    @larry-gonzalez
    larry-gonzalez committed Mar 1, 2021
    Configuration menu
    Copy the full SHA
    28d48e9 View commit details
    Browse the repository at this point in the history

  7. remove unused validators

    @larry-gonzalez
    larry-gonzalez committed Mar 1, 2021
    Configuration menu
    Copy the full SHA
    0a3c7c3 View commit details
    Browse the repository at this point in the history

Commits on Mar 2, 2021

  1. add missing condition for negated literals

    @larry-gonzalez
    larry-gonzalez committed Mar 2, 2021
    Configuration menu
    Copy the full SHA
    bfcde2a View commit details
    Browse the repository at this point in the history

  2. create RespectingUnifier class and RespectingUnifierTest

    @larry-gonzalez
    larry-gonzalez committed Mar 2, 2021
    Configuration menu
    Copy the full SHA
    9a09af6 View commit details
    Browse the repository at this point in the history

Commits on Mar 3, 2021

  1. extend methods

    @larry-gonzalez
    larry-gonzalez committed Mar 3, 2021
    Configuration menu
    Copy the full SHA
    ba2e772 View commit details
    Browse the repository at this point in the history

  2. add TODOs; improve names; improve code quality

    @larry-gonzalez
    larry-gonzalez committed Mar 3, 2021
    Configuration menu
    Copy the full SHA
    f9786e9 View commit details
    Browse the repository at this point in the history

  3. fix imports

    @larry-gonzalez
    larry-gonzalez committed Mar 3, 2021
    Configuration menu
    Copy the full SHA
    02d5462 View commit details
    Browse the repository at this point in the history

  4. add licenses

    @larry-gonzalez
    larry-gonzalez committed Mar 3, 2021
    Configuration menu
    Copy the full SHA
    816b397 View commit details
    Browse the repository at this point in the history

  5. add license; change class name

    @larry-gonzalez
    larry-gonzalez committed Mar 3, 2021
    Configuration menu
    Copy the full SHA
    ab65a6b View commit details
    Browse the repository at this point in the history

  6. use Validate instead of assert

    @larry-gonzalez
    larry-gonzalez committed Mar 3, 2021
    Configuration menu
    Copy the full SHA
    6bff75e View commit details
    Browse the repository at this point in the history

  7. make class public

    @larry-gonzalez
    larry-gonzalez committed Mar 3, 2021
    Configuration menu
    Copy the full SHA
    b76a8f3 View commit details
    Browse the repository at this point in the history

  8. make class public

    @larry-gonzalez
    larry-gonzalez committed Mar 3, 2021
    Configuration menu
    Copy the full SHA
    e8aeea8 View commit details
    Browse the repository at this point in the history

  9. add empty class

    @larry-gonzalez
    larry-gonzalez committed Mar 3, 2021
    Configuration menu
    Copy the full SHA
    a0c28ae View commit details
    Browse the repository at this point in the history

  10. add tests; improve code

    @larry-gonzalez
    larry-gonzalez committed Mar 3, 2021
    Configuration menu
    Copy the full SHA
    11a1de3 View commit details
    Browse the repository at this point in the history

  11. update code; improve names, todos

    @larry-gonzalez
    larry-gonzalez committed Mar 3, 2021
    Configuration menu
    Copy the full SHA
    7ff35fe View commit details
    Browse the repository at this point in the history

  12. improve comments

    @larry-gonzalez
    larry-gonzalez committed Mar 3, 2021
    Configuration menu
    Copy the full SHA
    abf7c35 View commit details
    Browse the repository at this point in the history

  13. add tests for RuleUtil.isRuleApplicable

    @larry-gonzalez
    larry-gonzalez committed Mar 3, 2021
    Configuration menu
    Copy the full SHA
    67fc952 View commit details
    Browse the repository at this point in the history

  14. add todos

    @larry-gonzalez
    larry-gonzalez committed Mar 3, 2021
    Configuration menu
    Copy the full SHA
    7016ce8 View commit details
    Browse the repository at this point in the history

  15. extend MartelliMontanariUnifier

    @larry-gonzalez
    larry-gonzalez committed Mar 3, 2021
    Configuration menu
    Copy the full SHA
    fe71ad9 View commit details
    Browse the repository at this point in the history

  16. extend constructor

    @larry-gonzalez
    larry-gonzalez committed Mar 3, 2021
    Configuration menu
    Copy the full SHA
    0478c18 View commit details
    Browse the repository at this point in the history

Commits on Mar 4, 2021

  1. drop old commented code

    @larry-gonzalez
    larry-gonzalez committed Mar 4, 2021
    Configuration menu
    Copy the full SHA
    0aab3d3 View commit details
    Browse the repository at this point in the history

  2. do not replace universals with existentials in substitution

    @larry-gonzalez
    larry-gonzalez committed Mar 4, 2021
    Configuration menu
    Copy the full SHA
    ecd58c9 View commit details
    Browse the repository at this point in the history

  3. update TODOs; ordering code

    @larry-gonzalez
    larry-gonzalez committed Mar 4, 2021
    Configuration menu
    Copy the full SHA
    120b3fc View commit details
    Browse the repository at this point in the history

  4. working reliance code

    @larry-gonzalez
    larry-gonzalez committed Mar 4, 2021
    Configuration menu
    Copy the full SHA
    59cc58d View commit details
    Browse the repository at this point in the history

  5. add missing condition; update code

    @larry-gonzalez
    larry-gonzalez committed Mar 4, 2021
    Configuration menu
    Copy the full SHA
    31d3a73 View commit details
    Browse the repository at this point in the history

  6. improve methods

    @larry-gonzalez
    larry-gonzalez committed Mar 4, 2021
    Configuration menu
    Copy the full SHA
    66b3362 View commit details
    Browse the repository at this point in the history

  7. add todo

    @larry-gonzalez
    larry-gonzalez committed Mar 4, 2021
    Configuration menu
    Copy the full SHA
    81ffb54 View commit details
    Browse the repository at this point in the history

  8. add tests

    @larry-gonzalez
    larry-gonzalez committed Mar 4, 2021
    Configuration menu
    Copy the full SHA
    7c8f3a3 View commit details
    Browse the repository at this point in the history

Commits on Apr 29, 2021

  1. add Term.isNull() default method

    @larry-gonzalez
    larry-gonzalez committed Apr 29, 2021
    Configuration menu
    Copy the full SHA
    490f845 View commit details
    Browse the repository at this point in the history

Commits on May 27, 2021

  1. delete mapping class files, respectingunifier class files; rename BCQ… 

    … to BCQA
    @larry-gonzalez
    larry-gonzalez committed May 27, 2021
    Configuration menu
    Copy the full SHA
    cc1759b View commit details
    Browse the repository at this point in the history

  2. delete respecting unifier test class

    @larry-gonzalez
    larry-gonzalez committed May 27, 2021
    Configuration menu
    Copy the full SHA
    c9992ed View commit details
    Browse the repository at this point in the history

  3. add slf4j-log4j12 dependency in rulewerk-reliance; delete rulewerk-ow… 

    …lapi dependency in rulewerk-reliance
    @larry-gonzalez
    larry-gonzalez committed May 27, 2021
    Configuration menu
    Copy the full SHA
    490ee97 View commit details
    Browse the repository at this point in the history

  4. improve unification and substitution code

    @larry-gonzalez
    larry-gonzalez committed May 27, 2021
    Configuration menu
    Copy the full SHA
    7babe82 View commit details
    Browse the repository at this point in the history

  5. add recursive implementation for positive reliance

    @larry-gonzalez
    larry-gonzalez committed May 27, 2021
    Configuration menu
    Copy the full SHA
    856b720 View commit details
    Browse the repository at this point in the history

  6. delete unused file

    @larry-gonzalez
    larry-gonzalez committed May 27, 2021
    Configuration menu
    Copy the full SHA
    a83ed85 View commit details
    Browse the repository at this point in the history

  7. improve code on RuleUtils

    @larry-gonzalez
    larry-gonzalez committed May 27, 2021
    Configuration menu
    Copy the full SHA
    f4ddbbf View commit details
    Browse the repository at this point in the history

  8. add tests

    @larry-gonzalez
    larry-gonzalez committed May 27, 2021
    Configuration menu
    Copy the full SHA
    2e17185 View commit details
    Browse the repository at this point in the history

  9. ordering code

    @larry-gonzalez
    larry-gonzalez committed May 27, 2021
    Configuration menu
    Copy the full SHA
    3fae9db View commit details
    Browse the repository at this point in the history

  10. rename file

    @larry-gonzalez
    larry-gonzalez committed May 27, 2021
    Configuration menu
    Copy the full SHA
    f083ee3 View commit details
    Browse the repository at this point in the history

  11. add Transform class

    @larry-gonzalez
    larry-gonzalez committed May 27, 2021
    Configuration menu
    Copy the full SHA
    a21fed5 View commit details
    Browse the repository at this point in the history