Commits · 430e856ae3a042c559273150959ac47d79684f7c · 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
- 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
- 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
- fix separators · 9222d3b4
  Sebastian Krings authored 12 years ago
  
  9222d3b4
- update dependency · 36240c7d
  Sebastian Krings authored 12 years ago
  
  36240c7d
- 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' 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
- 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
- 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
Jan 02, 2013
- translation of units pragmas in machines, contexts next · 0cf8520d
  Sebastian Krings authored 12 years ago
  
  0cf8520d
- renamed unitPragma to unitPragmaAttribute to avoid name clash with internal data types · 9eadbf16
  Sebastian Krings authored 12 years ago
  
  9eadbf16
- infrastructure for translation of unit pragmas · c9b110ac
  Sebastian Krings authored 12 years ago
  
  c9b110ac
- insert results of unit analysis in the inferredUnitPragma text fields · eaf30ff0
  Sebastian Krings authored 12 years ago
  
  eaf30ff0
- add a second text field to output the inferred pragma · 69181ee0
  Sebastian Krings authored 12 years ago
  
  69181ee0
- switch plugin output to list, managed to get the resulting state printed on the console….. · 6303d930
  Sebastian Krings authored 12 years ago
  
  6303d930
Dec 28, 2012
- fix predicate name · edd36d1f
  Sebastian Krings authored 12 years ago
  
  edd36d1f
- get unit analysis result (string form) from prolog and print on console · 89240b65
  Sebastian Krings authored 12 years ago
  
  89240b65
Dec 27, 2012
- Merge branch 'develop' of github.com:bendisposto/prob into feature/units · 070b9e3b
  Sebastian Krings authored 12 years ago
  
  070b9e3b
Dec 20, 2012
- working on analysis handler · 388da10e
  Sebastian Krings authored 12 years ago
  
  388da10e
- new proof status: reviewed · 64cd3e87
  Jens Bendisposto authored 12 years ago
  
  64cd3e87
- refactoring, new command structure for unit analysis handler · 42dd4ec3
  Sebastian Krings authored 12 years ago
  
  42dd4ec3
- fix term send to prolog · 8eea83fc
  Sebastian Krings authored 12 years ago
  
  8eea83fc
Dec 19, 2012
- try to add unit pragmas to the translation, infrastructural work · f74c5200
  Sebastian Krings authored 12 years ago
  
  f74c5200
- Merge branch 'develop' of github.com:bendisposto/prob into feature/units · c04588fb
  Sebastian Krings authored 12 years ago
  
  c04588fb