This PR includes a whole set of changes mostly related to the implementation of the S3drop and some of the resulting side-effects. It also covers the change from "plain" to "data" for odes representing data drops. It has liu-286, liu-294 and liu-291 already merged into it, because some of the functionality was required to do the proper testing. The resulting PR thus seems pretty big, but most of it was inherited from other branches.
Coverage decreased (-0.02%) to 80.414% when pulling 0f220b908927e93d68307d869f5d0a3c724b658d on S3drop into 8871be1e5ae94767e38413127822d51b4a1aedb5 on master.
This PR includes a whole set of changes mostly related to the implementation of the S3drop and some of the resulting side-effects. It also covers the change from "plain" to "data" for odes representing data drops. It has liu-286, liu-294 and liu-291 already merged into it, because some of the functionality was required to do the proper testing. The resulting PR thus seems pretty big, but most of it was inherited from other branches.