Commit History

Auteur SHA1 Bericht Datum
  Taddeus Kroes 805a91666a Added some match cases for coverage. 14 jaren geleden
  Taddeus Kroes 7d186db7bb Implemented use of Scope class in multiply_numerics. 14 jaren geleden
  Sander Mathijs van Veen 388752b486 Added support for OP_NEG in multiply_numerics and add_nominators. 14 jaren geleden
  Sander Mathijs van Veen c5b2a5c6ab Added support for fractions with negation and addition of negative numbers. 14 jaren geleden
  Taddeus Kroes efc3c91bf6 Added non-strict equivalence match. 14 jaren geleden
  Taddeus Kroes c680c67e0d Removed duplicate function in unit tests. 14 jaren geleden
  Taddeus Kroes f057cadaa0 Implemented and tested numerics multiplication rewriting. 14 jaren geleden
  Taddeus Kroes a7888fc754 Fixed duplicated fucntion definition in unit tests. 14 jaren geleden
  Taddeus Kroes c2fb403565 Improved numeric rules match functions. 14 jaren geleden
  Taddeus Kroes 6097dce75b Added unit tests for numeric rules. 14 jaren geleden