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

May 27, 2020
- 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
- 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
- Update links to new repo location · df237174
  dgelessus authored 5 years ago
  
  df237174
Mar 03, 2020
- Update README · 23655f27
  dgelessus authored 5 years ago
  23655f27
Feb 27, 2020
- Bump version number to 1.1.1-SNAPSHOT · 4e6f7780
  dgelessus authored 5 years ago
  
  4e6f7780
- Fix Git not being installed on GitLab CI · 088e9cc9
  dgelessus authored 5 years ago
  
  View commits for tag v1.1.0 v1.1.0
  
  088e9cc9
- Release version 1.1.0 · 5e6df9bf
  dgelessus authored 5 years ago
  
  5e6df9bf
- Remove release version 1.0.0 from Git LFS · 0007a30f
  dgelessus authored 5 years ago
  0007a30f
- Fix ProB 2 version number in CHANGELOG.md · 60df754e
  dgelessus authored 5 years ago
  
  60df754e
- Remove manually defined cleanKernelSpec task · 2bfb0e88
  dgelessus authored 5 years ago
  2bfb0e88
- Don't use cleanKernelSpec task to delete outputs in createKernelSpec · 281a5df4
  dgelessus authored 5 years ago
  281a5df4
- Replace use of deprecated shadowJar.archivePath property · fc71c0c5
  dgelessus authored 5 years ago
  
  fc71c0c5
- Remove unnecessary manual setting of createKernelSpec task inputs · d19a4fa4
  dgelessus authored 5 years ago
  d19a4fa4
- Improve :version command · 091ba271
  dgelessus authored 5 years ago
  091ba271
- Switch to release version of ProB 2 Java API · 2b75217b
  dgelessus authored 5 years ago
  
  2b75217b
- Include Sonatype snapshots repo only for snapshot builds · 47e6591e
  dgelessus authored 5 years ago
  47e6591e