Taddeus Kroes 0eadc533f5 Implemented a new, lightweight way of validation as described in the TODO list. 13 роки тому
..
__init__.py 3c4c11f688 Add AGPLv3 header to all source files. 13 роки тому
parser.py 3c4c11f688 Add AGPLv3 header to all source files. 13 роки тому
rules.mk 13ff0b53d8 Removed unneeded build dependency. 13 роки тому
rulestestcase.py 3c4c11f688 Add AGPLv3 header to all source files. 13 роки тому
test_b1_ch08.py 3c4c11f688 Add AGPLv3 header to all source files. 13 роки тому
test_b1_ch10.py 3c4c11f688 Add AGPLv3 header to all source files. 13 роки тому
test_calc.py 3c4c11f688 Add AGPLv3 header to all source files. 13 роки тому
test_exception.py 3c4c11f688 Add AGPLv3 header to all source files. 13 роки тому
test_leiden_oefenopgave.py 3c4c11f688 Add AGPLv3 header to all source files. 13 роки тому
test_leiden_oefenopgave_v12.py 3c4c11f688 Add AGPLv3 header to all source files. 13 роки тому
test_node.py 3c4c11f688 Add AGPLv3 header to all source files. 13 роки тому
test_parser.py 719fc68d7a Added temporary fix to solve negated integral bounds syntax error. 13 роки тому
test_possibilities.py 3c4c11f688 Add AGPLv3 header to all source files. 13 роки тому
test_rewrite.py 3c4c11f688 Add AGPLv3 header to all source files. 13 роки тому
test_rules_absolute.py 3c4c11f688 Add AGPLv3 header to all source files. 13 роки тому
test_rules_derivatives.py 3c4c11f688 Add AGPLv3 header to all source files. 13 роки тому
test_rules_factors.py 3c4c11f688 Add AGPLv3 header to all source files. 13 роки тому
test_rules_fractions.py 3c4c11f688 Add AGPLv3 header to all source files. 13 роки тому
test_rules_goniometry.py 3c4c11f688 Add AGPLv3 header to all source files. 13 роки тому
test_rules_groups.py 3c4c11f688 Add AGPLv3 header to all source files. 13 роки тому
test_rules_integrals.py e3a6479568 Fixed some integral rules using negation and added a power rule: 13 роки тому
test_rules_lineq.py 3c4c11f688 Add AGPLv3 header to all source files. 13 роки тому
test_rules_logarithmic.py 3c4c11f688 Add AGPLv3 header to all source files. 13 роки тому
test_rules_negation.py 3c4c11f688 Add AGPLv3 header to all source files. 13 роки тому
test_rules_numerics.py 3c4c11f688 Add AGPLv3 header to all source files. 13 роки тому
test_rules_powers.py e3a6479568 Fixed some integral rules using negation and added a power rule: 13 роки тому
test_rules_sort.py 3c4c11f688 Add AGPLv3 header to all source files. 13 роки тому
test_rules_sqrt.py 3c4c11f688 Add AGPLv3 header to all source files. 13 роки тому
test_rules_utils.py 3c4c11f688 Add AGPLv3 header to all source files. 13 роки тому
test_strategy.py 3c4c11f688 Add AGPLv3 header to all source files. 13 роки тому
test_validation.py 0eadc533f5 Implemented a new, lightweight way of validation as described in the TODO list. 13 роки тому