 Sander Mathijs van Veen
|
78daf989fb
Enabled B1_ch08 test case.
|
14 年 前 |
|
Sander Mathijs van Veen
|
a31a9e93ad
Fixed leiden oefenopgave unit test 1.4.
|
14 年 前 |
|
Taddeus Kroes
|
540678134d
Moved token definitions to operator defs in node.py.
|
14 年 前 |
|
Taddeus Kroes
|
047790348d
Fixed ALL! the tests.
|
14 年 前 |
|
Taddeus Kroes
|
8499b85188
Fixed possibilities unit tests.
|
14 年 前 |
|
Taddeus Kroes
|
569d321d2a
Fixed group combination constants.
|
14 年 前 |
|
Sander Mathijs van Veen
|
1efc3675e0
Added leiden oefenopgave test cases.
|
14 年 前 |
|
Sander Mathijs van Veen
|
63ab861b1c
Implemented {match_,}multiply_one functions.
|
14 年 前 |
|
Sander Mathijs van Veen
|
e115283e5a
Avoid duplicated matches by calling only OP_NEG handlers.
|
14 年 前 |
|
Sander Mathijs van Veen
|
6303fe2982
Removed disabled subtree_map implementation.
|
14 年 前 |
|
Sander Mathijs van Veen
|
d75fb60393
Removed useless left() function.
|
14 年 前 |
|
Taddeus Kroes
|
76b5ebeec6
Removed redundant polynome rules.
|
14 年 前 |
|
Taddeus Kroes
|
6e8d634547
Group combinations now support negated constants.
|
14 年 前 |
|
Taddeus Kroes
|
8f90dd671c
Added type-check to non-strict equivalence check.
|
14 年 前 |
|
Taddeus Kroes
|
7979468c88
Added ignore_negation option to non-strict equality check.
|
14 年 前 |
|
Taddeus Kroes
|
17d69216b5
Added test for maximum code coverage in powers rules.
|
14 年 前 |
|
Taddeus Kroes
|
05c35766ea
Added rules that remove powers of 0 and 1.
|
14 年 前 |
|
Taddeus Kroes
|
32519fa294
Fixed messages.
|
14 年 前 |
|
Taddeus Kroes
|
39145aafea
Added support for negated integer equivalence check in Leaf nodes.
|
14 年 前 |
|
Taddeus Kroes
|
144bf670a6
Fixed unit tests for powers rules.
|
14 年 前 |
|
Taddeus Kroes
|
e6d56762e8
Added numeric matches and removed polynome matches.
|
14 年 前 |
|
Taddeus Kroes
|
1453c1cbd3
Fixed numeric rules.
|
14 年 前 |
|
Sander Mathijs van Veen
|
564c751bbe
Removed subtree_map and fixed almost all unit tests.
|
14 年 前 |
|
Taddeus Kroes
|
38c0a79821
Upgraded graph_drawing to latest version.
|
14 年 前 |
|
Taddeus Kroes
|
0e08d36432
Added polynome scope to application funvtion arguments.
|
14 年 前 |
|
Sander Mathijs van Veen
|
53f649a7ab
Parser will add negation to left-most child of scope.
|
14 年 前 |
|
Taddeus Kroes
|
bf7d96e602
Fixed unit tests form group rules.
|
14 年 前 |
|
Taddeus Kroes
|
11a8876c70
Added new Leiden practice addignments to unit tests.
|
14 年 前 |
|
Taddeus Kroes
|
f4ab8d7b1b
Group combinations now take negations into account.
|
14 年 前 |
|
Taddeus Kroes
|
a62ffa0c25
Upgraded graph_drawing to latest version.
|
14 年 前 |
