Commits · 7f39a03a0ffa4cce61c3f8492ddd52a76eb313cb · af3 / kernel

Feb 03, 2012
- GREEN. · 6f9e8e2f
  Andreas Wandinger authored 13 years ago
  
  refs 311
  6f9e8e2f
Feb 02, 2012
- fixed kernel bug · 1ca86f2a
  Florian Hölzl authored 13 years ago
  
  refs 560
  1ca86f2a
- code reviewed · 87633004
  Dongyue Mou authored 13 years ago
  
  refs 511
  87633004
Jan 31, 2012
- YELLOW · ec7bd9ea
  Florian Hölzl authored 13 years ago
  
  refs 311
  ec7bd9ea
- YELLOW · 958e13a4
  Florian Hölzl authored 13 years ago
  
  refs 311
  958e13a4
- code reviewed · 30daa189
  Dongyue Mou authored 13 years ago
  
  refs 311
  30daa189
- code reviewed · 000223dd
  Dongyue Mou authored 13 years ago
  
  refs 311
  000223dd
- set kernel codes to YELLOW. · 83e5d673
  Dongyue Mou authored 13 years ago
  
  extracted messages into dedicated class refs 311
  83e5d673
Jan 30, 2012
- added container to marker service · c523da86
  Florian Hölzl authored 13 years ago
  
  refs 503
  c523da86
Jan 24, 2012
- GREEN · e41ec176
  Florian Hölzl authored 13 years ago
  
  refs 311
  e41ec176
- Bugfix of location provider. · 3a06fbcf
  Andreas Wandinger authored 13 years ago
  
  refs 560
  3a06fbcf
Jan 23, 2012
- code review · 46b9b68a
  Sabine Teufl authored 13 years ago
  
  refs 343
  46b9b68a
Jan 19, 2012
- implemented recursive search for models · 70c9a690
  Florian Hölzl authored 13 years ago
  
  refs 438
  70c9a690
Jan 18, 2012
- bugfix in unique ID utils · 5493d9a8
  Florian Hölzl authored 13 years ago
  
  refs 531
  5493d9a8
Jan 17, 2012
- · 6cc12200
  Klaus Becker authored 13 years ago
  
  refs 216
  6cc12200
- reviewed - kernel.ui is back to GREEN · eee31af8
  Christoph Döbber authored 13 years ago
  
  refs 307
  eee31af8
- YELLOW · 7f0a52d5
  Florian Hölzl authored 13 years ago
  
  refs 307
  7f0a52d5
- reviewed - one class remains RED · c44b1bf7
  Christoph Döbber authored 13 years ago
  
  refs 307
  c44b1bf7
- YELLOW · 15ab19b8
  Florian Hölzl authored 13 years ago
  
  refs 343
  15ab19b8
- fixed marker refresh · 05a3fc48
  Florian Hölzl authored 13 years ago
  
  refs 307
  05a3fc48
Jan 16, 2012
- Code review · f47d5c71
  Sabine Teufl authored 13 years ago
  
  refs 311
  f47d5c71
Jan 12, 2012
- extracted unique ID preparation into utility class · a03e6e8b
  Florian Hölzl authored 13 years ago
  
  refs 450
  a03e6e8b
- cleanup => YELLOW · 519e295e
  Florian Hölzl authored 13 years ago
  
  refs 311
  519e295e
Jan 05, 2012
- cleanup and review => YELLOW, GREEN · 4fb00ea0
  Florian Hölzl authored 13 years ago
  
  refs 311
  4fb00ea0
- Code review · f69a47fb
  Sabine Teufl authored 13 years ago
  
  refs 343
  f69a47fb
- Added language compliance checking for model-checking-based analyzes. · 4ededccc
  Daniel Ratiu authored 13 years ago
  
  refs 385
  4ededccc
- added fully qualified name · 233cf9a9
  Daniel Ratiu authored 13 years ago
  
  233cf9a9
Jan 04, 2012
- YELLOW again · 9c1958b6
  Florian Hölzl authored 13 years ago
  
  kernel.ui GREEN due to automatic Eclipse refactoring refs 343
  9c1958b6
- Review · ed8630fd
  Sabine Teufl authored 13 years ago
  
  refs 311
  ed8630fd
- Review · c671b000
  Sabine Teufl authored 13 years ago
  
  refs 311
  c671b000
- YELLOW · e675bd46
  Florian Hölzl authored 13 years ago
  
  refs 311
  e675bd46
Jan 03, 2012
- completed constraint checkers for af3.component. · 3fd499a4
  Florian Hölzl authored 13 years ago
  
  refs 437
  3fd499a4
- added improved base class => YELLOW · de065f88
  Florian Hölzl authored 13 years ago
  
  refs 437
  de065f88
- yellow · d8bbfd29
  Daniel Ratiu authored 13 years ago
  
  d8bbfd29
- small fix · 69adfd9e
  Daniel Ratiu authored 13 years ago
  
  69adfd9e
Jan 02, 2012
- added a small utility function · 0ac40bdc
  Daniel Ratiu authored 13 years ago
  
  0ac40bdc
- added constraints for af3.expression · 9608e213
  Florian Hölzl authored 13 years ago
  
  added double-click feature to marker service refs 436
  9608e213
- removed abstract from base class · d3b15e29
  Florian Hölzl authored 13 years ago
  
  refs 436
  d3b15e29
Dec 30, 2011
- A first baseline of model-checking of simple code specifications. · 94034458
  Daniel Ratiu authored 13 years ago
  
  refs 411
  94034458
Dec 28, 2011
- extended STLC example with deployment · e1669056
  Florian Hölzl authored 13 years ago
  
  refs 350
  e1669056