Commits · 5b6011d321e20bcbee338872754b8aad0e99efbf · af3 / AF3

21 May, 2012 1 commit
- small bug fixed · 5b6011d3
  Mingjun Li authored May 21, 2012
```
refs 662
```
  5b6011d3
20 May, 2012 4 commits
- adding semantic backbone tests to the index of all tests from the product · 2ef7a30b
  Daniel Ratiu authored May 20, 2012
```
refs 822
```
  2ef7a30b
- No commit message · 55bbc1a1
  Daniel Ratiu authored May 20, 2012
```
No commit message
```
  55bbc1a1
- maturing the translation of user defined functions from a data dictionary into... · 7ab4ebdc
  Daniel Ratiu authored May 20, 2012
```
maturing the translation of user defined functions from a data dictionary into NuSMV - now it looks ok
refs 823
```
  7ab4ebdc
- semantic backbone tests are now in the good place · 63c1e9c2
  Daniel Ratiu authored May 20, 2012
```
refs 822
```
  63c1e9c2
19 May, 2012 3 commits
- small fix · a898b9ea
  Daniel Ratiu authored May 19, 2012
```
refs 823
```
  a898b9ea
- moved gcc test · 62135c87
  Florian Hölzl authored May 19, 2012
```
refs 822
```
  62135c87
- nightly fix · a12c4847
  Florian Hölzl authored May 19, 2012
```
refs 674
```
  a12c4847
18 May, 2012 3 commits
- Test model for SubComponentIterator removed · c6a33e93
  David Trachtenherz authored May 18, 2012
```
refs 779
```
  c6a33e93
- JUnit test for SubComponentIterator removed · 5fe5b717
  David Trachtenherz authored May 18, 2012
```
refs 779
```
  5fe5b717
- SubComponentIterator class and findSubComponentsRecursively method removed. · d7b7238a
  David Trachtenherz authored May 18, 2012
```
refs 779
```
  d7b7238a
16 May, 2012 4 commits
- some comments · 5ffb2005
  Daniel Ratiu authored May 16, 2012
```
refs 779
```
  5ffb2005
- complement of vhdl generator document and plugin clean up for vhdl generator · 5284a1ec
  Mingjun Li authored May 16, 2012
```
refs 662
```
  5284a1ec
- · f010ecbb
  David Trachtenherz authored May 16, 2012
```
refs 801
```
  f010ecbb
- add help document for vhdl generator · 125d68a1
  Mingjun Li authored May 16, 2012
```
refs 809
```
  125d68a1
15 May, 2012 2 commits
- some extensions to tools and equivalence test · c1350468
  Florian Hölzl authored May 15, 2012
```
refs 727
```
  c1350468
- removed dependency from "org.fortiss.af3.multicore" to "org.fortiss.af3.scheduling" · 7961ae52
  Daniel Ratiu authored May 15, 2012
  
  7961ae52
14 May, 2012 11 commits
- first working version of configure script call from equivalence test · 61962261
  Florian Hölzl authored May 14, 2012
```
refs 727
```
  61962261
- Fixed a minor bug. · 95d25265
  Andreas Wandinger authored May 14, 2012
```
refs 727
```
  95d25265
- bugfix · 73f33f8b
  Florian Hölzl authored May 14, 2012
```
refs 727
```
  73f33f8b
- Fixed path issue. · b5ec195b
  Andreas Wandinger authored May 14, 2012
```
refs 727
```
  b5ec195b
- help document for VHDL generator · d0db9169
  Mingjun Li authored May 14, 2012
```
refs 662
```
  d0db9169
- bugfix · f48d72fe
  Florian Hölzl authored May 14, 2012
```
refs 812
```
  f48d72fe
- moved gcctest to af3.phoenix.product.tests · 0d17d148
  Florian Hölzl authored May 14, 2012
```
refs 727
```
  0d17d148
- fixed smoke tests of gcc tool chain · e577f32e
  Florian Hölzl authored May 14, 2012
```
refs 727
```
  e577f32e
- added gcc tool chain runners · d55c78ac
  Florian Hölzl authored May 14, 2012
```
refs 727
```
  d55c78ac
- added ACC refinement test model with local machine deployment · e2e4877a
  Florian Hölzl authored May 14, 2012
```
refs 727
```
  e2e4877a
- added transceiver allocation · 9bb0663a
  Florian Hölzl authored May 14, 2012
```
refs 727
```
  9bb0663a
11 May, 2012 2 commits
- some more code models · 49cdddb1
  Florian Hölzl authored May 11, 2012
```
refs 121
```
  49cdddb1
- added superclass AvalonConnector · 3acc3878
  Anton Hattendorf authored May 11, 2012
```
yellow
refs 737
```
  3acc3878
10 May, 2012 10 commits
- test for semantic alignment · 93a42f66
  Daniel Ratiu authored May 10, 2012
```
refs 799
```
  93a42f66
- RED · 44e3a290
  Florian Hölzl authored May 10, 2012
```
refs 779
```
  44e3a290
- code cleaned · 85d5c713
  Dongyue Mou authored May 10, 2012
  
  85d5c713
- some more models · bc61f4b1
  Florian Hölzl authored May 10, 2012
```
refs 121
```
  bc61f4b1
- code cleaned · 4f3bbbc9
  Dongyue Mou authored May 10, 2012
  
  4f3bbbc9
- added test cases for transition coverage · 21a11d8c
  Dongyue Mou authored May 10, 2012
  
  21a11d8c
- Using now TestingModelElementFactory · 8a521efd
  Kisslinger authored May 10, 2012
  
  8a521efd
- Added comment to tricky point · bb3dcab5
  Kisslinger authored May 10, 2012
  
  bb3dcab5
- Code cleaned, setting to YELLOW · ed9c9df8
  Kisslinger authored May 10, 2012
  
  ed9c9df8
- fixed EMF package name · 9b719de5
  Florian Hölzl authored May 10, 2012
```
refs 121
```
  9b719de5