In the previous week Adam and Jan further developed tests, fixed bugs in the enclosure-based solver, and began to look at integrating the solver with Acumen. The user can now choose the enclosure option in a semantics menu in the GUI. A semantics flag has also been added to the command-line interface (CLI) version.
Jan fixed a bug in the implementation of the integral operator and completed an implementation of multiplication of affine enclosures.
In the coming week the focus will be on continuing the integration effort Adam and Jan began earlier and on developing a suitable representation of the simulator output that will be used to replace the table of time-series that the other older semantics as as the starting point for the plotting functionality.
Jan fixed a bug in the implementation of the integral operator and completed an implementation of multiplication of affine enclosures.
In the coming week the focus will be on continuing the integration effort Adam and Jan began earlier and on developing a suitable representation of the simulator output that will be used to replace the table of time-series that the other older semantics as as the starting point for the plotting functionality.
