New release: Set Theory 0.30.d

Written for Set Theory by Rosivaldo Fernandes Alves on 2018-12-02

Release notes
0.30.d:
    • Specifications, properties, implementation and tests were rewritten as much as possible to leverage from using agents.
    • Several new features, intended to be used instead of in-line agents, were specified, implemented and tested.
    • Documentation:
        ◦ Still no diagram included (please see the reason in previous release);
        ◦ EiffelStudio still can not render right some samples of code that use class (instance-free) features, causing the classes that have such kind of code be rendered incompletely on automatic documentation (e.g. STI_SET).

Updated . Read more

Read all announcements