Set Theory 0.30.a "sets (refactoring)"
General refactoring (too many redundant code).
Milestone information
- Project:
- Set Theory
- Series:
- incremental
- Version:
- 0.30.a
- Code name:
- sets (refactoring)
- Released:
- Registrant:
- Rosivaldo Fernandes Alves
- Release registered:
- Active:
- Yes. Drivers can target bugs and blueprints to this milestone.
Activities
- Assigned to you:
- No blueprints or bugs assigned to you.
- Assignees:
- No users assigned to blueprints and bugs.
- Blueprints:
- No blueprints are targeted to this milestone.
- Bugs:
- No bugs are targeted to this milestone.
Download files for this release
Release notes
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:/
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”.
Changelog
This release does not have a changelog.
0 blueprints and 0 bugs targeted
There are no feature specifications or bug tasks targeted to this milestone. The project's maintainer, driver, or bug supervisor can target specifications and bug tasks to this milestone to track the things that are expected to be completed for the release.