escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2021-08-31T08:19:49Zhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/122#150, #144 Add warning message for event not enabled in controlled state spac...2021-08-31T08:19:49ZFerdie Reijnen#150, #144 Add warning message for event not enabled in controlled state space and changed simplificating for those eventsCloses #150
Closes #144Closes #150
Closes #144v0.3