0.30.a
Set Theory 0.30.a "sets (refactoring)"
General refactoring (too many redundant code).
0.30.a:
• General refactoring removed redundant code, saving some 1910 lines of code.
• Documentation:
◦ due too a bug (not yet understood) in EiffelStudio’s documentation generator, the system HTML documentation (file://$(system_path)/doc/html/index.html) was not updated to reflect the current state of the system; inside EiffelStudio, however, clusters’ diagrams were updated properly.
0.30:
• Implemented features: "sets" clusters, which consist of
◦ sts_sets cluster: minimal specification of core concepts in set theory;
◦ stp_sets_properties cluster: extended specification of core concepts in set theory;
◦ sti_sets cluster: implementation of core concepts in set theory, grounded on previous clusters;
◦ stt_sets_tests cluster: test suites for the implementation in sti_sets.
• Pending features:
◦ numbers-related clusters: numeric sets, i.e. N, Z, R and C, specified, implemented and tested according to all previous clusters.
Major releases ahead
Once the current release is consolidated, I will add to the project the clusters “relations”, “functions” and “operations”.
2018-08-27 00:27:49 UTC