- 17 Jul, 2017 14 commits
-
-
Hernan Ponce de Leon authored
This way the effect of creating a signal, mode, etc is seen just by re-opening the editor instead of having to close and re-open AF3 refs 2903
-
Vincent Aravantinos authored
refs 2826
-
Sudeep Kanav authored
refs 2970
-
Hernan Ponce de Leon authored
refs 2903
-
Vincent Aravantinos authored
refs 2899
-
Vincent Aravantinos authored
-
Andreas Bayha authored
-
Vincent Aravantinos authored
refs 2956
-
Vincent Aravantinos authored
refs 2990
-
Vincent Aravantinos authored
refs 2990
-
Vincent Aravantinos authored
refs 2990
-
Johannes Eder authored
-
Vincent Aravantinos authored
refs 2990
-
Vincent Aravantinos authored
refs 2990
-
- 15 Jul, 2017 1 commit
-
-
Johannes Eder authored
refs 2920
-
- 11 Jul, 2017 4 commits
-
-
fortissBot authored
refs 7806
-
fortissBot authored
refs 7806
-
fortissBot authored
Removed NuSMV result from model (resolves 7632). refs 7806
-
Alexander Diewald authored
-
- 10 Jul, 2017 5 commits
-
-
Vincent Aravantinos authored
-
Johannes Eder authored
refs 2920
-
Sudeep Kanav authored
refs 2884
-
Vincent Aravantinos authored
refs 2884
-
Vincent Aravantinos authored
refs 2884
-
- 07 Jul, 2017 5 commits
-
-
Sudeep Kanav authored
refs 2478
-
Sudeep Kanav authored
refs 2478
-
Sudeep Kanav authored
refs 2478
-
Johannes Eder authored
refs 2920
-
Johannes Eder authored
refs 2920
-
- 06 Jul, 2017 10 commits
-
-
Vincent Aravantinos authored
refs 2984
-
Vincent Aravantinos authored
refs 2984
-
Vincent Aravantinos authored
refs 2984
-
Vincent Aravantinos authored
refs 2984
-
Vincent Aravantinos authored
+ migrated ParameterDefinition from mira to project plugin refs 2984
-
Vincent Aravantinos authored
+ migrated ParameterDefinition from mira to project plugin refs 2984
-
Vincent Aravantinos authored
refs 2984
-
Vincent Aravantinos authored
+ migrated ParameterDefinition from mira to project plugin refs 2984
-
Vincent Aravantinos authored
refs 2984
-
Vincent Aravantinos authored
refs 2984
-
- 30 Jun, 2017 1 commit
-
-
Alexander Diewald authored
-