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

Mar 18, 2025
- Update other dependencies · 0b19d24e
  dgelessus authored 1 month ago
  
  0b19d24e
- Mention ProB update in changelog · efc02a5e
  dgelessus authored 1 month ago
  
  efc02a5e
- Use new trace-based dot/table visualization APIs · 0eef62b4
  dgelessus authored 1 month ago
  
  0eef62b4
- Reimplement processResources to avoid Gradle deprecation warnings · 466902b3
  dgelessus authored 1 month ago
  466902b3
- Update for incompatible changes to CompleteIdentifierCommand · 4c5a8071
  dgelessus authored 1 month ago
  
  4c5a8071
- Switch to com.gradleup.shadow plugin to fix Gradle deprecation warnings · 27360b5a
  dgelessus authored 1 month ago
  
  27360b5a
- Replace uses of deprecated Gradle assignment syntax · 0e6ad658
  dgelessus authored 1 month ago
  
  0e6ad658
- Update Gradle wrapper to version 8.13 · 59767a84
  dgelessus authored 1 month ago
  
  59767a84
- Update ProB Java API to version 4.13.2-SNAPSHOT · 5377adb9
  dgelessus authored 1 month ago
  
  5377adb9
Mar 25, 2024
- Update ProB Java API to version 4.13.1 · 13bef624
  dgelessus authored 1 year ago
  
  13bef624
Feb 29, 2024
- Switch to release version 4.13.0 of ProB Java API · 5e14566c
  dgelessus authored 1 year ago
  
  5e14566c
Feb 07, 2024
- Update Gradle wrapper to version 8.6 · 5202806c
  dgelessus authored 1 year ago
  
  5202806c
- Update ProB Java API to new snapshot version number · f9f48147
  dgelessus authored 1 year ago
  
  f9f48147
- Update CommandUtils.bExpressionCompleter to new command API · 0da30b79
  dgelessus authored 1 year ago
  
  0da30b79
Nov 23, 2023
- Update ProB Java API to current 4.12.3-SNAPSHOT · d684f3ac
  dgelessus authored 1 year ago
  d684f3ac
- Update Gradle shadow plugin to version 8.1.1 · eef3f2c1
  dgelessus authored 1 year ago
  
  eef3f2c1
- Update Gradle wrapper to version 8.4 · e89ed041
  dgelessus authored 1 year ago
  
  e89ed041
Aug 04, 2023
- Begin supporting use of native let variables on the Prolog side · 2c370dac
  dgelessus authored 1 year ago
  
  2c370dac
Jul 19, 2023
- add notebook with satsolver tests · 738ba7f6
  Michael Leuschel authored 1 year ago
  738ba7f6
Jul 17, 2023
- Enable ID prefix for VisB to avoid ID conflicts between cells · 609a9c66
  dgelessus authored 1 year ago
  
  609a9c66
Jul 14, 2023
- add missing svg · a644e33c
  Michael Leuschel authored 1 year ago
  a644e33c
- Disable VisB headers · d8ee9d4e
  dgelessus authored 1 year ago
  
  d8ee9d4e
- update VisB manual · 1294f9c6
  Michael Leuschel authored 1 year ago
  1294f9c6
Jul 13, 2023
- update VisB manual · c0079c75
  Michael Leuschel authored 1 year ago
  c0079c75
- add VisB features notebook · cea4acaf
  Michael Leuschel authored 1 year ago
  cea4acaf
- Rerun VisB_Test.ipynb to remove debug print junk · 50e9de19
  dgelessus authored 1 year ago
  
  50e9de19
- update Makefile for new way to specify PROB_HOME · 54115e8d
  Michael Leuschel authored 1 year ago
  54115e8d
- add test for VisB rendering · 26e14e47
  Michael Leuschel authored 1 year ago
  26e14e47
Jul 12, 2023
- Hide info section in VisB visualizations · 37fd5e0a
  dgelessus authored 1 year ago
  
  37fd5e0a
Jul 11, 2023
- Add initial VisB support to :show · 9aba132d
  dgelessus authored 1 year ago
  
  9aba132d
Jun 19, 2023
- Disable test because jupyter-console is broken on Ubuntu 22.04 (jammy) · bbb74533
  dgelessus authored 1 year ago
  bbb74533
- Switch CI from openjdk to eclipse-temurin images · ba99546e
  dgelessus authored 1 year ago
  ba99546e
May 15, 2023
- Update ProB Java API to version 4.12.2-SNAPSHOT · baa3816e
  dgelessus authored 2 years ago
  
  baa3816e
- Merge branch 'master' of gitlab.cs.uni-duesseldorf.de:general/stups/prob2-jupyter-kernel · 4d700605
  Michael Leuschel authored 2 years ago
  4d700605
May 03, 2023
- Bump version number to 1.4.2-SNAPSHOT · 76c2d153
  dgelessus authored 2 years ago
  
  76c2d153
- Release version 1.4.1 · d65a7672
  dgelessus authored 2 years ago
  
  View commits for tag v1.4.1 v1.4.1
  
  d65a7672
- Remove explicit wrapper version from build.gradle · e79b5fcc
  dgelessus authored 2 years ago
  
  e79b5fcc
- Update Gradle wrapper to version 8.1.1 · 14ae5f66
  dgelessus authored 2 years ago
  
  14ae5f66
- Update ProB Java API to version 4.12.1 · c3ba6a76
  dgelessus authored 2 years ago
  
  c3ba6a76
Apr 25, 2023
- Bump version number to 1.4.1-SNAPSHOT · fbdf6b1a
  dgelessus authored 2 years ago
  
  fbdf6b1a