During the past week Adam has worked on integrating a basic JFreeChart-based plotter into the Acumen IDE with Kevin and added PDF export of such plots. He also reviewed literature on reachability analysis tools and found the recent paper Taylor Model Flowpipe Construction for Non-linear Hybrid Systems by Chen, Ábraahám and Sankaranarayanan especially interesting. While working with Jan on debugging the enclosure interpreter, Adam found that using Scala's require statements (runtime assertions) as contracts for functions simplified the debugging process considerably.
