Last week Kevin and Jan and Adam continued to improve the Acumen IDE support for enclosure plotting. Kevin enabled the IDE to display the so-far computed enclosures as they are generated. The progress bar also shows the percentage of the time domain for which enclosures have been computed. Adam modified the way enclosures are displayed so that a single region is shown for each time segment and that the border of the region is clearly demarcated. Jan has been adding fearures, such as extending the syntax with intervals and implementing a simple constraint solver, that will make it possible to simulate more complex benchmarks using the enclosure semantics.
In the coming week Kevin will be improving and simplifying the GUI and interpreter interface code. Jan will focus on further extending and improving the enclosure interpreter as well as finalizing the support for the more complex benchmarks.
