Show all
Author Commit Message Labels Comments Date
cacol89 avatarcacol89
Finished negation and added some tests
cacol89 avatarcacol89
now negations are restricted exclusively to rterms
cacol89 avatarcacol89
added beer tests
cacol89 avatarcacol89
added smart negation of inequalities
cacol89 avatarcacol89
added check for lack of base-case
cacol89 avatarcacol89
Merge branch 'feature/recursion' into develop
cacol89 avatarcacol89
added check for double recursive calls in a single rule
cacol89 avatarcacol89
added new tests, and error tests in a different file
cacol89 avatarcacol89
added the recursion case check and errors
cacol89 avatarcacol89
allowed recursion, added tests
cacol89 avatarcacol89
Merge branch 'feature/stratification' into develop
cacol89 avatarcacol89
added new tests for EDB queries
cacol89 avatarcacol89
allowed EDB queries
cacol89 avatarcacol89
included stratification in SQL generation
cacol89 avatarcacol89
added stratification calculation
cacol89 avatarcacol89
fixed small problem with makefile and conn_ops. Added stratification file
cacol89 avatarcacol89
allowed inequalities in the grammar. Added tests.
cacol89 avatarcacol89
added support for comas instead of and separators in the grammar
cacol89 avatarcacol89
added support for negation and a test. Recalculated expected
cacol89 avatarcacol89
added support for underscores and numbers in prednames and varnames
cacol89 avatarcacol89
fixed some minor error formats
cacol89 avatarcacol89
Merge branch 'feature/error_reporting' into develop
cacol89 avatarcacol89
added error-case tests
cacol89 avatarcacol89
added more specific errors and try/catch block
cacol89 avatarcacol89
Merge branch 'feature/command_arguments' into develop
cacol89 avatarcacol89
added support for reading input files
cacol89 avatarcacol89
added possibility of printing debugging info
cacol89 avatarcacol89
Added command-line parsing and fixed the call for automated tests
cacol89 avatarcacol89
Merge branch 'feature/auto_tests' into develop
cacol89 avatarcacol89
added tests-script and test-recalc script
  1. Prev
  2. Next
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.