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

• e0aa3497ee
  
  Version bump after release 0.1.9 develop Patrick Lühne 2018-05-04 17:24:36 +0200
• 64bab69a36
  
  Version bump for release 0.1.9 v0.1.9 master Patrick Lühne 2018-05-04 17:00:31 +0200
• 9566629237
  
  Document new default options in readme Patrick Lühne 2018-05-04 16:09:04 +0200
• c199f609bd
  
  Enable all processing steps by default Patrick Lühne 2018-05-04 15:59:14 +0200
• 1570432ee0
  
  Add interval precedence fix to change log Patrick Lühne 2018-05-04 15:50:59 +0200
• 0ce4e54d1a
  
  Fix precedence of interval operator Patrick Lühne 2018-05-04 15:30:44 +0200
• fa3ed31eca
  
  Add fix related to choice rules to change log Patrick Lühne 2018-05-04 15:17:35 +0200
• e85807accb
  
  Fix handling of rules with multielement head Patrick Lühne 2018-05-04 13:26:20 +0200
• 3393f84a4a
  
  Add unit tests covering equality checks Patrick Lühne 2018-05-03 16:57:19 +0200
• 7013b9ea54
  
  Fix equality check for binary operations Patrick Lühne 2018-05-03 16:52:29 +0200
• c84ae51ff2
  
  Add unit tests covering integer variable detection Patrick Lühne 2018-05-02 18:29:19 +0200
• d60e2a736b
  
  Update examples Patrick Lühne 2018-04-22 22:26:17 +0200
• bb9013e7c5
  
  Add integer extensions to change log Patrick Lühne 2018-04-20 16:38:57 +0200
• 69688d1d39
  
  Add integer simplification rule Patrick Lühne 2018-04-21 18:12:43 +0200
• a70b1fb726
  
  Print typing formulas for integer parameters Patrick Lühne 2018-04-20 16:23:02 +0200
• a2c4d87852
  
  Prefix integer variables with “N” Patrick Lühne 2018-04-20 16:32:18 +0200
• b60c65a810
  
  Add option to turn on integer variable detection Patrick Lühne 2018-04-20 16:31:53 +0200
• 19e1e16e45
  
  Implement integer variable detection Patrick Lühne 2018-04-29 21:32:14 +0200
• 63f39e5162
  
  Provide function for evaluating formulas Patrick Lühne 2018-04-29 21:27:31 +0200
• 811523e580
  
  Provide term type deduction function Patrick Lühne 2018-04-29 20:37:40 +0200
• 09ef64a0e1
  
  Support declaring functions as integer Patrick Lühne 2018-04-19 16:11:05 +0200
• 43d2c153c7
  
  Represent predicate parameters explicitly Patrick Lühne 2018-04-19 16:35:37 +0200
• 541cb3fb47
  
  Add domain specifier to variable declarations Patrick Lühne 2018-04-13 15:48:03 +0200
• 921d5ed4f0
  
  Remove unnecessary include directives Patrick Lühne 2018-04-28 00:16:55 +0200
• e0509f725a
  
  Replace SimplificationResult with OperationResult Patrick Lühne 2018-04-27 23:37:13 +0200
• 48cf8ee3e0
  
  Minor refactoring Patrick Lühne 2018-04-27 23:34:47 +0200
• f7d99c82fa
  
  Move Tristate class to Utils header Patrick Lühne 2018-04-27 23:18:39 +0200
• 618189368c
  
  Split functions from their declarations Patrick Lühne 2018-04-19 15:41:36 +0200
• d0debc6ad1
  
  Split predicates from their declarations Patrick Lühne 2018-04-13 20:40:40 +0200
• 3ba80e8c9d
  
  Minor refactoring Patrick Lühne 2018-04-20 16:28:36 +0200
• d66d3557c1
  
  Minor refactoring Patrick Lühne 2018-04-19 15:58:30 +0200
• e15a6b2e88
  
  Remove Constant class Patrick Lühne 2018-04-19 15:36:57 +0200
• c1e75afb71
  
  Version bump for release 0.1.9 RC 5 v0.1.9-rc.5 Patrick Lühne 2018-04-22 22:33:38 +0200
• 20112317fd
  
  Update examples Patrick Lühne 2018-04-22 22:26:17 +0200
• 6015b225a2
  
  Remove unintended period at end of lines Patrick Lühne 2018-04-22 22:12:43 +0200
• d3e160222a
  
  Remove obsolete code in examples Patrick Lühne 2018-04-22 22:12:02 +0200
• 8110195d62
  
  Prefix integer variables with “N” Patrick Lühne 2018-04-22 21:10:20 +0200
• 934dceac6e
  
  Version bump for release 0.1.9 RC 4 v0.1.9-rc.4 Patrick Lühne 2018-04-22 21:12:55 +0200
• 4a57a9e502
  
  Prefix integer variables with “N” Patrick Lühne 2018-04-22 21:10:20 +0200
• c4a457e9d8
  
  Version bump for release 0.1.9 RC 3 v0.1.9-rc.3 Patrick Lühne 2018-04-22 17:31:43 +0200
• ea885f5fdb
  
  Fix integer detection Patrick Lühne 2018-04-22 17:04:15 +0200
• 92cd114cf8
  
  Rename “general” domain to “noninteger” Patrick Lühne 2018-04-22 14:48:37 +0200
• 2b62c6227d
  
  Move Domain class to Utils header Patrick Lühne 2018-04-22 14:43:15 +0200
• d6821dd4de
  
  Version bump for release 0.1.9 RC 2 v0.1.9-rc.2 Patrick Lühne 2018-04-21 19:00:11 +0200
• 529aec15af
  
  Add integer simplifications to change log Patrick Lühne 2018-04-21 18:48:57 +0200
• d950b8ec1a
  
  Add integer simplification rule Patrick Lühne 2018-04-21 18:12:43 +0200
• 97190ace71
  
  Add integer check Patrick Lühne 2018-04-21 18:12:06 +0200
• d6a811e363
  
  Move arithmetic check to separate header Patrick Lühne 2018-04-21 17:47:27 +0200
• b1ca027de5
  
  Consolidate commonly used enum classes Patrick Lühne 2018-04-21 17:34:52 +0200
• f190c28ea5
  
  Add integer function declarations to change log Patrick Lühne 2018-04-21 17:13:20 +0200
• 28dbd407e2
  
  Extend integer variable detection Patrick Lühne 2018-04-21 17:10:24 +0200
• 9c792ff079
  
  Fix incorrect index in output Patrick Lühne 2018-04-21 17:09:35 +0200
• f65d4dbbd8
  
  Refactor integer variable detection Patrick Lühne 2018-04-21 16:54:08 +0200
• 8f3ff23f38
  
  Add to-do Patrick Lühne 2018-04-21 15:49:38 +0200
• 03c22d00f5
  
  Remove unwanted detection rule Patrick Lühne 2018-04-21 15:47:49 +0200
• 53c96f0fe7
  
  Version bump for release 0.1.9 RC 1 v0.1.9-rc.1 Patrick Lühne 2018-04-20 16:39:54 +0200
• a9b00dfb7c
  
  Add integer variable detection to change log Patrick Lühne 2018-04-20 16:38:57 +0200
• d1ee6eca19
  
  Add suffix to variables with known domain Patrick Lühne 2018-04-20 16:32:18 +0200
• aedb7e9bbd
  
  Add option to turn on integer variable detection Patrick Lühne 2018-04-20 16:31:53 +0200
• 8b8dd1b57e
  
  Minor refactoring Patrick Lühne 2018-04-20 16:28:36 +0200
• 5bda14342b
  
  Print rules for integer parameters Patrick Lühne 2018-04-20 16:23:02 +0200
• 2f54b7d60e
  
  Minor formatting Patrick Lühne 2018-04-20 16:22:49 +0200
• 2245e139b2
  
  Reimplement integer variable detection Patrick Lühne 2018-04-20 16:12:54 +0200
• 7ba48044ee
  
  Propagate predicate parameter domains Patrick Lühne 2018-04-19 16:57:27 +0200
• 862d03881a
  
  Fix typo Patrick Lühne 2018-04-19 16:56:56 +0200
• 7bde7c498f
  
  Represent predicate parameters explicitly Patrick Lühne 2018-04-19 16:35:37 +0200
• 159717f51c
  
  Support declaring functions as integer Patrick Lühne 2018-04-19 16:11:05 +0200
• 89aec98942
  
  Minor refactoring Patrick Lühne 2018-04-19 15:58:30 +0200
• 55f7fd4ff3
  
  Minor refactoring Patrick Lühne 2018-04-19 15:50:59 +0200
• ae918a0846
  
  Moved Domain enum to separate header Patrick Lühne 2018-04-19 15:48:26 +0200
• f48802842e
  
  Split functions from their declaration Patrick Lühne 2018-04-19 15:41:36 +0200
• b5b05b766c
  
  Remove Constant class Patrick Lühne 2018-04-19 15:36:57 +0200
• 165f6ac059
  
  Implement basic integer variable detection Patrick Lühne 2018-04-19 15:08:50 +0200
• 504f7da4c3
  
  Add unknown variable domain Patrick Lühne 2018-04-19 15:07:35 +0200
• d2b48f9679
  
  Move Tristate class to separate header Patrick Lühne 2018-04-19 14:41:49 +0200
• 2372eb24c4
  
  Refactor predicate representation Patrick Lühne 2018-04-13 20:40:40 +0200
• 87dcd6ee93
  
  Add domain specifier to variable declarations Patrick Lühne 2018-04-13 15:48:03 +0200
• 9a59ac17f5
  
  Version bump after release 0.1.8 Patrick Lühne 2018-04-20 16:37:03 +0200
• 250942643c
  
  Version bump for release 0.1.8 v0.1.8 Patrick Lühne 2018-04-20 16:35:35 +0200
• 815bcda367
  
  Update cxxopts to 2.1.0+1+gcc4914f Patrick Lühne 2018-04-13 14:03:00 +0200
• ec88d26922
  
  Version bump for release 0.1.8 RC 3 v0.1.8-rc.3 Patrick Lühne 2018-04-12 01:06:28 +0200
• 04094eee23
  
  Remove unnecessary parentheses Patrick Lühne 2018-04-12 00:54:27 +0200
• 8c250f5c59
  
  Support modulus operation (absolute value) Patrick Lühne 2018-04-12 00:38:48 +0200
• 1372652d1c
  
  Version bump for release 0.1.8 RC 2 v0.1.8-rc.2 Patrick Lühne 2018-04-11 23:26:39 +0200
• 0608748349
  
  Describe --complete option in readme Patrick Lühne 2018-04-11 23:21:56 +0200
• 31d4a20491
  
  Update change log with recent additions Patrick Lühne 2018-04-11 21:50:15 +0200
• a01e78a467
  
  Add example program for prime number detection Patrick Lühne 2018-04-11 21:42:08 +0200
• 797660d6de
  
  Add new simplification rule Patrick Lühne 2018-04-11 21:39:27 +0200
• b63ef21849
  
  Add example program generating permutations Patrick Lühne 2018-04-11 21:35:29 +0200
• cc3c9b642c
  
  Minor formatting in graph coloring example Patrick Lühne 2018-04-11 21:34:33 +0200
• 40ddee8444
  
  Add new simplification rule Patrick Lühne 2018-04-09 23:46:19 +0200
• 6f7b021712
  
  Add new simplification rule Patrick Lühne 2018-04-09 23:38:58 +0200
• 23624007ec
  
  Add new simplification rule Patrick Lühne 2018-04-09 23:35:02 +0200
• 6d7b91c391
  
  Add new simplification rule Patrick Lühne 2018-04-09 23:13:21 +0200
• b88393655a
  
  Iteratively apply simplification tableau rules Patrick Lühne 2018-03-25 23:49:39 +0200
• c4c3156e77
  
  Move simplification rule to tableau Patrick Lühne 2018-03-25 20:35:22 +0200
• 107dae7287
  
  Move simplification rule to tableau Patrick Lühne 2018-03-25 19:42:55 +0200
• 827d6e40fe
  
  Move simplification rule to tableau Patrick Lühne 2018-03-25 19:33:07 +0200
• 4a85fc4b23
  
  Move simplification rule to tableau Patrick Lühne 2018-03-25 19:29:46 +0200
• 7e3fc007c8
  
  Move simplification rule to tableau Patrick Lühne 2018-03-25 19:14:04 +0200