 Sander Mathijs van Veen
|
ef8b625f80
Enabled last case in test 1.4.1.
|
14 년 전 |
|
Sander Mathijs van Veen
|
6ce321c334
Updated to latest graph drawing version.
|
14 년 전 |
|
Sander Mathijs van Veen
|
deeb7ca948
Instead of printing the rewrite chain, append it to the assertion message.
|
14 년 전 |
|
Sander Mathijs van Veen
|
51666c36c2
Removed redundant debugging statement from negation rules.
|
14 년 전 |
|
Sander Mathijs van Veen
|
037b682172
Fixed negation assertion bug.
|
14 년 전 |
|
Sander Mathijs van Veen
|
76b7149de4
Trying to fix the negation AssertionError (work in progress).
|
14 년 전 |
|
Taddeus Kroes
|
28644d89bd
Instead of to the outside, negations in multiplications are now brought to the left.
|
14 년 전 |
|
Taddeus Kroes
|
1c0dece552
Upgraded graph_drawing to latest version.
|
14 년 전 |
|
Taddeus Kroes
|
9419b2b185
Added some messages and comments to negation rules.
|
14 년 전 |
|
Taddeus Kroes
|
8b4634e0de
Uncommented negation assertion.
|
14 년 전 |
|
Taddeus Kroes
|
8d6d4788ac
Removed match_negate_group, replaced it with some more generic rules.
|
14 년 전 |
|
Taddeus Kroes
|
fddfbe2da6
Some minor code improvements.
|
14 년 전 |
|
Taddeus Kroes
|
caa4934234
Upgraded graph_drawing to latest version.
|
14 년 전 |
|
Taddeus Kroes
|
9de118b189
Upgraded graph_drawing to latest version.
|
14 년 전 |
|
Taddeus Kroes
|
730afc4aca
Corrected typo.
|
14 년 전 |
|
Taddeus Kroes
|
031e326f0a
Added equality chck and negation take-over to Scope object.
|
14 년 전 |
|
Taddeus Kroes
|
f5d48c9931
Applied usage of __pos__ operators in some unit tests.
|
14 년 전 |
|
Taddeus Kroes
|
0b791b7f63
Added __pos__ operator for negation reduction.
|
14 년 전 |
|
Taddeus Kroes
|
f51ea5e32c
Applied pep8 to unit tests.
|
14 년 전 |
|
Taddeus Kroes
|
c7a9125f63
Applied usage of Scope.replace method and fixed some failing unit tests.
|
14 년 전 |
|
Taddeus Kroes
|
b63b5130b1
Added negation counter to strict equivalence check and added 'replace' function to Scope class.
|
14 년 전 |
|
Sander Mathijs van Veen
|
105cd26942
Removed OP_NEG operator from source code (partially done).
|
14 년 전 |
|
Taddeus Kroes
|
139ec7384c
Upgraded graph_drawing to latest version (with negation counter).
|
14 년 전 |
|
Sander Mathijs van Veen
|
d81e996d41
Merge remote branch 'origin/negated' into negated
|
14 년 전 |
|
Sander Mathijs van Veen
|
7b75040e7a
Use 'negated' attribute instead of a negation node.
|
14 년 전 |
|
Sander Mathijs van Veen
|
12fe0a374b
Updated to latest pybison and graph_drawing versions.
|
14 년 전 |
|
Sander Mathijs van Veen
|
6c45055905
Updated to latest pybison and graph_drawing versions.
|
14 년 전 |
|
Sander Mathijs van Veen
|
9c817a94c0
Use 'negated' attribute instead of a negation node.
|
14 년 전 |
|
Sander Mathijs van Veen
|
1c9969fde6
Removed explicit negation node from test cases.
|
14 년 전 |
|
Sander Mathijs van Veen
|
fb5adcacf2
Changed test case for line() to a binary operator.
|
14 년 전 |
