Home Esplora Aiuto
Accedi
taddeus
/
trs
1
0
Forka 0
File Problemi 0 Pull Requests 0 Wiki
Albero (Tree): 32519fa294
Rami (Branch) Tag

Cronologia Commit

Autore SHA1 Messaggio Data
  Taddeus Kroes 28644d89bd Instead of to the outside, negations in multiplications are now brought to the left. 14 anni fa
  Taddeus Kroes 9419b2b185 Added some messages and comments to negation rules. 14 anni fa
  Taddeus Kroes 8d6d4788ac Removed match_negate_group, replaced it with some more generic rules. 14 anni fa
  Taddeus Kroes f5d48c9931 Applied usage of __pos__ operators in some unit tests. 14 anni fa
  Taddeus Kroes 998325838c Added negated division rewrite rules. 14 anni fa