patrick/anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity
205 Commits 2 Branches 21 Tags
cdcee897ec09599cc9c257cb987d1cc6ad87b8db
Commit Graph
205 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
patrick cdcee897ec Added missing error message when input file does not exist. 2017-06-01 03:29:09 +02:00
patrick 0930e062c4 Enforcing color output when testing for convenience. 2017-06-01 03:08:05 +02:00
patrick 4baed6fbc6 Added back completion support. 2017-06-01 02:37:45 +02:00
patrick c47bd3c934 Noted to-do. 2017-06-01 02:32:45 +02:00
patrick b918da3c49 Minor formatting. 2017-06-01 00:19:09 +02:00
patrick e998c5b7be Removed unused variable. 2017-06-01 00:16:02 +02:00
patrick 957457939c Minor formatting. 2017-06-01 00:15:48 +02:00
patrick 4f003a8730 Noted to-do. 2017-05-31 18:12:24 +02:00
patrick 830b8846d6 Added more constructor options for exceptions. 2017-05-31 18:10:55 +02:00
patrick 193b7f5c91 Noted to-do. 2017-05-31 18:07:27 +02:00
patrick 0d8b1e94da Refactored error handling. 2017-05-31 18:03:19 +02:00
patrick aea640a624 Updated change log with unique variable ID feature. 2017-05-30 18:22:01 +02:00
patrick 1de0486989 Removed unnecessary namespace identifiers. 2017-05-30 18:13:31 +02:00
patrick 664a57ec68 Fixed issue with multi-layer variable stacks. 2017-05-30 18:09:33 +02:00
patrick 7aad8380d1 Refactored logging interface. 2017-05-30 17:19:26 +02:00
patrick 59fbc473df Dropping now unused head variable names. 2017-05-30 16:40:56 +02:00
patrick 8214d7837a Fixed incorrect variable declaration look-up in variable stack. 2017-05-30 16:40:14 +02:00
patrick 2964dd1309 Restricting variable stack look-up to user-defined variables. 2017-05-30 16:39:44 +02:00
patrick f78c0e4da5 Reordered constructor parameters of VariableDeclaration. 2017-05-30 16:27:45 +02:00
patrick 9a3c85dc83 Dropping now unused body variable names. 2017-05-30 16:20:57 +02:00
patrick 1917f18b6a Added back simplification support. 2017-05-30 04:06:56 +02:00
patrick 1c925d661b Major refactoring to uniquely link variables to their declarations (breaks simplification and completion). 2017-05-30 03:56:35 +02:00
patrick ce159c7bf0 Added missing assertion. 2017-05-23 15:25:55 +02:00
patrick c2f8762dc1 Removed unnecessary CMake directive. 2017-05-08 14:41:02 +02:00
patrick 48271cea88 Removed obsolete to-do. 2017-05-05 13:51:07 +02:00
patrick 7145d05fb9 Version bump after release 0.1.5. 2017-05-04 16:46:24 +02:00
patrick 3b11eb906a Version bump for release 0.1.5. 2017-05-04 16:00:49 +02:00
patrick d056fabb8b Fixes lost signs with negated 0-ary predicates. 2017-05-04 15:44:37 +02:00
patrick a1793e2dff Updated Catch. 2017-05-04 12:45:39 +02:00
patrick 0f57b96ab9 Updated clingo. 2017-05-04 12:44:51 +02:00
patrick 33f426d860 Version bump after release 0.1.4. 2017-04-12 01:22:15 +02:00
patrick 9a81e12a8f Version bump for release 0.1.4. 2017-04-12 00:59:55 +02:00
patrick 799e77170b Fixed typo. 2017-04-12 00:59:26 +02:00
patrick 7719c4a30b Reverting clingo to older, stable commit for release. 2017-04-12 00:51:56 +02:00
patrick 108c51cf28 Fixed Variant move semantic issue with older compilers. 2017-04-11 16:59:58 +02:00
patrick e7f3c69b77 Fixed incorrectly selected clingo commit. 2017-04-11 15:58:32 +02:00
patrick d999415c3d Enforcing move semantics on all AST elements explicitly. 2017-04-11 15:55:31 +02:00
patrick 6e7abb283e Fixed minor incorrect variable references. 2017-04-10 17:50:19 +02:00
patrick 57bc28bfd3 Updated clingo. 2017-04-10 16:52:48 +02:00
patrick ddeeaecf50 Updated change log with new support for completion. 2017-04-10 16:49:59 +02:00
patrick 5948d30e5c Refactored implementation of completion. 2017-04-10 16:32:12 +02:00
patrick 5fd5b4c1ab Updated Catch. 2017-04-10 14:50:49 +02:00
patrick d4ce0d54e8 Fixed typo. 2017-04-10 14:30:35 +02:00
patrick b0388b9b28 Added example from the completion paper as unit test. 2017-04-08 20:22:50 +02:00
patrick 37526bcc8e Fixed incorrect handling of implications with Booleans. 2017-04-08 20:17:01 +02:00
patrick 2ef3ef24a1 Fixed typos in unit test case. 2017-04-08 20:02:20 +02:00
patrick 2ae5cfbfa6 Enforcing unit tests not to throw exceptions. 2017-04-08 19:59:59 +02:00
patrick a1648e27c9 Added tests covering completion of integrity constraints and facts. 2017-04-08 18:50:42 +02:00
patrick 350f31d0fd Added simple unit tests for completion. 2017-04-08 18:47:06 +02:00
patrick ac7a0f6d4c Fixed typo. 2017-04-08 18:42:36 +02:00