Commit Graph

20 Commits

Author SHA1 Message Date
0beab67bd4
Made effect variant more concise. 2017-06-27 17:50:42 +02:00
4622f31fa4
Made conditional effect variant more concise. 2017-06-27 17:43:00 +02:00
6e858ff52f
Enabled test case again by exchanging unsupported input file. 2017-06-24 21:49:06 +02:00
ca02b8ce62
Throwing exceptions for unsupported features instead of silently accepting them. 2017-06-24 20:27:01 +02:00
2851f8d286
Corrected grammar of initial state facts. 2017-06-23 03:41:52 +02:00
60d8b9ba77
Fixed incorrect parsing order of type declarations. 2017-06-19 00:18:02 +02:00
1379c24362
Renamed test sections for clarity. 2017-06-19 00:18:02 +02:00
e364d01cf4
Fixed issue in parsing typed objects in multiple iterations and added test case. 2017-06-19 00:18:02 +02:00
83a36003b1
Added test case covering complicated nested effects. 2017-06-19 00:18:01 +02:00
fc48b8f694
Added test case covering typed objects. 2017-06-19 00:18:01 +02:00
195cffbf88
Fixed incorrectly determined parent types and added unit test. 2017-06-19 00:18:01 +02:00
bfb382de52
Fixed incorrect constant types and added unit test. 2017-06-19 00:18:01 +02:00
615167e7cd
Implemented compatibility mode to support old instances. 2017-06-19 00:18:01 +02:00
da2a3eefa4
Added extensive test covering Blocksworld instance. 2017-06-19 00:18:01 +02:00
3877012274
Minor extension of unit test covering Blocksworld domain. 2017-06-19 00:18:01 +02:00
e0aca18b38
Removed unnecessary directives in test case. 2017-06-19 00:18:01 +02:00
19c81effbe
Added extensive test for Blocksworld domain. 2017-06-19 00:18:00 +02:00
f349b5e351
Minor formatting. 2017-06-19 00:14:29 +02:00
9fbe0db567
Extended unit test on “either” types. 2017-06-19 00:14:05 +02:00
1876d1fe0b
Fixed parsing of types. 2017-06-19 00:14:01 +02:00