Commits · 85881718b05233350cd99440923c0bd9c2d04eea · af3 / AF3

06 Sep, 2013 9 commits
- updated plugin versions 2.4.0 -> 2.4.1 · 85881718
  Florian Hölzl authored Sep 06, 2013
```
refs 1686
```
  85881718
- added af3.platform.beagle to release 2.4.1 · 57e8bedf
  Florian Hölzl authored Sep 06, 2013
  
  57e8bedf
- YELLOW · f593cd51
  Florian Hölzl authored Sep 06, 2013
```
refs 1188
```
  f593cd51
- YELLOW · ff0d56c8
  Florian Hölzl authored Sep 06, 2013
```
refs 1188
```
  ff0d56c8
- fixed beagle HAL lib location · 080d484c
  Florian Hölzl authored Sep 06, 2013
```
refs 1188
```
  080d484c
- deprecated use of addSourceUnit; replaced with addUnit · 2bafb151
  Florian Hölzl authored Sep 06, 2013
```
refs 1188
```
  2bafb151
- copying library to generated source package · 51fe1b1f
  Florian Hölzl authored Sep 06, 2013
```
refs 1188
```
  51fe1b1f
- added model element factory for byte content units. · 80d13f74
  Florian Hölzl authored Sep 06, 2013
```
refs 1188
```
  80d13f74
- added support for binary units to source package generation · 186b2d87
  Florian Hölzl authored Sep 06, 2013
```
refs 1188
```
  186b2d87
05 Sep, 2013 2 commits
- modify comment · 63fa8f90
  Cheng Zhang authored Sep 05, 2013
```
refs 1668
```
  63fa8f90
- modify adapter of refinement editor · d82997b3
  Cheng Zhang authored Sep 05, 2013
```
refs 1668
```
  d82997b3
04 Sep, 2013 9 commits
- HIstroy Entry editor · e20b8d68
  Johannes Eder authored Sep 04, 2013
```
refs 1577
```
  e20b8d68
- UDP master slave protocol working properly with outputs · d0399c39
  Florian Hölzl authored Sep 04, 2013
```
refs 1500
```
  d0399c39
- CBMC interface for windows systems supports VS and Cygwin · f83cde82
  Andreas Bayha authored Sep 04, 2013
```
refs 1676
```
  f83cde82
- CBMC interface for windows systems supports VS and Cygwin · 31e73f10
  Andreas Bayha authored Sep 04, 2013
```
refs 1676
```
  31e73f10
- further bugfixes · 48cf455d
  Florian Hölzl authored Sep 04, 2013
```
refs 1500
```
  48cf455d
- fixed non-working solution · ced8bbc1
  Florian Hölzl authored Sep 04, 2013
```
refs 1500
```
  ced8bbc1
- fixed argument passing in start script · 75b6fb3a
  Florian Hölzl authored Sep 04, 2013
```
refs 1500
```
  75b6fb3a
- added auto shutdown argument · c604c67b
  Florian Hölzl authored Sep 04, 2013
```
refs 1500
```
  c604c67b
- fixing tests: now using the nextInputValue() · 86ff55c3
  Florian Hölzl authored Sep 04, 2013
```
refs 1657
```
  86ff55c3
03 Sep, 2013 1 commit
- resolving the issue of generating tests with transition/state coverage when we... · 321ee848
  Daniel Ratiu authored Sep 03, 2013
```
resolving the issue of generating tests with transition/state coverage when we are using also library components
refs 1565
```
  321ee848
02 Sep, 2013 19 commits
- updated HAL lib · 0c10729b
  Florian Hölzl authored Sep 02, 2013
```
refs 1188
```
  0c10729b
- fixed string encoder · 1955fa25
  Florian Hölzl authored Sep 02, 2013
```
refs 1188
```
  1955fa25
- added guards to data dictionary java generator string encoder · 9b970e6a
  Florian Hölzl authored Sep 02, 2013
```
refs 1188
```
  9b970e6a
- No commit message · 295299ff
  Florian Hölzl authored Sep 02, 2013
```
No commit message
```
  295299ff
- updated beagle HAL lib · e74ab9ee
  Florian Hölzl authored Sep 02, 2013
```
added use of /bin/bash in start script
refs 1188
```
  e74ab9ee
- added start script to beagle generator · 5d2329e6
  Florian Hölzl authored Sep 02, 2013
```
refs 1188
```
  5d2329e6
- disabled serial IO and SimplAscii protocol for beagle platform · 1761ba0f
  Florian Hölzl authored Sep 02, 2013
```
refs 1670
```
  1761ba0f
- add refinement complex dialog · 917e63b3
  Cheng Zhang authored Sep 02, 2013
```
refs 1668
```
  917e63b3
- add comparator of combo view · 86271a22
  Cheng Zhang authored Sep 02, 2013
```
refs 1668
```
  86271a22
- Generated C-Code files are indented. · 01bd543f
  Andreas Bayha authored Sep 02, 2013
```
refs 1617
```
  01bd543f
- Generated C-Code files are indented. · 956cddeb
  Andreas Bayha authored Sep 02, 2013
```
refs 1617
```
  956cddeb
- code refactor · 5c764932
  Cheng Zhang authored Sep 02, 2013
```
refs 1668
```
  5c764932
- add comparator of combo view in port specification · 58787537
  Cheng Zhang authored Sep 02, 2013
```
refs 1668
```
  58787537
- add provider of refinement complex dialog · d54c7b93
  Cheng Zhang authored Sep 02, 2013
```
refs 1668
```
  d54c7b93
- add refinement complex dialog · f58eb9ff
  Cheng Zhang authored Sep 02, 2013
```
refs 1668
```
  f58eb9ff
- add refinement plugin · ebadcded
  Cheng Zhang authored Sep 02, 2013
```
refs 1668
```
  ebadcded
- add EObject modified adapter in refinement view · a0a78a25
  Cheng Zhang authored Sep 02, 2013
```
refs 1668
```
  a0a78a25
- CProver analyses provide user progressbar. · 71a382f0
  Andreas Bayha authored Sep 02, 2013
```
refs 1616
```
  71a382f0
- bugfix · e0bb99d4
  Florian Hölzl authored Sep 02, 2013
```
refs 595
```
  e0bb99d4