Commits · 1088f7ba12b56123d25d58a6805161c12bf768b7 · general / stups / ProB 2 Jupyter Kernel · 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).

Jun 16, 2020
- Add PositionedString.getEndPosition helper method · 1088f7ba
  dgelessus authored 4 years ago
  
  1088f7ba
- Unify command name/argument splitting in ProBKernel · a2cd8916
  dgelessus authored 4 years ago
  
  a2cd8916
- Unify handling of command-less input in ProBKernel · fb9f43e6
  dgelessus authored 4 years ago
  fb9f43e6
- Remove ProBKernel.completeInternal special case for only whitespace · d083be85
  dgelessus authored 4 years ago
  d083be85
- Change ProBKernel.complete internals to use PositionedString · e2ed584e
  dgelessus authored 4 years ago
  e2ed584e
- Change ProBKernel.inspect internals to use PositionedString · cb47120e
  dgelessus authored 4 years ago
  cb47120e
- Change ProBKernel.eval internals to use PositionedString · 9f42c8ec
  dgelessus authored 4 years ago
  9f42c8ec
- Change CommandUtils argument parsing methods to accept PositionedString · 65c6345a
  dgelessus authored 4 years ago
  
  65c6345a
- Fix a bug that made splitting of command bodies always fail · 0136397d
  dgelessus authored 4 years ago
  
  0136397d
- Remove CommandUtils.(inspect|complete)In(BExpression|Preference) · ff7235a8
  dgelessus authored 4 years ago
  ff7235a8
- Refactor CommandUtils.inspectInBExpression slightly · d9cd8522
  dgelessus authored 4 years ago
  
  d9cd8522
- Refactor CommandUtils.inspectInPreference slightly · e28b8054
  dgelessus authored 4 years ago
  
  e28b8054
- Adjust condition in inspectInPreference to match completeInPreference · 59fc8642
  dgelessus authored 4 years ago
  
  59fc8642
- Remove splitting from CommandUtils.(inspect|complete)InPreferences · 6b381e4b
  dgelessus authored 4 years ago
  6b381e4b
- Move Inspector and Completer out of CommandUtils · 8d82ee1e
  dgelessus authored 4 years ago
  8d82ee1e
Jun 11, 2020
- Add internal documentation for the new command parsing code · 29be62a2
  dgelessus authored 4 years ago
  
  29be62a2
- Add PositionedString.substring methods · 032af96e
  dgelessus authored 4 years ago
  
  032af96e
Jun 03, 2020
- Re-implement command completion feature based on new argument parsing · cdcfd755
  dgelessus authored 4 years ago
  cdcfd755
- Re-implement command inspection feature based on new argument parsing · 990738c0
  dgelessus authored 4 years ago
  990738c0
May 27, 2020
- Track position information when splitting arguments · 7a83460d
  dgelessus authored 4 years ago
  
  7a83460d
- Simplify body splitting logic in CommandUtils.splitArgs · 50fe7afc
  dgelessus authored 4 years ago
  
  50fe7afc
- Merge branch 'master' into command_parameter_structure · 0c809572
  dgelessus authored 4 years ago
  
  0c809572
- Add unshortened link to article · d1d2a9ed
  dgelessus authored 4 years ago
  d1d2a9ed
- Adjust formatting in README · ceb4a279
  dgelessus authored 4 years ago
  
  ceb4a279
- adapt bibtex entry · f58bb9cf
  Michael Leuschel authored 4 years ago
  
  f58bb9cf
- add link to article and bibtex entry · 506cfd23
  Michael Leuschel authored 4 years ago
  
  506cfd23
May 18, 2020
- Bump version number to 1.2.1-SNAPSHOT · c039e339
  dgelessus authored 5 years ago
  
  c039e339
- Release version 1.2.0 · b925e6be
  dgelessus authored 5 years ago
  
  View commits for tag v1.2.0 v1.2.0
  
  b925e6be
- Clean up help output of main class (installer) · a38afbfd
  dgelessus authored 5 years ago
  a38afbfd
- Fix build.gradle possibly not updating build properties · 145ad1ab
  dgelessus authored 5 years ago
  
  145ad1ab
- Remove pip install command from README · 2182fe58
  dgelessus authored 5 years ago
  2182fe58
- Mention requirements more obviously in installation instructions · 562bf732
  dgelessus authored 5 years ago
  
  562bf732
- Expand section on alternative frontends in README · 7082b708
  dgelessus authored 5 years ago
  
  7082b708
- Update and expand Python/Jupyter requirements in README · a16c448b
  dgelessus authored 5 years ago
  
  a16c448b
May 14, 2020
- Implement kernel interrupts properly · a4be7c57
  dgelessus authored 5 years ago
  a4be7c57
- Add B parser version to :version output · 943a058d
  dgelessus authored 5 years ago
  
  943a058d
- Change kernelspec JSON generation to use JsonElement APIs · 5632fafe
  dgelessus authored 5 years ago
  5632fafe
- Change ProB 2 version from snapshot to latest release (3.11.0) · 391cb29b
  dgelessus authored 5 years ago
  
  391cb29b
- Make Parameter an interface and split out its implementation · 55d48b60
  dgelessus authored 5 years ago
  55d48b60
- Make parameter classes less generic and add factory methods · 09c95ece
  dgelessus authored 5 years ago
  09c95ece