コミット履歴

作者 SHA1 メッセージ 日付
  Sander Mathijs van Veen 3c4c11f688 Add AGPLv3 header to all source files. 13 年 前
  Taddeus Kroes 42662f455b Changed negation precedence to that of subtraction and modified rules+tests correspondingly. 14 年 前
  Taddeus Kroes 6e8d634547 Group combinations now support negated constants. 14 年 前
  Taddeus Kroes bf7d96e602 Fixed unit tests form group rules. 14 年 前
  Taddeus Kroes 6f628ddddb Added group combination to rules. 14 年 前
  Taddeus Kroes efc3c91bf6 Added non-strict equivalence match. 14 年 前