Set Theory 0.30.a "sets (refactoring)"

General refactoring (too many redundant code).

Milestone information

Set Theory
Code name:
sets (refactoring)
Rosivaldo Fernandes Alves
Release registered:
Yes. Drivers can target bugs and blueprints to this milestone.  

Download RDF metadata


Assigned to you:
No blueprints or bugs assigned to you.
No users assigned to blueprints and bugs.
No blueprints are targeted to this milestone.
No bugs are targeted to this milestone.

Download files for this release

After you've downloaded a file, you can verify its authenticity using its MD5 sum or signature. (How do I verify a download?)

File Description Downloads
download icon set-theory-0.30.a-r201.sha256 (md5) SHA-256 checksums 4
last downloaded 18 weeks ago
download icon set-theory-0.30.a-r201.tar.gz (md5) Source and docs (.tar.gz) 5
last downloaded 19 weeks ago
download icon (md5) Source and docs (zip) 6
last downloaded 19 weeks ago
download icon set-theory-0.30.a-r201.7z (md5) Source and docs (7z) 5
last downloaded 21 weeks ago
Total downloads: 20

Release notes 

    • 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.
    • 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”.


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.

This milestone contains Public information
Everyone can see this information.