Commit Graph

Select branches

Hide Pull Requests

develop

master

v0.1.0

v0.1.1

v0.1.2

v0.1.3

v0.1.4

v0.1.5

v0.1.6

v0.1.7

v0.1.7-rc.1

v0.1.7-rc.2

v0.1.7-rc.3

v0.1.8

v0.1.8-rc.1

v0.1.8-rc.2

v0.1.8-rc.3

v0.1.9

v0.1.9-rc.1

v0.1.9-rc.2

v0.1.9-rc.3

v0.1.9-rc.4

v0.1.9-rc.5

Mono Color

• 5c5411c0ff
  
  Implement simplification rule tableau Patrick Lühne 2018-03-25 18:52:36 +0200
• eaabeb0c55
  
  Support exponentiation operator Patrick Lühne 2018-04-09 00:07:47 +0200
• 7b6729acaa
  
  Add missing dependency to Ubuntu image Patrick Lühne 2018-04-10 22:21:20 +0200
• 285fa08e5a
  
  Version bump for release 0.1.8 RC 1 v0.1.8-rc.1 Patrick Lühne 2018-04-10 00:19:55 +0200
• dfffdcfce6
  
  Add new simplification rule Patrick Lühne 2018-04-09 23:46:19 +0200
• 4967576b6c
  
  Add new simplification rule Patrick Lühne 2018-04-09 23:38:58 +0200
• 1c5851441d
  
  Add new simplification rule Patrick Lühne 2018-04-09 23:35:02 +0200
• b18ddcc575
  
  Add new simplification rule Patrick Lühne 2018-04-09 23:13:21 +0200
• 00ab975c2d
  
  Iteratively apply simplification tableau rules Patrick Lühne 2018-03-25 23:49:39 +0200
• e01b5dc561
  
  Move simplification rule to tableau Patrick Lühne 2018-03-25 20:35:22 +0200
• 91529b84aa
  
  Move simplification rule to tableau Patrick Lühne 2018-03-25 19:42:55 +0200
• 1cbfd335a1
  
  Move simplification rule to tableau Patrick Lühne 2018-03-25 19:33:07 +0200
• a86e978a5a
  
  Move simplification rule to tableau Patrick Lühne 2018-03-25 19:29:46 +0200
• 5eb3ed5681
  
  Move simplification rule to tableau Patrick Lühne 2018-03-25 19:14:04 +0200
• 3d0266136c
  
  Implement simplification rule tableau Patrick Lühne 2018-03-25 18:52:36 +0200
• 92fddd6665
  
  Version bump after release 0.1.7 Patrick Lühne 2018-04-08 21:03:20 +0200
• 582b6ade6d
  
  Version bump for release 0.1.7 v0.1.7 Patrick Lühne 2018-04-08 20:22:51 +0200
• e64b2e70de
  
  Remove unused captured lambda reference Patrick Lühne 2018-04-08 20:44:02 +0200
• d7e4af98d7
  
  Update copyright year in license file Patrick Lühne 2018-04-08 20:34:39 +0200
• a406cb43bd
  
  Update graph coloring example with placeholders Patrick Lühne 2018-04-08 20:28:04 +0200
• c294a29cb2
  
  Support placeholders with #external declarations Patrick Lühne 2018-04-05 23:22:25 +0200
• fc4edc670a
  
  Version bump for release 0.1.7 RC 3 v0.1.7-rc.3 Patrick Lühne 2018-04-05 23:31:05 +0200
• bf6bf7f9c3
  
  Support placeholders with #external declarations Patrick Lühne 2018-04-05 23:22:25 +0200
• c91cbaf58b
  
  Update Catch to 2.2.2 Patrick Lühne 2018-04-07 00:22:01 +0200
• b8bfa7db7a
  
  Version bump for release 0.1.7 RC 2 v0.1.7-rc.2 Patrick Lühne 2018-04-05 23:31:05 +0200
• 3e096e39aa
  
  Support placeholders with #external declarations Patrick Lühne 2018-04-05 23:22:25 +0200
• 2a2fec0eac
  
  Update change log with dependency change Patrick Lühne 2018-04-06 23:04:27 +0200
• 09e56c3bce
  
  Format change log sections with proper headings Patrick Lühne 2018-04-06 22:53:59 +0200
• e2c0d6b705
  
  Update cxxopts to 2.0.0+3+gabe9ebd Patrick Lühne 2018-04-06 22:27:52 +0200
• 744496d1d9
  
  Version bump for release 0.1.7 RC 1 v0.1.7-rc.1 Patrick Lühne 2018-04-05 23:31:05 +0200
• 5f771770b3
  
  Support placeholders with #external declarations Patrick Lühne 2018-04-05 23:22:25 +0200
• e01506f9ff
  
  Drop Boost dependency Patrick Lühne 2018-03-25 16:59:15 +0200
• 50ebf3c6de
  
  Install g++ package explicitly on Ubuntu Patrick Lühne 2018-03-25 17:06:40 +0200
• fde2af5841
  
  Add clang to Travis configurations Patrick Lühne 2018-03-24 18:10:58 +0100
• 22238bb398
  
  Switch to C++17 Patrick Lühne 2018-03-22 17:20:54 +0100
• c7d1026a31
  
  Switch Travis to Docker Patrick Lühne 2018-03-23 17:27:20 +0100
• 6b1cf6735e
  
  Update clingo to 5.2.2 Patrick Lühne 2018-03-21 16:41:08 +0100
• addc65e3c5
  
  Update Catch to 2.2.1 Patrick Lühne 2018-03-21 16:35:54 +0100
• 427e5705c7
  
  Fixed order of CMake options. v0.1.6 v0.1.5 v0.1.4 v0.1.3 v0.1.2 v0.1.1 v0.1.0 Patrick Lühne 2017-06-20 02:05:12 +0200
• bda57b2fe7
  
  Fixed incorrect handling of CMake options. Patrick Lühne 2017-06-18 15:04:45 +0200
• b7cd875f0e
  
  Updated Catch. Patrick Lühne 2017-06-15 15:27:51 +0200
• be19a5f66b
  
  Version bump after release 0.1.6. Patrick Lühne 2017-06-13 00:14:16 +0200
• 675a3e2eb7
  
  Version bump for release 0.1.6. Patrick Lühne 2017-06-12 18:38:36 +0200
• 4f399a594a
  
  Updated change log with new examples for experimenting. Patrick Lühne 2017-06-12 18:35:06 +0200
• 5f8c144628
  
  Fixed regression in simplifying predicates with more than one argument. Patrick Lühne 2017-06-12 18:27:39 +0200
• 64c9a741c4
  
  Added example with simple propositions. Patrick Lühne 2017-06-12 15:42:23 +0200
• 1f1006ea96
  
  Corrected hiding predicates that are simple propositions. Patrick Lühne 2017-06-12 15:34:35 +0200
• 7665cb7bf1
  
  Added unit test for the completion of predicates with nested arguments. Patrick Lühne 2017-06-12 15:32:05 +0200
• d7641aa410
  
  Added example with nested predicate arguments. Patrick Lühne 2017-06-12 03:05:21 +0200
• eb730b9f8b
  
  Added example for attempting to hide a circular predicate dependency. Patrick Lühne 2017-06-12 02:48:15 +0200
• ecdefa9221
  
  Added graph coloring example. Patrick Lühne 2017-06-12 02:43:19 +0200
• c1899a6347
  
  Added Schur numbers example. Patrick Lühne 2017-06-12 02:27:57 +0200
• a4cd133ba7
  
  Correctly implemented hiding predicates with nested arguments. Patrick Lühne 2017-06-12 02:21:16 +0200
• 1d172589f5
  
  Rephrased change log entry for clarity. Patrick Lühne 2017-06-09 22:13:05 +0200
• 649489a1eb
  
  Renamed unit test for clarity. Patrick Lühne 2017-06-09 22:10:43 +0200
• fd40bd1a5b
  
  Added bug fix to change log. Patrick Lühne 2017-06-09 22:02:02 +0200
• cbe87d8cb7
  
  Fixed issue with simplifying binary operations in arguments. Patrick Lühne 2017-06-09 22:00:00 +0200
• 9d1a1249d3
  
  Removed obsolete to-do. Patrick Lühne 2017-06-09 20:19:46 +0200
• 0d5fb00286
  
  Updated clingo. Patrick Lühne 2017-06-06 19:26:33 +0200
• 1e887594c7
  
  Updated change log with new option --parentheses. Patrick Lühne 2017-06-06 02:07:21 +0200
• bbbd0b65a4
  
  Added new option --parentheses=full to make parsing the output easier. Patrick Lühne 2017-06-06 02:02:26 +0200
• 0285c1cbbb
  
  Renamed internal variables for clarity. Patrick Lühne 2017-06-06 01:44:44 +0200
• 95984f0447
  
  Added warning when attempting to use #show statements without completion. Patrick Lühne 2017-06-05 04:24:00 +0200
• 19ede968ed
  
  Added unit test that predicate arity is respected by #show statements. Patrick Lühne 2017-06-05 04:00:09 +0200
• 7ae0a1f289
  
  Removed unnecessary parentheses after simplification. Patrick Lühne 2017-06-05 03:58:39 +0200
• 3b26580815
  
  Minor formatting. Patrick Lühne 2017-06-05 03:54:17 +0200
• b272a91888
  
  Extended unit test for circular dependencies and #show. Patrick Lühne 2017-06-05 03:40:41 +0200
• b91e55dfc4
  
  Added unit test for recognizing Booleans when hiding statements. Patrick Lühne 2017-06-05 03:39:10 +0200
• 7904b41e60
  
  Added unit test covering circular dependencies with #show statements. Patrick Lühne 2017-06-05 03:34:13 +0200
• adabe1bf1a
  
  Added simple unit tests for #show statements. Patrick Lühne 2017-06-05 03:26:09 +0200
• 2cbc3116b8
  
  Updated change log with new #show and simplification features. Patrick Lühne 2017-06-05 03:07:50 +0200
• 14abc37116
  
  Implemented #show statements for completed output. Patrick Lühne 2017-06-05 02:50:30 +0200
• 4fd143ef64
  
  Added simplification rule “exists X (X = Y)” → “#true.” Patrick Lühne 2017-06-05 02:41:17 +0200
• 7bf5d3867d
  
  Minor clarification on side effects of a function. Patrick Lühne 2017-06-05 00:19:43 +0200
• b4c8ce3dc4
  
  Extended AST visitors with optional return type. Patrick Lühne 2017-06-04 21:59:19 +0200
• ab71e8eb0a
  
  Minor refactoring. Patrick Lühne 2017-06-04 14:47:53 +0200
• dcc504ebc0
  
  Added another simplification step after completion. Patrick Lühne 2017-06-04 14:36:09 +0200
• 4ed4458f1b
  
  Fixed typos in error messages. Patrick Lühne 2017-06-04 04:43:07 +0200
• 64bd1c17e3
  
  Improved debug output. Patrick Lühne 2017-06-02 14:59:13 +0200
• 381d55b6ed
  
  Minor formatting fix. Patrick Lühne 2017-06-01 16:16:06 +0200
• 2bc60d3eea
  
  Started implementing support for #show statements. Patrick Lühne 2017-06-01 04:05:11 +0200
• 663c59c470
  
  Removed unused function. Patrick Lühne 2017-06-01 03:43:18 +0200
• 85614296e2
  
  Improved debug message. Patrick Lühne 2017-06-01 03:32:19 +0200
• cdcee897ec
  
  Added missing error message when input file does not exist. Patrick Lühne 2017-06-01 03:29:09 +0200
• 0930e062c4
  
  Enforcing color output when testing for convenience. Patrick Lühne 2017-06-01 03:08:05 +0200
• 4baed6fbc6
  
  Added back completion support. Patrick Lühne 2017-06-01 02:37:45 +0200
• c47bd3c934
  
  Noted to-do. Patrick Lühne 2017-06-01 02:32:45 +0200
• b918da3c49
  
  Minor formatting. Patrick Lühne 2017-06-01 00:19:09 +0200
• e998c5b7be
  
  Removed unused variable. Patrick Lühne 2017-06-01 00:16:02 +0200
• 957457939c
  
  Minor formatting. Patrick Lühne 2017-06-01 00:15:48 +0200
• 4f003a8730
  
  Noted to-do. Patrick Lühne 2017-05-31 18:12:24 +0200
• 830b8846d6
  
  Added more constructor options for exceptions. Patrick Lühne 2017-05-31 18:10:55 +0200
• 193b7f5c91
  
  Noted to-do. Patrick Lühne 2017-05-31 18:07:27 +0200
• 0d8b1e94da
  
  Refactored error handling. Patrick Lühne 2017-05-31 18:03:19 +0200
• aea640a624
  
  Updated change log with unique variable ID feature. Patrick Lühne 2017-05-30 18:22:01 +0200
• 1de0486989
  
  Removed unnecessary namespace identifiers. Patrick Lühne 2017-05-30 18:13:31 +0200
• 664a57ec68
  
  Fixed issue with multi-layer variable stacks. Patrick Lühne 2017-05-30 18:09:33 +0200
• 7aad8380d1
  
  Refactored logging interface. Patrick Lühne 2017-05-30 17:19:26 +0200
• 59fbc473df
  
  Dropping now unused head variable names. Patrick Lühne 2017-05-30 16:40:56 +0200
• 8214d7837a
  
  Fixed incorrect variable declaration look-up in variable stack. Patrick Lühne 2017-05-30 16:40:14 +0200