Home Explore Help
Sign In
taddeus
/
trs
1
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Tree: ed513ed6ac
Branches Tags

Commit History

Author SHA1 Message Date
  Taddeus Kroes 42662f455b Changed negation precedence to that of subtraction and modified rules+tests correspondingly. 14 years ago
  Taddeus Kroes 6e8d634547 Group combinations now support negated constants. 14 years ago
  Taddeus Kroes bf7d96e602 Fixed unit tests form group rules. 14 years ago
  Taddeus Kroes 6f628ddddb Added group combination to rules. 14 years ago
  Taddeus Kroes efc3c91bf6 Added non-strict equivalence match. 14 years ago