ariadne-cps / ariadne

C++ framework for rigorous computation on cyber-physical systems
http://www.ariadne-cps.org
GNU General Public License v3.0
28 stars 9 forks source link

Clean-up system classes and evolution storage types #387

Open pietercollins opened 4 years ago

pietercollins commented 4 years ago

The system classes and the related set types should be cleaned-up. Issues are:

lgeretti commented 4 years ago

I believe this could be better served by a milestone to which you associate all the relevant single issues (and we already made issues for some of these). Unless you believe you can address all these in one run.