 Taddeus Kroes
|
cf27b2634e
Fixed Leiden v12 tests using the new fraction rewrite rules.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
1659cc67c5
Added some more fraction rewrite rules.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
f46cf729a0
Fixed negation in rule message.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
57dba53ee4
Applied negation checks to some fraction rules.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
4f0defbd87
Changed rule message.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
a15f233f62
Moved division negation is now supported by fraction negation rules.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
60155fdc94
Moved division negation to nominator.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
dd3690306f
Merge branch 'master' of kompiler.org:trs
|
14 năm trước cách đây |
|
Taddeus Kroes
|
b6bd65dbcb
Added some new rules for fractions.
|
14 năm trước cách đây |
|
Sander Mathijs van Veen
|
dd5f8afcd9
Fixed merge conflict in TODO list.
|
14 năm trước cách đây |
|
Sander Mathijs van Veen
|
5acc67df21
Fixed leiden oefenopgaves test cases 4.3 and 4.5.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
7c142aff38
Updated TODO list.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
1813271cb0
Updated TODO list.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
7fd09bc292
Updated TODO list.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
41f9f744d0
Added some TODO's to numeric rules.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
4378743ced
Resolved merge conflict.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
bf1bfdad49
Added tests for recently added numeric division rules.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
f39fc1f55a
Added tests for recently added numeric division rules.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
e20e19366d
Added some numeric division rules.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
1a15deb503
Clarified function name.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
b2981eeb84
Updated TODO list.
|
14 năm trước cách đây |
|
Sander Mathijs van Veen
|
7175d98667
Added test cases for raise_numerics.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
c03390ba48
Implemented and tested some new rules for fractions.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
3a090e5f77
Updated TODO list.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
eb087f2eb3
Added rule to multiply fractions.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
6029187f59
Equalized syntax over Leiden v12 unit tests.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
697592af5f
Added possibility to multiply denominators of division addition.
|
14 năm trước cách đây |
|
Sander Mathijs van Veen
|
01acdf1898
Updated TODO list.
|
14 năm trước cách đây |
|
Sander Mathijs van Veen
|
1724ba2f2c
Added raise_numerics rule and added leiden oefenopgaven 1 and 2 as test cases.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
a7505db7bb
Upgraded graph_drawing to latest version.
|
14 năm trước cách đây |
