 Taddeus Kroes
|
47ed06252d
Implemented an optimization in new validation implementation.
|
13 роки тому |
|
Taddeus Kroes
|
0eadc533f5
Implemented a new, lightweight way of validation as described in the TODO list.
|
13 роки тому |
|
Taddeus Kroes
|
fc6e58ad11
Added a slightly different sphere volume test, which fails (should succeed).
|
13 роки тому |
|
Taddeus Kroes
|
e3a6479568
Fixed some integral rules using negation and added a power rule:
|
13 роки тому |
|
Taddeus Kroes
|
8f84aef468
Added a unit test that mysteriously failes validation...
|
13 роки тому |
|
Sander Mathijs van Veen
|
3c4c11f688
Add AGPLv3 header to all source files.
|
13 роки тому |
|
Taddeus Kroes
|
03747c5462
Added failing unit tests for validation.
|
14 роки тому |
|
Taddeus Kroes
|
52dcf02f95
Modified parser to fit MathJax syntax.
|
14 роки тому |
|
Taddeus Kroes
|
8d921d80a8
Added a validation test.
|
14 роки тому |
|
Sander Mathijs van Veen
|
ffb9e90604
Fixed typo in unit test name.
|
14 роки тому |
|
Sander Mathijs van Veen
|
0ac438f3bf
Added basic validation functionality.
|
14 роки тому |
