- 14 Jan, 2012 10 commits
-
-
Sander Mathijs van Veen authored
-
Sander Mathijs van Veen authored
-
Sander Mathijs van Veen authored
-
Taddeus Kroes authored
-
Taddeus Kroes authored
-
Taddeus Kroes authored
-
Taddeus Kroes authored
-
Taddeus Kroes authored
-
Taddeus Kroes authored
-
Taddeus Kroes authored
-
- 12 Jan, 2012 2 commits
-
-
Sander Mathijs van Veen authored
-
Sander Mathijs van Veen authored
-
- 09 Jan, 2012 3 commits
-
-
Sander Mathijs van Veen authored
-
Sander Mathijs van Veen authored
-
Taddeus Kroes authored
-
- 08 Jan, 2012 19 commits
-
-
Taddeus Kroes authored
-
Taddeus Kroes authored
- Added two new match functions, that still have to filled in. - Division of identifiers yielded a rewrite possibility before, this is now fixed so that only numerics will be divided.
-
Taddeus Kroes authored
- Removed useless is_leaf check, since that is implicit in type checking.
-
Taddeus Kroes authored
-
Taddeus Kroes authored
-
Taddeus Kroes authored
- Now, integer- and float-leaves are never considered equal.
-
Taddeus Kroes authored
- Moved combine_numerics to new rules file and renamed it to add_numerics. - Added (match_)divide_numerics that checks if numbers can be divided without losing precision.
-
Taddeus Kroes authored
-
Sander Mathijs van Veen authored
-
Taddeus Kroes authored
-
Taddeus Kroes authored
-
Taddeus Kroes authored
-
Sander Mathijs van Veen authored
-
Sander Mathijs van Veen authored
-
Taddeus Kroes authored
-
Taddeus Kroes authored
-
Taddeus Kroes authored
-
Sander Mathijs van Veen authored
-
Taddeus Kroes authored
-
- 07 Jan, 2012 6 commits
-
-
Taddeus Kroes authored
-
Taddeus Kroes authored
-
Taddeus Kroes authored
-
Taddeus Kroes authored
-
Taddeus Kroes authored
- Addition, subtraction, multiplication of powers are covered, see src/rules/powers for more details. - All cases have been unit tested. - Match functions have been added to the rules list in comments, to be uncommented when verified.
-
Taddeus Kroes authored
-