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: edmonl/RuleML2TPTP
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: RuleML/RuleML2TPTP
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: master
Choose a head ref
2 contributors

Commits on Jan 29, 2015

  1. use maven and add some testing

    @edmonl
    edmonl committed Jan 29, 2015
    Copy the full SHA
    abcc8ba View commit details

Commits on Jan 30, 2015

  1. add more tests and fix bugs

    @edmonl
    edmonl committed Jan 30, 2015
    Copy the full SHA
    2c0275a View commit details

  2. add Hornlog expressivity

    @edmonl
    edmonl committed Jan 30, 2015
    Copy the full SHA
    58ba5a6 View commit details

  3. an omitted patch for java code

    @edmonl
    edmonl committed Jan 30, 2015
    Copy the full SHA
    b0d8a9b View commit details

  4. add manifest to jar

    @edmonl
    edmonl committed Jan 30, 2015
    Copy the full SHA
    721681a View commit details

Commits on Feb 1, 2015

  1. copy dependencies and fix input and output

    @edmonl
    edmonl committed Feb 1, 2015
    Copy the full SHA
    7b1c19d View commit details

Commits on Feb 4, 2015

  1. add test cases for comments

    @edmonl
    edmonl committed Feb 4, 2015
    Copy the full SHA
    44d90ab View commit details

  2. add test cases for Rel, Ind and Var

    @edmonl
    edmonl committed Feb 4, 2015
    Copy the full SHA
    f77095d View commit details

  3. change version; ready

    @edmonl
    edmonl committed Feb 4, 2015
    Copy the full SHA
    455ca1d View commit details

Commits on Feb 7, 2015

  1. add readme

    @edmonl
    edmonl committed Feb 7, 2015
    Copy the full SHA
    9b51820 View commit details

  2. add option -w to prevent overwriting all the time

    @edmonl
    edmonl committed Feb 7, 2015
    Copy the full SHA
    60ca7b1 View commit details

  3. Merge pull request #2 from RuleML/1.1-SANPSHOT 

    1.1 Hornlog+ support
    @edmonl
    edmonl committed Feb 7, 2015
    Copy the full SHA
    d95e384 View commit details

Commits on Feb 9, 2015

  1. use folog normalizer; add Equivalent

    @edmonl
    edmonl committed Feb 9, 2015
    Copy the full SHA
    e1a10d6 View commit details

  2. add Neg

    @edmonl
    edmonl committed Feb 9, 2015
    Copy the full SHA
    c73ff07 View commit details

Commits on Feb 14, 2015

  1. fix Fun and add test

    @edmonl
    edmonl committed Feb 14, 2015
    Copy the full SHA
    caf23b8 View commit details

  2. add => and test cases; <= can not come to in the output because of th… 

    …e normalizer having normalized the input
    @edmonl
    edmonl committed Feb 14, 2015
    Copy the full SHA
    e4d1df7 View commit details

Commits on Feb 16, 2015

  1. change group id

    @edmonl
    edmonl committed Feb 16, 2015
    Copy the full SHA
    356ce13 View commit details

Commits on Feb 17, 2015

  1. remove factory class option

    @edmonl
    edmonl committed Feb 17, 2015
    Copy the full SHA
    02cca5f View commit details

  2. escape >

    @edmonl
    edmonl committed Feb 17, 2015
    Copy the full SHA
    1f44aac View commit details

  3. escape >

    @edmonl
    edmonl committed Feb 17, 2015
    Copy the full SHA
    a02c5a3 View commit details

Commits on Mar 12, 2015

  1. use iri

    @edmonl
    edmonl committed Mar 12, 2015
    Copy the full SHA
    dafe1c8 View commit details

  2. Merge pull request #3 from RuleML/2.0-SNAPSHOT 

    2.0 supports FOL
    @edmonl
    edmonl committed Mar 12, 2015
    Copy the full SHA
    0b890f2 View commit details

Commits on Mar 14, 2015

  1. switch 2.0 and add packing

    @edmonl
    edmonl committed Mar 14, 2015
    Copy the full SHA
    24767c2 View commit details

Commits on Mar 21, 2015

  1. fix comments

    @edmonl
    edmonl committed Mar 21, 2015
    Copy the full SHA
    b87ed12 View commit details

  2. Update README.md 

    Eliminate duplicate content against the entry page.
    @edmonl
    edmonl committed Mar 21, 2015
    Copy the full SHA
    86773e8 View commit details

Commits on Jun 3, 2016

  1. always use LF in output

    @edmonl
    edmonl committed Jun 3, 2016
    Copy the full SHA
    a5c23b3 View commit details

  2. upgrade maven dependencies

    @edmonl
    edmonl committed Jun 3, 2016
    Copy the full SHA
    cb3ab04 View commit details

Commits on Jun 4, 2016

  1. test translator with directories

    @edmonl
    edmonl committed Jun 4, 2016
    Copy the full SHA
    3206489 View commit details

  2. remove common-io dependency

    @edmonl
    edmonl committed Jun 4, 2016
    Copy the full SHA
    6c586ca View commit details

  3. Merge pull request #7 from RuleML/dev 

    always use LF in output;
upgrade maven dependencies;
test translator with directories;
remove common-io dependency.
    @edmonl
    edmonl committed Jun 4, 2016
    Copy the full SHA
    167754f View commit details

Commits on Jun 8, 2016

  1. add namespace for universal template and consider dollar sign as norm… 

    …al text
    @edmonl
    edmonl committed Jun 8, 2016
    Copy the full SHA
    42d6f9e View commit details

  2. fix dollar sign

    @edmonl
    edmonl committed Jun 8, 2016
    Copy the full SHA
    12947f1 View commit details

  3. fix dollar sign

    @edmonl
    edmonl committed Jun 8, 2016
    Copy the full SHA
    f06bf92 View commit details

  4. Merge branch 'dev' of github.com:RuleML/RuleML2TPTP into dev

    @edmonl
    edmonl committed Jun 8, 2016
    Copy the full SHA
    de5b2a7 View commit details

Commits on Jun 24, 2016

  1. use argparse4j

    @edmonl
    edmonl committed Jun 24, 2016
    Copy the full SHA
    607819d View commit details

  2. Merge pull request #13 from RuleML/dev 

    Dev
    @edmonl
    edmonl authored Jun 24, 2016
    Copy the full SHA
    50fe30c View commit details

  3. add version option

    @edmonl
    edmonl committed Jun 24, 2016
    Copy the full SHA
    5ae55f6 View commit details

Commits on Jun 26, 2016

  1. add version option

    @edmonl
    edmonl committed Jun 26, 2016
    Copy the full SHA
    5f5f43a View commit details

  2. add xslt version option

    @edmonl
    edmonl committed Jun 26, 2016
    Copy the full SHA
    39a1e96 View commit details

  3. add newline in property file

    @edmonl
    edmonl committed Jun 26, 2016
    Copy the full SHA
    a65b8c4 View commit details

  4. Merge pull request #14 from RuleML/new_args 

    New args
    @edmonl
    edmonl authored Jun 26, 2016
    Copy the full SHA
    2775a3b View commit details

Commits on Jun 27, 2016

  1. revert dollar sign

    @edmonl
    edmonl committed Jun 27, 2016
    Copy the full SHA
    97181d2 View commit details

  2. Merge branch 'master' into dev

    @edmonl
    edmonl committed Jun 27, 2016
    Copy the full SHA
    cff14d9 View commit details

Commits on Jun 28, 2016

  1. use 2 spaces for indentation of XML

    @edmonl
    edmonl committed Jun 28, 2016
    Copy the full SHA
    7b07180 View commit details

  2. Merge branch 'master' into dev

    @edmonl
    edmonl committed Jun 28, 2016
    Copy the full SHA
    a01a622 View commit details

Commits on Jun 4, 2017

  1. fix version

    @edmonl
    edmonl committed Jun 4, 2017
    Copy the full SHA
    0fd1857 View commit details

  2. fix trivial

    @edmonl
    edmonl committed Jun 4, 2017
    Copy the full SHA
    02c5ae5 View commit details

Commits on Jun 5, 2017

  1. ignore Data in a list

    @edmonl
    edmonl committed Jun 5, 2017
    Copy the full SHA
    b5d0162 View commit details

  2. add new line before ending file

    @edmonl
    edmonl committed Jun 5, 2017
    Copy the full SHA
    1a67af6 View commit details

  3. Merge pull request #16 from RuleML/dev 

    Ignore Data in a list
    @edmonl
    edmonl authored Jun 5, 2017
    Copy the full SHA
    6f15e65 View commit details
Showing with 1,913 additions and 1,673 deletions.
  1. +1 −3 .gitignore
  2. +0 −675 LICENSE
  3. +0 −2 NOTICE
  4. +5 −26 README.md
  5. +0 −159 build.xml
  6. BIN lib/commons-cli-1.2.jar
  7. BIN lib/saxon.jar
  8. +112 −0 pom.xml
  9. +37 −0 src/assembly/bin.xml
  10. +0 −421 src/ca/unb/meng/RuleML2TPTP.java
  11. +157 −0 src/main/java/org/ruleml/translation/ruleml2tptp/Main.java
  12. +60 −0 src/main/java/org/ruleml/translation/ruleml2tptp/Translator.java
  13. +2 −0 src/main/resources/org/ruleml/translation/ruleml2tptp/application.properties
  14. +136 −4 ...zer.xslt → main/resources/org/ruleml/translation/ruleml2tptp/xslt/101_naffologeq_normalizer.xslt}
  15. +452 −0 src/main/resources/org/ruleml/translation/ruleml2tptp/xslt/ruleml2tptp.xslt
  16. +0 −2 src/resources/properties
  17. +0 −381 src/resources/ruleml2tptp.xslt
  18. +59 −0 src/test/java/org/ruleml/translation/ruleml2tptp/TranslatorTest.java
  19. +83 −0 src/test/resources/test/translator/fol/AndTest.ruleml
  20. +33 −0 src/test/resources/test/translator/fol/AndTest.tptp
  21. +16 −0 src/test/resources/test/translator/fol/AtomTest.ruleml
  22. +6 −0 src/test/resources/test/translator/fol/AtomTest.tptp
  23. +30 −0 src/test/resources/test/translator/fol/DataTest.ruleml
  24. +12 −0 src/test/resources/test/translator/fol/DataTest.tptp
  25. +19 −0 src/test/resources/test/translator/fol/EqualTest.ruleml
  26. +6 −0 src/test/resources/test/translator/fol/EqualTest.tptp
  27. +50 −0 src/test/resources/test/translator/fol/EquivalentTest.ruleml
  28. +10 −0 src/test/resources/test/translator/fol/EquivalentTest.tptp
  29. +42 −0 src/test/resources/test/translator/fol/ExistsTest.ruleml
  30. +12 −0 src/test/resources/test/translator/fol/ExistsTest.tptp
  31. +38 −0 src/test/resources/test/translator/fol/ExprTest.ruleml
  32. +12 −0 src/test/resources/test/translator/fol/ExprTest.tptp
  33. +42 −0 src/test/resources/test/translator/fol/ForallTest.ruleml
  34. +12 −0 src/test/resources/test/translator/fol/ForallTest.tptp
  35. +48 −0 src/test/resources/test/translator/fol/ImpliesTest.ruleml
  36. +13 −0 src/test/resources/test/translator/fol/ImpliesTest.tptp
  37. +68 −0 src/test/resources/test/translator/fol/NegTest.ruleml
  38. +19 −0 src/test/resources/test/translator/fol/NegTest.tptp
  39. +83 −0 src/test/resources/test/translator/fol/OrTest.ruleml
  40. +33 −0 src/test/resources/test/translator/fol/OrTest.tptp
  41. +70 −0 src/test/resources/test/translator/fol/RelFunIndVarTest.ruleml
  42. +24 −0 src/test/resources/test/translator/fol/RelFunIndVarTest.tptp
  43. +55 −0 src/test/resources/test/translator/fol/commentsTest.ruleml
  44. +27 −0 src/test/resources/test/translator/fol/commentsTest.tptp
  45. +23 −0 src/test/resources/test/translator/fol/iriTest.ruleml
  46. +6 −0 src/test/resources/test/translator/fol/iriTest.tptp
4 changes: 1 addition & 3 deletions .gitignore
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1 @@
build/
release/
.ant*
target/
Loading