 Taddeus Kroes
|
adb38a1b77
Added derivative operator.
|
14 lat temu |
|
Sander Mathijs van Veen
|
cce9134759
Changed MathJax config file.
|
14 lat temu |
|
Sander Mathijs van Veen
|
7aa305d18c
Added experimental MathJax frontend.
|
14 lat temu |
|
Sander Mathijs van Veen
|
2bc6587617
Merge branch 'master' of kompiler.org:trs
|
14 lat temu |
|
Sander Mathijs van Veen
|
073810b9d7
Added MathJax as an external dependency.
|
14 lat temu |
|
Taddeus Kroes
|
2304214e7f
Modified some hint messages.
|
14 lat temu |
|
Taddeus Kroes
|
864949a2ef
Corrected typo.
|
14 lat temu |
|
Sander Mathijs van Veen
|
5e6cd45a9d
Enabled remaining rewrite of Leiden oefenopgave's test_4_5.
|
14 lat temu |
|
Taddeus Kroes
|
6326dbcda7
Removed double return.
|
14 lat temu |
|
Taddeus Kroes
|
3f2326d181
Removed some finished items from TODO list.
|
14 lat temu |
|
Taddeus Kroes
|
8d921d80a8
Added a validation test.
|
14 lat temu |
|
Taddeus Kroes
|
5211c1769d
Changed rule message.
|
14 lat temu |
|
Taddeus Kroes
|
07603753b1
Upgraded graph_drawing to latest version.
|
14 lat temu |
|
Taddeus Kroes
|
d0da0b903a
Added fraction division rules.
|
14 lat temu |
|
Taddeus Kroes
|
cf27b2634e
Fixed Leiden v12 tests using the new fraction rewrite rules.
|
14 lat temu |
|
Taddeus Kroes
|
1659cc67c5
Added some more fraction rewrite rules.
|
14 lat temu |
|
Taddeus Kroes
|
f46cf729a0
Fixed negation in rule message.
|
14 lat temu |
|
Taddeus Kroes
|
57dba53ee4
Applied negation checks to some fraction rules.
|
14 lat temu |
|
Taddeus Kroes
|
4f0defbd87
Changed rule message.
|
14 lat temu |
|
Taddeus Kroes
|
a15f233f62
Moved division negation is now supported by fraction negation rules.
|
14 lat temu |
|
Taddeus Kroes
|
60155fdc94
Moved division negation to nominator.
|
14 lat temu |
|
Taddeus Kroes
|
dd3690306f
Merge branch 'master' of kompiler.org:trs
|
14 lat temu |
|
Taddeus Kroes
|
b6bd65dbcb
Added some new rules for fractions.
|
14 lat temu |
|
Sander Mathijs van Veen
|
dd5f8afcd9
Fixed merge conflict in TODO list.
|
14 lat temu |
|
Sander Mathijs van Veen
|
5acc67df21
Fixed leiden oefenopgaves test cases 4.3 and 4.5.
|
14 lat temu |
|
Taddeus Kroes
|
7c142aff38
Updated TODO list.
|
14 lat temu |
|
Taddeus Kroes
|
1813271cb0
Updated TODO list.
|
14 lat temu |
|
Taddeus Kroes
|
7fd09bc292
Updated TODO list.
|
14 lat temu |
|
Taddeus Kroes
|
41f9f744d0
Added some TODO's to numeric rules.
|
14 lat temu |
|
Taddeus Kroes
|
4378743ced
Resolved merge conflict.
|
14 lat temu |
