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

Feb 19, 2015
- Merge branch 'develop' · 16b9c555
  Sebastian Krings authored 10 years ago
  
  View commits for tag 3.0.8 3.0.8
  
  16b9c555
- version bump to 3.0.8 · 611f1caf
  Sebastian Krings authored 10 years ago
  
  611f1caf
- Merge branch 'refs/heads/develop' · 98a22ead
  Sebastian Krings authored 10 years ago
  
  98a22ead
- version bump to 3.0.8 · b9e8310f
  Sebastian Krings authored 10 years ago
  
  b9e8310f
- remove more trace outputs in Model Checking result dialog · 62fe0f11
  Michael Leuschel authored 10 years ago
  
  62fe0f11
Feb 18, 2015
- no longer show trace of state ids in ModelChecking result dialog · 2b721fad
  Michael Leuschel authored 10 years ago
  
  2b721fad
Feb 04, 2015
- PROBPLUGIN-113 use Aux Animator · d4b780f2
  Jens Bendisposto authored 10 years ago
  
  d4b780f2
Jan 30, 2015
- remove upper bound on new nodes added by LTL model check · 55808740
  Michael Leuschel authored 10 years ago
  55808740
Jan 16, 2015
- version bump for release · cdc2a2db
  Sebastian Krings authored 10 years ago
  
  cdc2a2db
Jan 15, 2015
- submit all hypotheses back to rodin as used hypotheses to prevent false replay... · 8c044b7b
  Sebastian Krings authored 10 years ago
  8c044b7b
- fix warning · abd71630
  Sebastian Krings authored 10 years ago
  
  abd71630
- bump parser version · 9fd14714
  Sebastian Krings authored 10 years ago
  
  9fd14714
- update to support rodin 3.1 theory plugin · 2cc69372
  Sebastian Krings authored 10 years ago
  
  2cc69372
Dec 08, 2014
- there is no shell available here. remove dialog window · 8500c13e
  Sebastian Krings authored 10 years ago
  
  8500c13e
Dec 02, 2014
- fixed starting visualisation via context menu · 70b4da62
  Lukas Ladenberger authored 10 years ago
  
  70b4da62
Nov 26, 2014
- version bump in order to prepare for rodin 3.1 release · 33ddc27d
  Sebastian Krings authored 10 years ago
  
  33ddc27d
Oct 31, 2014
- Fixed a bug in the LTL viewer of Rodin (see comments in the commit). · af71deea
  Ivaylo Dobrikov authored 10 years ago
  
  af71deea
Oct 17, 2014
- bump dependency versions · 28b349b5
  Sebastian Krings authored 10 years ago
  
  28b349b5
Oct 13, 2014
- rise error message regarding valid constants and properties even if there is no operation available · ee86fbc8
  Sebastian Krings authored 10 years ago
  
  ee86fbc8
- show counterexample found on selected hypotheses · 7518acb1
  Sebastian Krings authored 10 years ago
  
  7518acb1
Oct 10, 2014
- announce computed state · 32161a10
  Sebastian Krings authored 10 years ago
  
  32161a10
- a simple port of the ConstructTraceCommand from ProB 2.0 · 0e317163
  Sebastian Krings authored 10 years ago
  
  0e317163
- parser version bump in eclipse files · 83be5554
  Sebastian Krings authored 10 years ago
  
  83be5554
Oct 08, 2014
- parser version bump · 30cc5d90
  Sebastian Krings authored 10 years ago
  
  30cc5d90
Sep 25, 2014
- rodin version bump · 1d46fa6c
  Sebastian Krings authored 10 years ago
  
  1d46fa6c
Sep 15, 2014
- add project name to po export files · 117682fa
  Sebastian Krings authored 10 years ago
  
  117682fa
- export proof status together with the pos · 5395045c
  Sebastian Krings authored 10 years ago
  
  5395045c
Sep 12, 2014
- improve proof obligation export · d4334394
  Sebastian Krings authored 10 years ago
  
  d4334394
- fix sequent name · 848799ce
  Sebastian Krings authored 10 years ago
  
  848799ce
- disable indentation · c831ee89
  Sebastian Krings authored 10 years ago
  
  c831ee89
- add ability to export pos to file for disprover test case generation · 8cd89b7d
  Sebastian Krings authored 10 years ago
  
  8cd89b7d
- update class path and manifest with newer xstream version · d50ad057
  Sebastian Krings authored 10 years ago
  
  d50ad057
Sep 11, 2014
- bumped xstream library version from 1.4.3 to 1.4.7 · 0c1f4c37
  Lukas Ladenberger authored 10 years ago
  
  0c1f4c37
Sep 09, 2014
- bump parser version to 2.4.30-snapshot · c3ece0a2
  Sebastian Krings authored 10 years ago
  
  c3ece0a2
Aug 29, 2014
- fix a few warnings · 066b4834
  Sebastian Krings authored 10 years ago
  
  066b4834
Aug 18, 2014
- bump version number for 3.0.6 develop · 2a7eb0ab
  Sebastian Krings authored 10 years ago
  
  2a7eb0ab
- Merge branch 'release/3.0.5' into develop · 555446e3
  Sebastian Krings authored 10 years ago
  
  555446e3
- Merge branch 'release/3.0.5' · 500fc5a5
  Sebastian Krings authored 10 years ago
  
  View commits for tag 3.0.5 3.0.5
  
  500fc5a5
- bump version number for 3.0.5 release · ede7ca6e
  Sebastian Krings authored 10 years ago
  
  ede7ca6e
Jul 29, 2014
- bump version number for release · 4ad6fbec
  Sebastian Krings authored 10 years ago
  
  4ad6fbec