Commits · 9d29ba7aeecdfd0ebfa127126f2f511d9020f058 · af3 / AF3

01 Aug, 2012 19 commits
- Unnecessary sorting removed · 9d29ba7a
  Sabine Teufl authored Aug 01, 2012
```
refs 691
```
  9d29ba7a
- bugfix YELLOW · 29a2aa87
  Florian Hölzl authored Aug 01, 2012
```
refs 934
```
  29a2aa87
- YELLOW · 8381549a
  Florian Hölzl authored Aug 01, 2012
```
refs 862
```
  8381549a
- added YICES quantifier · 7f949f70
  Sebastian Voss authored Aug 01, 2012
  
  7f949f70
- GREEN · 3a2edc48
  Andreas Wandinger authored Aug 01, 2012
```
refs 862
```
  3a2edc48
- code reviewed · cf00ea12
  Dongyue Mou authored Aug 01, 2012
  
  cf00ea12
- GREEN · 9b85d04c
  Florian Hölzl authored Aug 01, 2012
```
refs 862
```
  9b85d04c
- GREEN · ede4a139
  Florian Hölzl authored Aug 01, 2012
```
refs 862
```
  ede4a139
- GREEN · c08bf42c
  Florian Hölzl authored Aug 01, 2012
```
refs 862
```
  c08bf42c
- RED · baac8328
  Florian Hölzl authored Aug 01, 2012
```
refs 862
```
  baac8328
- GREEN · 888934bf
  Florian Hölzl authored Aug 01, 2012
```
refs 862
```
  888934bf
- RED · ada1b036
  Florian Hölzl authored Aug 01, 2012
```
refs 862
```
  ada1b036
- GREEN · 33de9fbb
  Florian Hölzl authored Aug 01, 2012
```
refs 862
```
  33de9fbb
- YELLOW · 4b08d8db
  Florian Hölzl authored Aug 01, 2012
```
refs 862
```
  4b08d8db
- GREEN · 8c7ec2ed
  Florian Hölzl authored Aug 01, 2012
```
refs 862
```
  8c7ec2ed
- fixed bug about miss-replaced ReflectionUtils.pickInstanceof() by EcoreUtils.pickInstanceOf(), · 21b28a32
  Dongyue Mou authored Aug 01, 2012
```
which caused isAtomicComponent() doesn't work anymore
```
  21b28a32
- sorting fixed again after changes in model navigator · a121cd4b
  Sabine Teufl authored Aug 01, 2012
```
refs 691
```
  a121cd4b
- set to yellow after code review · ccf57546
  Sabine Teufl authored Aug 01, 2012
  
  ccf57546
- Review. · 63f1e6f4
  Andreas Wandinger authored Aug 01, 2012
```
Mostly GREEN, some special parts RED.
refs 862
```
  63f1e6f4
31 Jul, 2012 21 commits
- some code is now GREEN · dc1d4804
  Daniel Ratiu authored Jul 31, 2012
```
refs 865
```
  dc1d4804
- code is now GREEN · 67a411ac
  Daniel Ratiu authored Jul 31, 2012
```
refs 862
```
  67a411ac
- review - everything is now GREEN · 7b2c499c
  Daniel Ratiu authored Jul 31, 2012
```
refs 862
```
  7b2c499c
- GREEN and RED following the code review · 002e3d58
  Daniel Ratiu authored Jul 31, 2012
```
refs 862
```
  002e3d58
- No commit message · 2f1248fd
  Daniel Ratiu authored Jul 31, 2012
```
No commit message
```
  2f1248fd
- No commit message · e9a00dcb
  Daniel Ratiu authored Jul 31, 2012
```
No commit message
```
  e9a00dcb
- improvements of the help · c7eea77d
  Daniel Ratiu authored Jul 31, 2012
```
refs 865
```
  c7eea77d
- improvements of the help · 61e6e95e
  Daniel Ratiu authored Jul 31, 2012
```
refs 865
```
  61e6e95e
- · 0838e27f
  Chen Wenwen authored Jul 31, 2012
```
refs 845
```
  0838e27f
- code clear · a9f7f0d6
  Chen Wenwen authored Jul 31, 2012
  
  a9f7f0d6
- moved class · 2c6113c9
  Christoph Döbber authored Jul 31, 2012
  
  2c6113c9
- No commit message · 0f1b9979
  Sabine Teufl authored Jul 31, 2012
```
No commit message
```
  0f1b9979
- removed msc from requirement · 964a97a8
  Dongyue Mou authored Jul 31, 2012
  
  964a97a8
- small fix · c67273bf
  Daniel Ratiu authored Jul 31, 2012
  
  c67273bf
- Help · 43323f79
  Sabine Teufl authored Jul 31, 2012
```
refs 940
```
  43323f79
- adjusted default value for noval · 9957ff3d
  Dongyue Mou authored Jul 31, 2012
  
  9957ff3d
- RED · b94326d0
  Florian Hölzl authored Jul 31, 2012
```
refs 862
```
  b94326d0
- RED · 3e5a2a91
  Florian Hölzl authored Jul 31, 2012
```
refs 862
```
  3e5a2a91
- small fix · 19ffb1fc
  Daniel Ratiu authored Jul 31, 2012
  
  19ffb1fc
- GREEN · 32e71b0a
  Florian Hölzl authored Jul 31, 2012
```
refs 862
```
  32e71b0a
- fixed example model with formal specification · ee7d01ea
  Dongyue Mou authored Jul 31, 2012
```
refs 873
```
  ee7d01ea