Commits · 77c89d38d0a4bcf666e90b37d421ac75a880f37c · af3 / AF3

17 Jul, 2017 5 commits
- removes context menu extension · 77c89d38
  Vincent Aravantinos authored Jul 17, 2017
```
refs 2990
```
  77c89d38
- adds corresponding context menu extension · bf4468ef
  Vincent Aravantinos authored Jul 17, 2017
```
refs 2990
```
  bf4468ef
- removed self-dependency · 27bac4aa
  Johannes Eder authored Jul 17, 2017
  
  27bac4aa
- removes remaining class · 1beb3ea4
  Vincent Aravantinos authored Jul 17, 2017
```
refs 2990
```
  1beb3ea4
- moves commands from refinement to component.ui · ce7f8b41
  Vincent Aravantinos authored Jul 17, 2017
```
refs 2990
```
  ce7f8b41
15 Jul, 2017 1 commit
- basic routing functionality, working version · 51511589
  Johannes Eder authored Jul 15, 2017
```
refs 2920
```
  51511589
11 Jul, 2017 4 commits
- amend r:20287 · 1133b91e
  fortissBot authored Jul 11, 2017
```
refs 7806
```
  1133b91e
- amend r:20287 · 41b75668
  fortissBot authored Jul 11, 2017
```
refs 7806
```
  41b75668
- Added Counterexample for Bound Violations (resolves 7806). · d5c92d75
  fortissBot authored Jul 11, 2017
```
Removed NuSMV result from model (resolves 7632).
refs 7806
```
  d5c92d75
- - Remove unneeded maven builder. · 3d7e4cce
  Alexander Diewald authored Jul 11, 2017
  
  3d7e4cce
10 Jul, 2017 5 commits
- handler for parameter definition · f798d0bd
  Vincent Aravantinos authored Jul 10, 2017
  
  f798d0bd
- fixed routing constraint formalization · f34d2524
  Johannes Eder authored Jul 10, 2017
```
refs 2920
```
  f34d2524
- build issue fixed · 6d27e781
  Sudeep Kanav authored Jul 10, 2017
```
refs 2884
```
  6d27e781
- removes dependency of refinement.ui on analyses.ui · e31b184e
  Vincent Aravantinos authored Jul 10, 2017
```
refs 2884
```
  e31b184e
- removes dependency of refinement on analyses · f065484e
  Vincent Aravantinos authored Jul 10, 2017
```
refs 2884
```
  f065484e
07 Jul, 2017 5 commits
- GREEN · 2bcd2642
  Sudeep Kanav authored Jul 07, 2017
```
refs 2478
```
  2bcd2642
- GREEN · d1f0360a
  Sudeep Kanav authored Jul 07, 2017
```
refs 2478
```
  d1f0360a
- GREEN · 3efbb5ab
  Sudeep Kanav authored Jul 07, 2017
```
refs 2478
```
  3efbb5ab
- removed accidentally committed large log files · d16f73f4
  Johannes Eder authored Jul 07, 2017
```
refs 2920
```
  d16f73f4
- implementation of basic routing constraints · b4399ab8
  Johannes Eder authored Jul 07, 2017
```
refs 2920
```
  b4399ab8
06 Jul, 2017 10 commits
- org.fortiss.af3.mira.utils.ParameterUtils.getAllParameterDefinitions(FileProject) · d5480a0c
  Vincent Aravantinos authored Jul 06, 2017
```
refs 2984
```
  d5480a0c
- build fix · 4e699023
  Vincent Aravantinos authored Jul 06, 2017
```
refs 2984
```
  4e699023
- "Value" is now "default value" · 119a9e3b
  Vincent Aravantinos authored Jul 06, 2017
```
refs 2984
```
  119a9e3b
- migrated ParameterDefinition from mira to project plugin · 7a254865
  Vincent Aravantinos authored Jul 06, 2017
```
refs 2984
```
  7a254865
- RED · 712b1021
  Vincent Aravantinos authored Jul 06, 2017
```
+ migrated ParameterDefinition from mira to project plugin
refs 2984
```
  712b1021
- RED · a9e38e0a
  Vincent Aravantinos authored Jul 06, 2017
```
+ migrated ParameterDefinition from mira to project plugin
refs 2984
```
  a9e38e0a
- migrated ParameterDefinition from mira to project plugin · e21ebafb
  Vincent Aravantinos authored Jul 06, 2017
```
refs 2984
```
  e21ebafb
- RED · 52d8e688
  Vincent Aravantinos authored Jul 06, 2017
```
+ migrated ParameterDefinition from mira to project plugin
refs 2984
```
  52d8e688
- removed ParameterDefinition from mira · 002f039a
  Vincent Aravantinos authored Jul 06, 2017
```
refs 2984
```
  002f039a
- ParameterDefinition added to project plugin · 513fb7fb
  Vincent Aravantinos authored Jul 06, 2017
```
refs 2984
```
  513fb7fb
30 Jun, 2017 6 commits
- - Viewpanel: Reduce genmodel compliance level. · 274990d8
  Alexander Diewald authored Jun 30, 2017
  
  274990d8
- - Correct operatorpanel.ui dependencies. · 70177d83
  Alexander Diewald authored Jun 30, 2017
  
  70177d83
- - Remove self-dependency in operatorpanel. · 4b1fb9ad
  Alexander Diewald authored Jun 30, 2017
```
- Re-export dependencies.
```
  4b1fb9ad
- GREEN · 05265758
  Tatiana Chuprina authored Jun 30, 2017
```
refs 2731
```
  05265758
- GREEN · 7f8b5984
  Tatiana Chuprina authored Jun 30, 2017
```
refs 2597
```
  7f8b5984
- YELLOW · 2c370fe0
  Tatiana Chuprina authored Jun 30, 2017
```
refs 2478
```
  2c370fe0
29 Jun, 2017 2 commits
- reverted the changes · c4e35fb6
  Sudeep Kanav authored Jun 29, 2017
```
refs 7756
```
  c4e35fb6
- GREEN · 4453305d
  Tatiana Chuprina authored Jun 29, 2017
```
refs 2416
```
  4453305d
28 Jun, 2017 2 commits
- fix StackOverflowError when materialising the NuSMV file. · 9348cb13
  fortissBot authored Jun 28, 2017
```
Recursive af3 functions (not supported by NuSMV) reference themselves, adjusted the dependency capture algorithm to check for recursions.
refs 7350
```
  9348cb13
- sysout · aeff8f5e
  Johannes Eder authored Jun 28, 2017
```
refs 2920
```
  aeff8f5e