Last week Kevin and Jan continued the integration work. They provided support for plotting of the so-far computed enclosures when halting computation using the stop button. Kevin implemented a trace view for enclosure values and prepared a first version of the IDE with 3D visualization and enclosure semantics support. Jan also added support for setting of solver parameters from within an acumen program.
In the coming week Kevin will work on adding missing IDE features for the enclosure semantics, such as displaying enclosures as they are computed. Kevin will also look into improving the overall quality of the IDE user experience and the recently added features. Jan will add more benchmarks for enclosure simulation and work on the necessary functionality in the interpreter to support these benchmarks. One such addition will be the lifting of restrictions on the expressions allowed in event guards.
