Commits · eee31af8ab01e0f8a5e3d7d8886790135403138c · af3 / kernel

Jan 17, 2012
- 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
Dec 21, 2011
- Kernel cleanup => YELLOW · 5bdf6470
  Florian Hölzl authored 13 years ago
  
  refs 311
  5bdf6470
- Kernel cleanup => YELLOW · 12d6a409
  Florian Hölzl authored 13 years ago
  
  refs 311
  12d6a409
Dec 20, 2011
- fixed icons inclusion and removed plugin.properties file · 715af630
  Florian Hölzl authored 13 years ago
  
  refs 311
  715af630
Dec 19, 2011
- small fix · 3086d656
  Daniel Ratiu authored 13 years ago
  
  refs 311
  3086d656
- small fix · d9772256
  Daniel Ratiu authored 13 years ago
  
  refs 311
  d9772256
- set mira back to yellow. · 69f5ba96
  Dongyue Mou authored 13 years ago
  
  moved dialog package to base. removed type constraint in EcoreUtils#pickInstanceOf refs 301
  69f5ba96
Dec 15, 2011
- a new utility method pickInstanceOf(Collection<Class> targetClasses, List<S> sourceElements) · 838853db
  Daniel Ratiu authored 13 years ago
  
  refs 311
  838853db
- a new utility method pickInstanceOf(Collection<Class> targetClasses, List<S> sourceElements) · cc71308f
  Daniel Ratiu authored 13 years ago
  
  refs 311
  cc71308f
Dec 14, 2011
- phoenix product build · fdc2bdc7
  Florian Hölzl authored 13 years ago
  
  fdc2bdc7
- phoenix version numbers and fixed build.properties for product build · 6d1e207f
  Florian Hölzl authored 13 years ago
  
  refs 370
  6d1e207f
- set conqat color to yellow · d77ada54
  Dongyue Mou authored 13 years ago
  
  refs 301
  d77ada54
- phoenix version numbers · 0cf8c9cb
  Florian Hölzl authored 13 years ago
  
  refs 370
  0cf8c9cb
- phoenix version number · 5bbb5d7f
  Florian Hölzl authored 13 years ago
  
  refs 370
  5bbb5d7f
- moved some util methods to kernel and base · 1a3a744c
  Dongyue Mou authored 13 years ago
  
  replaced the icon of CA improved constraint checker by allowing multi results in one apply added a base class for contraint violation added helper operator in the mira model overall code clean up in mira refs 301
  1a3a744c
Dec 05, 2011
- cleanup · 50e15cda
  Christoph Döbber authored 13 years ago
  
  50e15cda