fast realtime shock decomposition

Allow for a more accurate (and more expensive) fast realtime modality. Would require to adapt preprocessor for option fast_realtime. Could we allow both INTEGER and INTEGER_VECTOR (for backward compatibility)? fast_realtime=INTEGER | INTEGER_VECTOR otherwise we should change the type from INTEGER to INTEGER_VECTOR.

Merge request reports

Loading