Commits · 4c5a80714d1ca50786a1721358b947c539b87700 · general / stups / ProB 2 Jupyter Kernel · GitLab

Snippets Groups Projects

Mar 18, 2025
- Update for incompatible changes to CompleteIdentifierCommand · 4c5a8071
  dgelessus authored 3 months ago
  
  4c5a8071
Feb 07, 2024
- 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
Dec 19, 2022
- fix let expression created for Event-B · bb2a552f
  Michael Leuschel authored 2 years ago
  bb2a552f
May 23, 2022
- Improve display of evaluation errors using new position information · cc86c232
  dgelessus authored 3 years ago
  
  cc86c232
Feb 28, 2022
- Disable use of LaTeX in :check tables as well · 8b2e511d
  dgelessus authored 3 years ago
  
  8b2e511d
Nov 08, 2021
- Fix local variables in Event-B mode · d7c9a23d
  dgelessus authored 3 years ago
  d7c9a23d
- Automatically insert local variables when parsing formulas · c8d48040
  dgelessus authored 3 years ago
  c8d48040
- Use PredicateBuilder to build let variable assignments · 19e2ef85
  dgelessus authored 3 years ago
  
  19e2ef85
Nov 05, 2020
- Allow switching the language used to parse formulas input by the user · 6b8d6bb6
  dgelessus authored 4 years ago
  6b8d6bb6
Jul 02, 2020
- Use new ProB 2 API methods for handling pretty operation names · 0c2896e4
  dgelessus authored 5 years ago
  
  0c2896e4
Jun 16, 2020
- Fix a fencepost error in CommandUtils.matchBIdentifierAt · d5d26190
  dgelessus authored 5 years ago
  d5d26190
- Add PositionedString.getEndPosition helper method · 1088f7ba
  dgelessus authored 5 years ago
  
  1088f7ba
- 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
May 14, 2020
- 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 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
- Move non-command classes out of commands package · 099a52bd
  dgelessus authored 5 years ago
  099a52bd
Apr 30, 2020
- Fix line comments on last line of expression with let variables defined · d0b22b41
  dgelessus authored 5 years ago
  
  d0b22b41
Feb 04, 2020
- Add support :let variables to more commands · bbc147f3
  dgelessus authored 5 years ago
  bbc147f3
Feb 12, 2019
- Upgrade JetBrains annotations back to current version · af93bb84
  dgelessus authored 6 years ago
  af93bb84
Nov 30, 2018
- Fix problems caused by trailing spaces in user inputs · de758284
  dgelessus authored 6 years ago
  de758284
- Downgrade JetBrains annotations to 13.0 for compatibility with Alloy2B · 856f768e
  dgelessus authored 6 years ago
  856f768e
Jul 23, 2018
- Support inspection in commands that work with preferences · ea5066eb
  dgelessus authored 6 years ago
  
  ea5066eb