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