 Taddeus Kroes
|
5fe152f7c4
Merge branch 'breadth_first' of kompiler.org:trs into breadth_first
|
13 년 전 |
|
Sander Mathijs van Veen
|
b7a6d95d1c
Validation now iterates over best possibilities instead of best indices.
|
13 년 전 |
|
Sander Mathijs van Veen
|
e4b29aa38d
Pick the best possibiltity using the shortest path with breadth first traversal.
|
13 년 전 |
|
Sander Mathijs van Veen
|
42b050efca
Validation now iterates over best possibilities instead of best indices.
|
13 년 전 |
|
Sander Mathijs van Veen
|
d67e91b7da
Pick the best possibiltity using the shortest path with breadth first traversal.
|
13 년 전 |
|
Taddeus Kroes
|
1e47856573
Added a test to complete utils coverage.
|
13 년 전 |
|
Taddeus Kroes
|
a77a89778e
Fixed scope index replacement issue in fraction rule.
|
13 년 전 |
|
Taddeus Kroes
|
91a264526c
Scope removing/replacing is now done using numeric indices instead of node references.
|
13 년 전 |
|
Taddeus Kroes
|
712dbdbcab
Added rules (and tests) for sorting polynomes and monomials.
|
13 년 전 |
|
Taddeus Kroes
|
464b95ee33
Disabled a seemingly useless condition in extract_polynome_properties.
|
13 년 전 |
|
Taddeus Kroes
|
a3de71193e
Generalized structure of sort rules.
|
13 년 전 |
|
Taddeus Kroes
|
77ae42a081
Added pair iterator.
|
13 년 전 |
|
Taddeus Kroes
|
ecf5d46604
Cleared up some variable names.
|
13 년 전 |
|
Taddeus Kroes
|
54783d377e
Added new tree traversal idea to TODO list.
|
13 년 전 |
|
Taddeus Kroes
|
e09fb5e901
Code coverage fix.
|
13 년 전 |
|
Taddeus Kroes
|
3d3792c372
Improved elimination of terms in fraction (de)nominators.
|
13 년 전 |
|
Taddeus Kroes
|
7e9c999323
Relative precedences in strategy now support more than 2 functions in the same list.
|
13 년 전 |
|
Taddeus Kroes
|
08c982bba4
Changed negate() function to negate by reference by default (as a small optimization).
|
13 년 전 |
|
Taddeus Kroes
|
f45d27511f
Added rule that removed fractions from denominators.
|
13 년 전 |
|
Taddeus Kroes
|
e12f71eaed
Added an item to the TODO list.
|
14 년 전 |
|
Taddeus Kroes
|
961c70a79c
Added rules for removing double conjunction/disjunction cases.
|
14 년 전 |
|
Taddeus Kroes
|
71bb582369
Implemented substitution for solving sets of linear equations..
|
14 년 전 |
|
Taddeus Kroes
|
ce4874ef35
Bugfix: forgot to copy negation when reducing simple fractions.
|
14 년 전 |
|
Taddeus Kroes
|
12eebb165e
Updated some comments.
|
14 년 전 |
|
Taddeus Kroes
|
49391e6c0f
Bugfix: added negation copy to substitute function.
|
14 년 전 |
|
Taddeus Kroes
|
358e632e61
Moved n-ary operator definition to a constant list.
|
14 년 전 |
|
Taddeus Kroes
|
dfd858387a
Added coverage exceptions to rule message functions.
|
14 년 전 |
|
Taddeus Kroes
|
7d602a8435
Improved rewriting of the rule that deliberately creates a numeric fraction.
|
14 년 전 |
|
Taddeus Kroes
|
fb6c8bf911
Added bug to TODO list.
|
14 년 전 |
|
Taddeus Kroes
|
65a8b62b54
Improved intergral rule message.
|
14 년 전 |
