Commits · e0afd0707a843caa153e42a0dca244eaa32a4aaa · af3 / AF3

22 May, 2012 5 commits
- moved C source package utils · e0afd070
  Florian Hölzl authored May 22, 2012
```
added program to C transformation
refs 118
```
  e0afd070
- added enumeration functions generation · 34cabfcf
  Florian Hölzl authored May 22, 2012
```
refs 118
```
  34cabfcf
- moved generator model · a6afb89b
  Florian Hölzl authored May 22, 2012
```
refs 118
```
  a6afb89b
- removed c package · 05944c76
  Florian Hölzl authored May 22, 2012
```
refs 118
```
  05944c76
- moved non-EMF model and added EMF model for imperative and C generation · 3eb94566
  Florian Hölzl authored May 22, 2012
```
refs 118
```
  3eb94566
21 May, 2012 9 commits
- fixed print function · 4bcbda17
  Florian Hölzl authored May 21, 2012
```
refs 727
```
  4bcbda17
- first working version of C equivalence test · fa4f7ce5
  Florian Hölzl authored May 21, 2012
```
added TestingUtils
refs 727
```
  fa4f7ce5
- STL example runs as GCC equivalence test · e6241cb4
  Florian Hölzl authored May 21, 2012
```
refs 727
```
  e6241cb4
- STL example runs as GCC equivalence test · c2561603
  Florian Hölzl authored May 21, 2012
```
refs 727
```
  c2561603
- updated model to check NoVal · 6f648dd8
  Dongyue Mou authored May 21, 2012
```
refs 811
```
  6f648dd8
- new parameter in VHDL generator preference page and update for helper docu. · f3c11820
  Mingjun Li authored May 21, 2012
```
refs 662
```
  f3c11820
- added STLC test example · 5c4bf32c
  Florian Hölzl authored May 21, 2012
```
refs 727
```
  5c4bf32c
- some improvement on lifeline handling · 5625b20c
  Florian Hölzl authored May 21, 2012
```
refs 820
```
  5625b20c
- 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 10 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