Commits · feature/multiview · general / stups / ProB Rodin Plugin · GitLab

Snippets Groups Projects

Ab 01.06.2025 wird in der Informatik 2FA/MFA erzwungen. Die Einrichtung wird vorher empfohlen, optimalerweise direkt mit Fallback (Hardwaretoken UND TOTP-/Authenticator App).

Jan 08, 2013
- Merge branch 'develop' into feature/multiview · 27fe06e4
  Lukas Ladenberger authored 12 years ago
  
  27fe06e4
- renamed package · 531082b7
  Sebastian Krings authored 12 years ago
  
  531082b7
- remove old test folder · 5a1a0be1
  Sebastian Krings authored 12 years ago
  
  5a1a0be1
- move prob core unit tests to their own plugin · 430e856a
  Sebastian Krings authored 12 years ago
  
  430e856a
- removed "continue" · a6ff0c96
  Daniel Plagge authored 12 years ago
  
  a6ff0c96
- Merge remote-tracking branch 'origin/develop' into develop · c9cd556b
  Daniel Plagge authored 12 years ago
  
  c9cd556b
- Getting Type Environment now from the model or context, not using the default.... · 967dbd5f
  Daniel Plagge authored 12 years ago
  967dbd5f
Jan 07, 2013
- towards reimplementing running visualization · 6d4120fb
  Lukas Ladenberger authored 12 years ago
  
  6d4120fb
- update build properties. add icon folder to export. · 83e46b45
  Sebastian Krings authored 12 years ago
  
  83e46b45
- update units feature · 01740770
  Sebastian Krings authored 12 years ago
  
  01740770
- Merge branch 'feature/units' into develop · 5d254275
  Sebastian Krings authored 12 years ago
  
  5d254275
- improved perspective · 733ee9c5
  Lukas Ladenberger authored 12 years ago
  
  733ee9c5
- fix separators · 9222d3b4
  Sebastian Krings authored 12 years ago
  
  9222d3b4
- update dependency · 36240c7d
  Sebastian Krings authored 12 years ago
  
  36240c7d
- improved perspective ordering · a94e95dd
  Lukas Ladenberger authored 12 years ago
  
  a94e95dd
- update unit plugin xml file (name, vendor, etc) · 42651c69
  Sebastian Krings authored 12 years ago
  
  42651c69
- tried to move unit analysis to its own plugin. there are remaining references... · f168c6cb
  Sebastian Krings authored 12 years ago
  f168c6cb
- Merge branch 'develop' of github.com:bendisposto/prob into feature/units · 48f77a16
  Sebastian Krings authored 12 years ago
  
  48f77a16
- Merge branch 'develop' into feature/multiview · 0f21e04b
  Lukas Ladenberger authored 12 years ago
  
  0f21e04b
- consider local copy perspectives · 449bf918
  Lukas Ladenberger authored 12 years ago
  
  449bf918
- Merge branch 'develop' of github.com:bendisposto/prob into develop · dce251d6
  Sebastian Krings authored 12 years ago
  
  dce251d6
- add missing parameter to constructor, to prevent calling the default constructor · 60f30e44
  Sebastian Krings authored 12 years ago
  
  60f30e44
Jan 04, 2013
- implemented remove view action · e4408213
  Lukas Ladenberger authored 12 years ago
  
  e4408213
- fixed outline view · 6e67c73c
  Lukas Ladenberger authored 12 years ago
  
  6e67c73c
- run method in ui thread · d19aa00c
  Lukas Ladenberger authored 12 years ago
  
  d19aa00c
- working on multiview support · 03b9414c
  Lukas Ladenberger authored 12 years ago
  
  03b9414c
- animator is shut down by the activation once rodin is quit. no need to do it here. · 5feac513
  Sebastian Krings authored 12 years ago
  
  5feac513
- okay, error handling is done in the animator. no need to do it here. · 5565f05c
  Sebastian Krings authored 12 years ago
  
  5565f05c
- removed old todo item · c4448d19
  Sebastian Krings authored 12 years ago
  
  c4448d19
- implemented control panel for managing open simulations #2 · 2c6002fd
  Lukas Ladenberger authored 12 years ago
  
  2c6002fd
- implemented control panel for managing open simulations · 5588d378
  Lukas Ladenberger authored 12 years ago
  
  5588d378
- update log message for unit analysis · d24258a1
  Sebastian Krings authored 12 years ago
  
  d24258a1
- get errors from prob after unit analysis, only insert the results into the... · 40ac9ae7
  Sebastian Krings authored 12 years ago
  40ac9ae7
- add copyright comments · cee83df9
  Sebastian Krings authored 12 years ago
  
  cee83df9
- getPossibleValues should return null to avoid a drop down menu in some of the rodin editors · 431f8f68
  Sebastian Krings authored 12 years ago
  
  431f8f68
Jan 03, 2013
- use atomicString instead of toString to remove ticks around the units returned by ProB · 36699953
  Sebastian Krings authored 12 years ago
  
  36699953
- do not export an empty unit attribute to ProB · 49fabba9
  Sebastian Krings authored 12 years ago
  
  49fabba9
- do not should down the animator after unit analysis. not sure if this is correct anyway. · 9a22c885
  Sebastian Krings authored 12 years ago
  
  9a22c885
- wrap the content of the unit pragma in a list, to get closers to what happens for regular B · 75286489
  Sebastian Krings authored 12 years ago
  
  75286489
- fixed some bugs · 518f4ab8
  Lukas Ladenberger authored 12 years ago
  
  518f4ab8