| Author |
Date |
Commit |
Message |
| jens dietrich |
Feb 9, 2011 |
de4d639196f5 |
fixed tyoe reasoning for binary expressions: - (minus) op is no supported |
| jens dietrich |
Jan 27, 2011 |
c11ec108dd02 |
Added tag 1.1.0 for changeset 55f129d1eb8e |
| jens dietrich |
Jan 26, 2011 |
55f129d1eb8e |
updated version number in build script |
| jens dietrich |
Jan 26, 2011 |
89b5399d3166 |
formatted generated classes using the Eclipse formatter |
| jens dietrich |
Jan 26, 2011 |
f179af12d6eb |
Fixed template documentation |
| jens dietrich |
Jan 16, 2011 |
9d28ef70b84a |
Improved code generation for external fact sets: if compiler finds a method with |
| jens dietrich |
Dec 25, 2010 |
6b1cd594c90d |
added test cases for external facts (includes) |
| jens dietrich |
Dec 24, 2010 |
6cd896d47c85 |
added filtering to template for external facts |
| jens dietrich |
Dec 24, 2010 |
eb41f842aac5 |
added template for external fact sets
still missing: filtering |
| jens dietrich |
Dec 24, 2010 |
baa5bace67e7 |
added test classes and data for compiler tests for external facts |
| jens dietrich |
Dec 24, 2010 |
46f5682c1fe1 |
added verifier for external fact sets
bugfix in grammar |
| jens dietrich |
Dec 24, 2010 |
c39c2e3f0277 |
updated grammar for external facts (from -> include)
added test cases for gramma |
| jens dietrich |
Dec 22, 2010 |
113c396606f5 |
added type reasoning for expression in external facts |
| jens dietrich |
Dec 22, 2010 |
5dbde6face2a |
Refactored methods in DefaultCompiler to improve reuse |
| jens dietrich |
Dec 22, 2010 |
bbee67c5e724 |
Refactored methods in DefaultCompiler to improve reuse |
| jens dietrich |
Dec 22, 2010 |
8f19f1701e0a |
Refactored methods in DefaultCompiler to improve reuse |
| jens dietrich |
Dec 22, 2010 |
3f694fa17cf0 |
Refactored methods in DefaultCompiler to improve reuse |
| jens dietrich |
Dec 21, 2010 |
ab40ce26c255 |
Started adding support for including external facts:
- modified grammar
- modifi |
| jens dietrich |
Dec 2, 2010 |
d1e376c573ff |
changed version tag in build script to 1.0.1 |
| jens dietrich |
Dec 2, 2010 |
db38ccdc764a |
Added utility FileSystemLocation to facilitate compilation scripts. |
| jens dietrich |
Nov 24, 2010 |
76d55d08c88f |
removed some unused sketched |
| jens dietrich |
Nov 24, 2010 |
467d6f350ae7 |
Added tag 1.0.0 for changeset c79f798dcdab |
| jens dietrich |
Nov 24, 2010 |
c79f798dcdab |
license is now included in release build |
| jens dietrich |
Nov 24, 2010 |
5692193108d5 |
updated jnlp |
| jens dietrich |
Nov 24, 2010 |
d3448938bd13 |
Added ANT build script. |
| jens dietrich |
Nov 24, 2010 |
cf8031a55d5f |
Added config files needed by build script.
Added jnlp config for web start. |
| jens dietrich |
Nov 24, 2010 |
a9ace6b27d35 |
Added libs needed by build script |
| jens dietrich |
Nov 24, 2010 |
2d89c4952c4d |
Added all userv rule sets to script viewer.
Corrected text in about message in u |
| jens dietrich |
Nov 23, 2010 |
e00d8f9c0e00 |
Added script viewer to UServ UI app
TODO: list all scripts |
| jens dietrich |
Nov 23, 2010 |
df6706b26f88 |
Now rule ids include package names. Fixes issue 17. |
| jens dietrich |
Nov 23, 2010 |
b83da5443577 |
Formatter generated code. |
| jens dietrich |
Nov 23, 2010 |
04e38d55ea25 |
renamed constants in CompileMode |
| jens dietrich |
Nov 21, 2010 |
32d8c94c84c2 |
Added some support to easier switch tracing on/offat runtime. |
| jens dietrich |
Nov 21, 2010 |
18031d3d5804 |
Added comprehensive set of tests based on the UServ scenario. |
| jens dietrich |
Nov 21, 2010 |
85efeca4b07c |
Bugfix in Prerequisites: bound parameters were not printed correctly - literals |
| jens dietrich |
Nov 21, 2010 |
73f445cc82bf |
Added (UI) application for UServ example. |
| jens dietrich |
Nov 21, 2010 |
367a4c415f23 |
Added code generated for rules. |
| jens dietrich |
Nov 21, 2010 |
c69ff5db623e |
Bugfix: annotations were not copied when applying substitutions |
| jens dietrich |
Nov 19, 2010 |
e925c5a7952b |
Added more userv rule sets |
| jens dietrich |
Nov 19, 2010 |
429d9222bca4 |
Added more userv rule sets |
| jens dietrich |
Nov 19, 2010 |
ebf3e994f6d9 |
Added more userv rule sets |
| jens dietrich |
Nov 19, 2010 |
07110225894a |
Added more userv rule sets |
| jens dietrich |
Nov 18, 2010 |
efb1e92796ab |
Fixed script to generate code for userv example.
New rule set.
Added generated c |
| jens dietrich |
Nov 18, 2010 |
1c472a9c14b9 |
Added userv domain model.
Added script to compiler userv rules.
Added first two |
| jens dietrich |
Nov 18, 2010 |
650ac3e932ca |
Minor changes in type reasoning: now properties like hasWife will also be resolv |
| jens dietrich |
Nov 18, 2010 |
e2fd6d93917d |
Updated project classpath (eclipse settings). |
| jens dietrich |
Nov 18, 2010 |
747928600930 |
Improved resolving/type reasoning. Now using apache commons bean utils to find m |
| jens dietrich |
Nov 18, 2010 |
3f982acf79ed |
Added support for equals, hashcode and toString for gerenarted relationship clas |
| jens dietrich |
Nov 18, 2010 |
05a3e2dc9e1f |
Added verifiers for aggregation expression. Fixes issue 14. |
| jens dietrich |
Nov 17, 2010 |
99246340107a |
Added support for aggregation. Fixes issue 10. |
| jens dietrich |
Nov 17, 2010 |
ab846b554c87 |
improved type reasoning and scheduling, aggregayion templates still need to be f |
| jens dietrich |
Nov 17, 2010 |
b43cdf8dd8df |
added test scenario 14 |
| jens dietrich |
Nov 16, 2010 |
d8637e2444dc |
added support for referencing static methods. More tests and bugfixes. |
| jens dietrich |
Nov 16, 2010 |
7f8c16386259 |
Chaned license to GNU Affero |
| jens dietrich |
Nov 16, 2010 |
20b2c798c906 |
tested and corrected min |
| jens dietrich |
Nov 16, 2010 |
fc05330842ae |
Aggregation implemented, first set of tests working but more tests are needed. |
| jens dietrich |
Nov 16, 2010 |
ad986bf44c81 |
Changed references to Instances classes to static |
| jens dietrich |
Nov 15, 2010 |
0552d633dd34 |
Code generated to replace aggregation terms aggregations.
Still missing: methods |
| jens dietrich |
Nov 15, 2010 |
ef0f895fbb23 |
created example for aggregation expressions
made changes type reasoner (within D |
| jens dietrich |
Nov 14, 2010 |
daa923da1161 |
added support for aggregation to language (but not yet to compiler)
better synta |
| jens dietrich |
Nov 14, 2010 |
80c452cc9f92 |
Started added support for aggregation |
| jens dietrich |
Nov 11, 2010 |
9d43323ab202 |
added support for builtin inDomain predicate |
| jens dietrich |
Nov 10, 2010 |
cd38805bca40 |
Started adding support for inDomain expressions. |
| jens dietrich |
Nov 9, 2010 |
2d3ab00f5c6b |
Variables with names used as slot names in the respective predicates are now ren |
| jens dietrich |
Nov 8, 2010 |
d3cbae679957 |
removed fact template, several compiler bug fixes, new test cases
Fixes issue 13 |
| jens dietrich |
Nov 8, 2010 |
72c2ef942cde |
added some more tests for facts |
| jens dietrich |
Nov 8, 2010 |
eb3d0052552c |
Added another set of tests based on a simple resursive (head-tail) list data str |
| jens dietrich |
Nov 8, 2010 |
404485f126a6 |
Added new test scenario for the definition of factorial.
Bugfixes in type resolv |
| jens dietrich |
Nov 8, 2010 |
af036a0d0eb2 |
changed the type reasoner - it is now allowed that the type reasoner sometimes c |
| jens dietrich |
Nov 8, 2010 |
b546a705a33e |
removed two tests - it is now allowed that the type reasoner sometimes cannot as |
| jens dietrich |
Nov 8, 2010 |
a07cfb2df9fd |
renamed some tests |
| jens dietrich |
Nov 7, 2010 |
a89202a2a7fa |
added support for double literals |
| jens dietrich |
Nov 7, 2010 |
90df65999365 |
Added tests for NAF (CompilerTests14) - all tests succeed!
Fixes issue 9. |
| jens dietrich |
Nov 7, 2010 |
f9044a0083c5 |
added support for NAF - not yet fully tested |
| jens dietrich |
Nov 7, 2010 |
212f1c48fa09 |
added support for NAF in prereqs not introducing new variables |
| jens dietrich |
Nov 7, 2010 |
33b479b575fa |
defined additional variables in template to make it more readable |
| jens dietrich |
Nov 7, 2010 |
37fe052571fd |
Removed old scheduler tests |
| jens dietrich |
Nov 7, 2010 |
34b2ceefb58c |
Several bug fixes in compiler and associated templates
NAF not yet supported (te |
| jens dietrich |
Nov 7, 2010 |
85e2ec7ba5ef |
Bugfix in Scheduler |
| jens dietrich |
Nov 7, 2010 |
241bbd2cee35 |
bugfix: parameter types in NestedIteartor were in wrong order |
| jens dietrich |
Nov 5, 2010 |
d0fb7aac4c79 |
Bugfix: when resolving function references now a list is used instead of a set
t |
| jens dietrich |
Nov 4, 2010 |
704142fbadcc |
added more loggingto scheduler |
| jens dietrich |
Nov 3, 2010 |
ca13e34d1ff9 |
Added better support for primitive types to DefaultResolver |
| jens dietrich |
Nov 3, 2010 |
3082cdd63fc8 |
removed obsolete code from AbstractTypeReasoner and added logging |
| jens dietrich |
Nov 3, 2010 |
7f6b99c34c34 |
added support to recognise primitive types to solver |
| jens dietrich |
Nov 3, 2010 |
c1bdd2c72795 |
Bug fix. Fixes issue 7. |
| jens dietrich |
Nov 3, 2010 |
6d64dc865ba3 |
added new generated test classes for compiler test 13 |
| jens dietrich |
Nov 3, 2010 |
5b588a61a09f |
fixed interface generation (now supports Rel token in generated names) |
| jens dietrich |
Nov 3, 2010 |
85919cf8c93d |
added new regenerated test classes |
| jens dietrich |
Nov 3, 2010 |
080d649d825b |
added another compiler test |
| jens dietrich |
Nov 3, 2010 |
80f15906eb4d |
Compiler test 12 is also working now. Fixes issue 8. |
| jens dietrich |
Nov 2, 2010 |
02333734eb48 |
substitute now also copies annotation properties |
| jens dietrich |
Nov 2, 2010 |
a7fa207fc2b4 |
added toString() to Prereq |
| jens dietrich |
Nov 2, 2010 |
8daa415ddd25 |
Added compiler test scenario 12 - not yet working |
| jens dietrich |
Nov 2, 2010 |
caa71fcc5581 |
Added compiler test scenario 11 |
| jens dietrich |
Nov 2, 2010 |
fb7a4bf5a5dd |
Added compiler test scenario 10 |
| jens dietrich |
Nov 2, 2010 |
0bbd133c193b |
fixed compiler - now generates compilable code for compiler tests 8,10-12 (9 is |
| jens dietrich |
Nov 1, 2010 |
05937cc46be7 |
added clone to substitute, fixed template |
| jens dietrich |
Nov 1, 2010 |
53168ef26107 |
compiler tests that worked before refactoring scheduler are working again
Compil |
| jens dietrich |
Nov 1, 2010 |
bd82da5c6cdc |
fixed template to support new scheduler api |
Code