Commits · cdcfd7555094ec79cc75af600d16cf39a02a0cf4 · 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 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
- Remove PositionalParameter (except as a namespace/utility class) · d0ba9604
  dgelessus authored 5 years ago
  d0ba9604
- Move parameter splitting and validation code into separate objects · 5e18f994
  dgelessus authored 5 years ago
  5e18f994
- Separate command parsing into splitting and validation steps · 256b244c
  dgelessus authored 5 years ago
  256b244c
- Remove no longer used CommandUtils.splitArgs methods · 1abbb271
  dgelessus authored 5 years ago
  
  1abbb271
- Add positional parameter types for repeated/multiple-value parameters · a6add576
  dgelessus authored 5 years ago
  
  a6add576
- Add support for parsing first line of cell separately from body · b41a63e6
  dgelessus authored 5 years ago
  
  b41a63e6
- Add initial implementation of new command argument parsing · 5a378b0f
  dgelessus authored 5 years ago
  5a378b0f
- Fix multiline machines not being detected in cells without ::load · e7ea5de7
  dgelessus authored 5 years ago
  
  e7ea5de7
- Move non-command classes out of commands package · 099a52bd
  dgelessus authored 5 years ago
  099a52bd
May 04, 2020
- Mention Java 14 compatibility in README · 58bcc2cd
  dgelessus authored 5 years ago
  
  58bcc2cd
- Make download links in README more obvious · 55a6a229
  dgelessus authored 5 years ago
  
  55a6a229
Apr 30, 2020
- Fix line comments on last line of expression with let variables defined · d0b22b41
  dgelessus authored 5 years ago
  
  d0b22b41
Apr 22, 2020
- Mention Java 14 compatibility in CHANGELOG.md · b621e6b4
  dgelessus authored 5 years ago
  
  b621e6b4
- Update ProB 2 to version 4.0.0-SNAPSHOT for Java 14 compatibility · e5188664
  dgelessus authored 5 years ago
  
  e5188664
- Update Gradle wrapper to version 6.3 for Java 14 compatibility · 824f34b1
  dgelessus authored 5 years ago
  
  824f34b1
Apr 16, 2020
- Install GraphViz on Binder to allow using Dot visualisations · 8377a642
  dgelessus authored 5 years ago
  
  8377a642
Mar 05, 2020
- Remove no longer needed Git LFS-related commands from Binder postBuild · e52e0cac
  dgelessus authored 5 years ago
  e52e0cac