Commits · 9f42c8ecb32909d1f2110f93819f4df9351e9f45 · general / stups / ProB 2 Jupyter Kernel · GitLab

Snippets Groups Projects

Jun 16, 2020
- Change ProBKernel.eval internals to use PositionedString · 9f42c8ec
  dgelessus authored 5 years ago
  9f42c8ec
- Change CommandUtils argument parsing methods to accept PositionedString · 65c6345a
  dgelessus authored 5 years ago
  
  65c6345a
- Fix a bug that made splitting of command bodies always fail · 0136397d
  dgelessus authored 5 years ago
  
  0136397d
- Remove CommandUtils.(inspect|complete)In(BExpression|Preference) · ff7235a8
  dgelessus authored 5 years ago
  ff7235a8
- Refactor CommandUtils.inspectInBExpression slightly · d9cd8522
  dgelessus authored 5 years ago
  
  d9cd8522
- Refactor CommandUtils.inspectInPreference slightly · e28b8054
  dgelessus authored 5 years ago
  
  e28b8054
- Adjust condition in inspectInPreference to match completeInPreference · 59fc8642
  dgelessus authored 5 years ago
  
  59fc8642
- Remove splitting from CommandUtils.(inspect|complete)InPreferences · 6b381e4b
  dgelessus authored 5 years ago
  6b381e4b
- Move Inspector and Completer out of CommandUtils · 8d82ee1e
  dgelessus authored 5 years ago
  8d82ee1e
Jun 11, 2020
- Add internal documentation for the new command parsing code · 29be62a2
  dgelessus authored 5 years ago
  
  29be62a2
- Add PositionedString.substring methods · 032af96e
  dgelessus authored 5 years ago
  
  032af96e
Jun 03, 2020
- Re-implement command completion feature based on new argument parsing · cdcfd755
  dgelessus authored 5 years ago
  cdcfd755
- Re-implement command inspection feature based on new argument parsing · 990738c0
  dgelessus authored 5 years ago
  990738c0
May 27, 2020
- Track position information when splitting arguments · 7a83460d
  dgelessus authored 5 years ago
  
  7a83460d
- Simplify body splitting logic in CommandUtils.splitArgs · 50fe7afc
  dgelessus authored 5 years ago
  
  50fe7afc
- Merge branch 'master' into command_parameter_structure · 0c809572
  dgelessus authored 5 years ago
  
  0c809572
- Add unshortened link to article · d1d2a9ed
  dgelessus authored 5 years ago
  d1d2a9ed
- Adjust formatting in README · ceb4a279
  dgelessus authored 5 years ago
  
  ceb4a279
- adapt bibtex entry · f58bb9cf
  Michael Leuschel authored 5 years ago
  
  f58bb9cf
- add link to article and bibtex entry · 506cfd23
  Michael Leuschel authored 5 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