Commits · 519e295e5c442aacf52cb3759d3a61c800f06093 · af3 / kernel

Jan 12, 2012
- 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
Dec 01, 2011
- org.fortiss.tooling.kernel YELLOW · 065e66cc
  Florian Hölzl authored 13 years ago
  
  refs 311
  065e66cc
- Code cleanup => YELLOW. · 551806cc
  Florian Hölzl authored 13 years ago
  
  refs 311
  551806cc
- Fixed utility methods. · f1c01aeb
  Florian Hölzl authored 13 years ago
  
  refs 319
  f1c01aeb
- GREEN · 76ef3714
  Florian Hölzl authored 13 years ago
  
  refs 311
  76ef3714
Nov 29, 2011
- still bugs to remove concerning loading a model. Execute "LoadModelTest" as... · f1e0f08b
  Klaus Becker authored 13 years ago
  
  still bugs to remove concerning loading a model. Execute "LoadModelTest" as test and look into ProjectUtils.loadProject(String) refs 319
  f1e0f08b
- added project loading · 5a20958a
  Florian Hölzl authored 13 years ago
  
  5a20958a
- YELLOW · 9697d0c7
  Florian Hölzl authored 13 years ago
  
  refs 311
  9697d0c7