Commits · csp · 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).

Dec 17, 2012
- removed unnecessary file. · c2e3162c
  dobrikov authored 12 years ago
  
  c2e3162c
- Updated downloadCli2 gradle task. · ee1d972d
  dobrikov authored 12 years ago
  
  ee1d972d
Dec 12, 2012
- working on csp support · f1e3dc81
  Lukas Ladenberger authored 12 years ago
  
  f1e3dc81
Dec 11, 2012
- Merge branch 'develop' into csp · 5fbed712
  Lukas Ladenberger authored 12 years ago
  
  5fbed712
- applied find bugs · 97038fa8
  Lukas Ladenberger authored 12 years ago
  
  97038fa8
- cleanup · f203f468
  Lukas Ladenberger authored 12 years ago
  
  f203f468
- Merge branch 'develop' of github.com:bendisposto/prob into develop · c56c38e1
  Lukas Ladenberger authored 12 years ago
  
  c56c38e1
- Merge branch 'feature/observerview' into develop · 7a135701
  Lukas Ladenberger authored 12 years ago
  
  7a135701
- added some meta info · f015d66b
  Lukas Ladenberger authored 12 years ago
  
  f015d66b
- working on observer view · 8797ef44
  Lukas Ladenberger authored 12 years ago
  
  8797ef44
- added load csp model command · 2ba78820
  Lukas Ladenberger authored 12 years ago
  
  2ba78820
- working on observer view + cleanup · 51f4de6d
  Lukas Ladenberger authored 12 years ago
  
  51f4de6d
Dec 10, 2012
- working on observer view · 7a079836
  Lukas Ladenberger authored 12 years ago
  
  7a079836
- description for gradle install added · 2ef2d69c
  birkhoff authored 12 years ago
  
  2ef2d69c
- dynamic properties removed · 20afeb99
  birkhoff authored 12 years ago
  
  20afeb99
Nov 27, 2012
- version number bump · ac6681c2
  Lukas Ladenberger authored 12 years ago
  
  ac6681c2
- Merge branch 'develop' of github.com:bendisposto/prob into develop · ca98d226
  Lukas Ladenberger authored 12 years ago
  
  ca98d226
- removed observer from outline view · 6f4c0ba2
  Lukas Ladenberger authored 12 years ago
  
  6f4c0ba2
Nov 26, 2012
- updated tycho script · 28ca9ba2
  birkhoff authored 12 years ago
  
  28ca9ba2
- changed MF File · 931f70a1
  birkhoff authored 12 years ago
  
  931f70a1
- version bump · f273b085
  Lukas Ladenberger authored 12 years ago
  
  f273b085
Nov 23, 2012
- Merge branch 'develop' of github.com:bendisposto/prob into develop · 3184b598
  Lukas Ladenberger authored 12 years ago
  
  3184b598
- removed preview feature from observer wizards (buggy) · 4563c1a3
  Lukas Ladenberger authored 12 years ago
  
  4563c1a3
Nov 21, 2012
- more deps · d2d5a23d
  Jens Bendisposto authored 12 years ago
  
  d2d5a23d
- Merge remote-tracking branch 'origin/develop' into develop · ee1e2f74
  Jens Bendisposto authored 12 years ago
  
  ee1e2f74
- - removed theory plugin dependency (undo this when the plugin is available through an update site) · b5822082
  Jens Bendisposto authored 12 years ago
  b5822082
- - removed theory plugin dependency (undo this when the plugin is available through an update site) · b7107786
  Jens Bendisposto authored 12 years ago
  b7107786
Nov 16, 2012
- updated dependency to new parser · 3ae437ae
  Daniel Plagge authored 12 years ago
  
  3ae437ae
- Merge branch 'feature/theory_plugin' into develop · 3c66cea5
  Daniel Plagge authored 12 years ago
  3c66cea5
- bugfix: When the translation failed due to a RodinDatabaseException, no · 700c4acc
  Daniel Plagge authored 12 years ago
  700c4acc
Nov 13, 2012
- Merge branch 'release/2.3.3' into develop · 3fa41b02
  Jens Bendisposto authored 12 years ago
  
  3fa41b02
- version bump for release · d875a4d8
  Jens Bendisposto authored 12 years ago
  
  d875a4d8
- removed emf dependency · 154707c8
  Jens Bendisposto authored 12 years ago
  
  154707c8
- Replaced new export handler by the old version · f17ce9cf
  Jens Bendisposto authored 12 years ago
  
  f17ce9cf
- Fixed Findbugs warnings · 5048bf50
  Jens Bendisposto authored 12 years ago
  
  5048bf50
Nov 09, 2012
- cleanup paste command · 1b0f2e3e
  Lukas Ladenberger authored 12 years ago
  
  1b0f2e3e
- added label attribute to signal · bb2cd6fa
  Lukas Ladenberger authored 12 years ago
  
  bb2cd6fa
- fixed bug: negative coordinates were not shown · 582cb949
  Lukas Ladenberger authored 12 years ago
  
  582cb949
- fixed copy/paste controls (correct handling of connections) · 7c5fe944
  Lukas Ladenberger authored 12 years ago
  
  7c5fe944
Nov 08, 2012
- fixed target definition file (get eclipse related dependencies from · 385cadf8
  Lukas Ladenberger authored 12 years ago
  385cadf8