Commits · 13325e79dd547aaf8de8217527355a03ded669af · af3 / kernel

Jan 23, 2013
- run updates in the UI thread · 13325e79
  Daniel Ratiu authored 12 years ago
  
  refs 1191
  13325e79
Jan 22, 2013
- added editing support on the names of test cases · 0a14ac3f
  Dongyue Mou authored 12 years ago
  
  refs 1113
  0a14ac3f
Jan 18, 2013
- resolving this issue · a2acfa17
  Daniel Ratiu authored 12 years ago
  
  refs 1177
  a2acfa17
Jan 09, 2013
- resolving this issue · ee1f3749
  Daniel Ratiu authored 12 years ago
  
  refs 1127
  ee1f3749
Jan 07, 2013
- major refactorings · 379cf65c
  Daniel Ratiu authored 12 years ago
  
  refs 694
  379cf65c
Jan 05, 2013
- adding a tooltip with a hint about how to draw connections · bc9a78f7
  Daniel Ratiu authored 12 years ago
  
  refs 1084
  bc9a78f7
- resolving this issue · fd5cf069
  Daniel Ratiu authored 12 years ago
  
  refs 135
  fd5cf069
Dec 12, 2012
- resolving this feature:UI property section for setting ports bounds · 14d429f0
  Stefanie Gareis authored 12 years ago
  
  refs 1067
  14d429f0
Dec 11, 2012
- · 8615edd9
  Chen Wenwen authored 12 years ago
  
  refs 1014
  8615edd9
Dec 04, 2012
- disabling the graphical editor and the property sections in the case of... · 217114e9
  Daniel Ratiu authored 12 years ago
  
  disabling the graphical editor and the property sections in the case of references to library elements refs 694
  217114e9
Nov 28, 2012
- Improved ErrorMessage for simulation speed · 6004538e
  Stefanie Gareis authored 12 years ago
  
  6004538e
Nov 22, 2012
- · e4ac6099
  Chen Wenwen authored 12 years ago
  
  refs 1014
  e4ac6099
Nov 19, 2012
- first steps towards the library · abe9e8b6
  Daniel Ratiu authored 12 years ago
  
  refs 694
  abe9e8b6
Nov 08, 2012
- Tracker 1026 · e24a2bc8
  Chen Wenwen authored 12 years ago
  
  e24a2bc8
- bugfix · 833e3e77
  Florian Hölzl authored 12 years ago
  
  refs 1029
  833e3e77
Sep 21, 2012
- fixing SVN properties · 63d83c39
  Daniel Ratiu authored 12 years ago
  
  63d83c39
- fixing SVN properties · 2fd1efef
  Daniel Ratiu authored 12 years ago
  
  2fd1efef
- improvements in the nightly analyses + checking the MSCs feasibility · 675f41de
  Daniel Ratiu authored 12 years ago
  
  refs 967,978
  675f41de
Aug 07, 2012
- small improvements · 399f6fb5
  Daniel Ratiu authored 12 years ago
  
  399f6fb5
- small fix · 9845260f
  Daniel Ratiu authored 12 years ago
  
  9845260f
- forgot comments... · a186b554
  Stefanie Gareis authored 12 years ago
  
  a186b554
- Simulation speed is now adjustable, Status messages can be written to a status line · e9197d59
  Stefanie Gareis authored 12 years ago
  
  e9197d59
Aug 02, 2012
- apply the new code format rules on all source code · ecf7ad7e
  Dongyue Mou authored 12 years ago
  
  ecf7ad7e
Jul 27, 2012
- review: code is GREEN · 1e6a078c
  Daniel Ratiu authored 12 years ago
  
  refs 862
  1e6a078c
Jul 12, 2012
- Prelude RC1: version numbers updated to "2.2.0" · 8cfe3ae7
  Florian Hölzl authored 12 years ago
  
  refs 862
  8cfe3ae7
Jul 05, 2012
- · ae405d7d
  Daniel Ratiu authored 12 years ago
  
  refs 814
  ae405d7d
Jun 21, 2012
- MSCs are now added to the report (as images) · d905681a
  Kisslinger authored 12 years ago
  
  refs 290
  d905681a
Jun 14, 2012
- Extended use-cases with inputs and outputs · eb0928fa
  Kisslinger authored 12 years ago
  
  refs 791
  eb0928fa
May 25, 2012
- Scanned files for illegal characters and replaced them with ascii surrogates. · cf6ba315
  Andreas Wandinger authored 12 years ago
  
  refs 587
  cf6ba315
May 01, 2012
- fixed versions · 643fb922
  Florian Hölzl authored 12 years ago
  
  refs 794
  643fb922
Apr 30, 2012
- GREEN · 7f39a03a
  Florian Hölzl authored 12 years ago
  
  refs 795
  7f39a03a
Apr 17, 2012
- improved refinement testing · 2153ffa9
  Dongyue Mou authored 12 years ago
  
  2153ffa9
Mar 24, 2012
- enhancing the Semantic Inspector UI to specify the word size and bmc length · 0f5ecdc8
  Daniel Ratiu authored 13 years ago
  
  refs 730
  0f5ecdc8
Mar 14, 2012
- small fix · ad5a4afe
  Daniel Ratiu authored 13 years ago
  
  ad5a4afe
Mar 06, 2012
- Small enhancement to allow subclasses to limit accepted selections. Hope this... · aefc5a7a
  Kisslinger authored 13 years ago
  
  Small enhancement to allow subclasses to limit accepted selections. Hope this is OK, else please contact me refs 692
  aefc5a7a
- Small enhancement to allow subclasses to limit accepted selections. Hope this... · 8ad7699e
  Kisslinger authored 13 years ago
  
  Small enhancement to allow subclasses to limit accepted selections. Hope this is OK, else please contact me refs 692
  8ad7699e
Mar 05, 2012
- · fdc13274
  Daniel Ratiu authored 13 years ago
  
  refs 693
  fdc13274
Mar 03, 2012
- code improvements to accomodate MSC editors · fda28685
  Daniel Ratiu authored 13 years ago
  
  refs 693
  fda28685
Feb 29, 2012
- fixed flicker and multiple completion bug · 0548d988
  Christoph Döbber authored 13 years ago
  
  refs 678
  0548d988
Feb 24, 2012
- field assist is YELLOW again · d41dc6b5
  Christoph Döbber authored 13 years ago
  
  d41dc6b5