Commits · 1865872abfd59ceccef8cc2bcae6f59af39da7bb · af3 / AF3

13 Jan, 2012 1 commit
- different bug fixes and improvements in displaying errors · 1865872a
  Daniel Ratiu authored Jan 13, 2012
```
refs 385
```
  1865872a
12 Jan, 2012 19 commits
- review · 9dd1ab29
  Klaus Becker authored Jan 12, 2012
```
refs 304
```
  9dd1ab29
- added RC3 generic platform updater · 08721f06
  Florian Hölzl authored Jan 12, 2012
```
refs 442
```
  08721f06
- review, set some to green, rename a method (this one is deprecated and has to be changed/removed) · f61cd07b
  Klaus Becker authored Jan 12, 2012
```
refs 304
```
  f61cd07b
- fixed generic architecture editor · 4919d62f
  Florian Hölzl authored Jan 12, 2012
```
refs 442
```
  4919d62f
- added copy&paste docu · d5adfb32
  Klaus Becker authored Jan 12, 2012
```
refs 428
```
  d5adfb32
- added generic connector connection compositor · 01a785b6
  Florian Hölzl authored Jan 12, 2012
```
refs 442
```
  01a785b6
- fixed · 43b54fdd
  Florian Hölzl authored Jan 12, 2012
```
refs 429
```
  43b54fdd
- removed unused buggy definition · a7fc6150
  Anton Hattendorf authored Jan 12, 2012
  
  a7fc6150
- fix of default target · a802a855
  Anton Hattendorf authored Jan 12, 2012
  
  a802a855
- small bugfixes in code generation · 7735c7e9
  Anton Hattendorf authored Jan 12, 2012
```
refinement of HW IO templates
```
  7735c7e9
- Changed default comment to empty string. · db313a52
  Florian Hölzl authored Jan 12, 2012
```
refs 440
```
  db313a52
- bugfix · 273b4f5a
  Florian Hölzl authored Jan 12, 2012
```
refs 429
```
  273b4f5a
- bugfix · 505d5f36
  Florian Hölzl authored Jan 12, 2012
```
refs 471
```
  505d5f36
- update of build file · e00a7f95
  Anton Hattendorf authored Jan 12, 2012
```
small bug fixes
```
  e00a7f95
- cleanup af3.operatorpanel · 458ebe79
  Florian Hölzl authored Jan 12, 2012
```
refs 311
```
  458ebe79
- cleanup => YELLOW · d1acfa15
  Florian Hölzl authored Jan 12, 2012
```
refs 311
```
  d1acfa15
- cleanup => YELLOW · 0de27f95
  Florian Hölzl authored Jan 12, 2012
```
refs 311
```
  0de27f95
- cleanup af3.component · 78ab572d
  Florian Hölzl authored Jan 12, 2012
```
refs 311
```
  78ab572d
- cleanup => YELLOW · d70627fd
  Florian Hölzl authored Jan 12, 2012
```
refs 311
```
  d70627fd
11 Jan, 2012 10 commits
- · f27300d9
  Klaus Becker authored Jan 11, 2012
```
refs 404
```
  f27300d9
- prepared include of HW templates · 7757816a
  Anton Hattendorf authored Jan 11, 2012
  
  7757816a
- support for communication between Components on different cores · 912388eb
  Anton Hattendorf authored Jan 11, 2012
  
  912388eb
- TODO in example removed · 8dc47a57
  Sabine Teufl authored Jan 11, 2012
```
refs 302
```
  8dc47a57
- Example model · 73dbe48d
  Sabine Teufl authored Jan 11, 2012
```
refs 396
```
  73dbe48d
- Question on example model · c72f4f05
  Sabine Teufl authored Jan 11, 2012
```
refs 396
```
  c72f4f05
- TLC example finished · 8538a448
  Sabine Teufl authored Jan 11, 2012
```
refs 397
```
  8538a448
- loadChecklist moved to MiraUtils as it is also needed in TLC example · 7e34989e
  Sabine Teufl authored Jan 11, 2012
```
refs 397
```
  7e34989e
- bugfix with starting the simulator · 21f7d23a
  Daniel Ratiu authored Jan 11, 2012
  
  21f7d23a
- Removing the dependency to CPP (-cpp NuSMV argument) + fixing some other bugs · 11e31091
  Daniel Ratiu authored Jan 11, 2012
```
refs 470
```
  11e31091
10 Jan, 2012 10 commits
- RC2 version of hold value button fixed · 2a1a4da2
  Florian Hölzl authored Jan 10, 2012
```
refs 256
```
  2a1a4da2
- Integration of AF3 generated automatons · 6552896a
  Anton Hattendorf authored Jan 10, 2012
  
  6552896a
- RC2 version of hold value button · 08e7901e
  Florian Hölzl authored Jan 10, 2012
```
refs 256
```
  08e7901e
- fixed simulation manager to post refresh events properly, fixed simulation view base implementation · 60d21de4
  Florian Hölzl authored Jan 10, 2012
```
refs 256
```
  60d21de4
- fixed simulation manager to update views correctly · 9d2a8b02
  Florian Hölzl authored Jan 10, 2012
```
refs 256
```
  9d2a8b02
- implemented simple code specification editor · 9f464f63
  Christoph Döbber authored Jan 10, 2012
```
refs 86
```
  9f464f63
- reworked model and improved ITermInput · e793db54
  Christoph Döbber authored Jan 10, 2012
```
refs 288
```
  e793db54
- nondeterminism checking test for the Merge component of TLC · 60feddcd
  Daniel Ratiu authored Jan 10, 2012
```
refs 306
```
  60feddcd
- Allow handling of enumerations by the non-determinism checker. · d19c50ae
  Daniel Ratiu authored Jan 10, 2012
```
refs 306
```
  d19c50ae
- updates in executable mode · c324ee33
  Mingjun Li authored Jan 10, 2012
```
refs 114
```
  c324ee33