Commits · 8b82552ad14b276344c6d8655ea1dc84b21d95ab · af3 / AF3

02 Aug, 2012 2 commits
- apply the new code format rules on all source code · 8b82552a
  Dongyue Mou authored Aug 02, 2012
  
  8b82552a
- adapted YicesTextGenerator, w.r.t to quantifiers · 34d7096e
  Sebastian Voss authored Aug 02, 2012
  
  34d7096e
01 Aug, 2012 27 commits
- GREEN. · f6775458
  Andreas Wandinger authored Aug 01, 2012
```
refs 862
```
  f6775458
- GREEN · c133c090
  Daniel Ratiu authored Aug 01, 2012
```
refs 862
```
  c133c090
- YELLOW · 97d3c606
  Florian Hölzl authored Aug 01, 2012
```
refs 862
```
  97d3c606
- GREEN · 65bf72cf
  Christoph Döbber authored Aug 01, 2012
```
refs 862
```
  65bf72cf
- GREEN · a51a38a2
  Christoph Döbber authored Aug 01, 2012
```
refs 862
```
  a51a38a2
- GREEN · 16d192cb
  Christoph Döbber authored Aug 01, 2012
```
refs 862
```
  16d192cb
- GREEN - most of it · 4ff3a036
  Christoph Döbber authored Aug 01, 2012
```
refs 862
```
  4ff3a036
- YELLOW · 03c54cf8
  Florian Hölzl authored Aug 01, 2012
```
refs 862
```
  03c54cf8
- 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 11 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