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

Sep 17, 2020
- Run commands in a separate executor instead of the main kernel thread · c6ceee34
  dgelessus authored 4 years ago
  c6ceee34
Sep 09, 2020
- Also recognize special machine names without .mch in error highlighting · f5e74fb7
  dgelessus authored 4 years ago
  
  f5e74fb7
- Display extra context lines before and after error line(s) · 78af527d
  dgelessus authored 4 years ago
  
  78af527d
- Implement error highlighting for code not from the current cell · 4207a565
  dgelessus authored 4 years ago
  4207a565
- Fix error highlighting being applied to external files · 768cd6fd
  dgelessus authored 4 years ago
  768cd6fd
- Move ProBKernel.currentMachineDirectory initialization · f76431f2
  dgelessus authored 4 years ago
  
  f76431f2
- Fix current trace being null after failing to load a machine · c623defb
  dgelessus authored 4 years ago
  
  c623defb
Sep 01, 2020
- Remove setting of prob.stdlib now that ProB 2 does it automatically · fc004646
  dgelessus authored 4 years ago
  
  fc004646
Aug 31, 2020
- Add own dependency on Logback because ProB 2 no longer provides it · cffee0af
  dgelessus authored 4 years ago
  
  cffee0af
Jul 02, 2020
- Display pretty operation names in operation execution output · bc7eafab
  dgelessus authored 4 years ago
  
  bc7eafab
- Merge implementations of :constants, :init and :exec · 24839b33
  dgelessus authored 4 years ago
  
  24839b33
- Use new ProB 2 API methods for handling pretty operation names · 0c2896e4
  dgelessus authored 4 years ago
  
  0c2896e4
Jun 19, 2020
- Use new StateSpace preference methods in :pref implementation · ae69755e
  dgelessus authored 4 years ago
  
  ae69755e
- Use the same probcli instance to load all machines · 8ecd72e1
  dgelessus authored 4 years ago
  8ecd72e1
Jun 16, 2020
- Document command parsing refactoring in CHANGELOG · f6b12a9b
  dgelessus authored 4 years ago
  
  f6b12a9b
- Remove unnecessary special case in inspection/completion · f4c66837
  dgelessus authored 4 years ago
  f4c66837
- Fix completion not working if no arguments have been typed yet · dda24329
  dgelessus authored 4 years ago
  
  dda24329
- Fix a fencepost error in CommandUtils.matchBIdentifierAt · d5d26190
  dgelessus authored 4 years ago
  d5d26190
- 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