Commits · d9cd85225313998309938e20c7575b51f8d1237f · general / stups / ProB 2 Jupyter Kernel · GitLab

Snippets Groups Projects

Jun 16, 2020
- Refactor CommandUtils.inspectInBExpression slightly · d9cd8522
  dgelessus authored Jun 16, 2020
  
  d9cd8522
- Refactor CommandUtils.inspectInPreference slightly · e28b8054
  dgelessus authored Jun 16, 2020
  
  e28b8054
- Adjust condition in inspectInPreference to match completeInPreference · 59fc8642
  dgelessus authored Jun 16, 2020
  
  59fc8642
- Remove splitting from CommandUtils.(inspect|complete)InPreferences · 6b381e4b
  dgelessus authored Jun 16, 2020
  6b381e4b
- Move Inspector and Completer out of CommandUtils · 8d82ee1e
  dgelessus authored Jun 16, 2020
  8d82ee1e
Jun 11, 2020
- Add internal documentation for the new command parsing code · 29be62a2
  dgelessus authored Jun 11, 2020
  
  29be62a2
- Add PositionedString.substring methods · 032af96e
  dgelessus authored Jun 11, 2020
  
  032af96e
Jun 03, 2020
- Re-implement command completion feature based on new argument parsing · cdcfd755
  dgelessus authored Jun 3, 2020
  cdcfd755
- Re-implement command inspection feature based on new argument parsing · 990738c0
  dgelessus authored Jun 3, 2020
  990738c0
May 27, 2020
- Track position information when splitting arguments · 7a83460d
  dgelessus authored May 27, 2020
  
  7a83460d
- Simplify body splitting logic in CommandUtils.splitArgs · 50fe7afc
  dgelessus authored May 27, 2020
  
  50fe7afc
May 14, 2020
- Remove PositionalParameter (except as a namespace/utility class) · d0ba9604
  dgelessus authored May 14, 2020
  d0ba9604
- Move parameter splitting and validation code into separate objects · 5e18f994
  dgelessus authored May 13, 2020
  5e18f994
- Separate command parsing into splitting and validation steps · 256b244c
  dgelessus authored May 13, 2020
  256b244c
- Remove no longer used CommandUtils.splitArgs methods · 1abbb271
  dgelessus authored May 5, 2020
  
  1abbb271
- Add support for parsing first line of cell separately from body · b41a63e6
  dgelessus authored May 5, 2020
  
  b41a63e6
- Add initial implementation of new command argument parsing · 5a378b0f
  dgelessus authored Apr 6, 2020
  5a378b0f
- Move non-command classes out of commands package · 099a52bd
  dgelessus authored Mar 25, 2020
  099a52bd
Apr 30, 2020
- Fix line comments on last line of expression with let variables defined · d0b22b41
  dgelessus authored Apr 30, 2020
  
  d0b22b41
Feb 04, 2020
- Add support :let variables to more commands · bbc147f3
  dgelessus authored Feb 4, 2020
  bbc147f3
Feb 12, 2019
- Upgrade JetBrains annotations back to current version · af93bb84
  dgelessus authored Feb 12, 2019
  af93bb84
Nov 30, 2018
- Fix problems caused by trailing spaces in user inputs · de758284
  dgelessus authored Nov 30, 2018
  de758284
- Downgrade JetBrains annotations to 13.0 for compatibility with Alloy2B · 856f768e
  dgelessus authored Nov 30, 2018
  856f768e
Jul 23, 2018
- Support inspection in commands that work with preferences · ea5066eb
  dgelessus authored Jul 23, 2018
  
  ea5066eb
Jul 19, 2018
- Fix AIOOBE in CommandUtils.inspectArgs/completeArgs · 6e436a7c
  dgelessus authored Jul 19, 2018
  
  6e436a7c
- Support inspection in all commands that accept B formulas · dc92a2a8
  dgelessus authored Jul 19, 2018
  
  dc92a2a8
- Support inspection of identifiers in B expressions · 07714bb8
  dgelessus authored Jul 19, 2018
  
  07714bb8
Jul 16, 2018
- Refactor code completion for commands with multiple arguments · a00765bc
  dgelessus authored Jul 16, 2018
  
  a00765bc
- Add :check command to show and check properties/invariant/assertions · 09a64c2b
  dgelessus authored Jul 16, 2018
  
  09a64c2b
Jul 02, 2018
- Add highlighting for errors with locations (closes #19 ) · cb55a9c0
  dgelessus authored Jul 2, 2018
  cb55a9c0
Jun 21, 2018
- Add code completion support to ::load, :load, and :pref · 2fe24726
  dgelessus authored Jun 21, 2018
  
  2fe24726
Jun 20, 2018
- Add code completion support to most commands · e2b97144
  dgelessus authored Jun 20, 2018
  e2b97144
- Add code completion for B keywords and identifiers in :eval · 3b922bfd
  dgelessus authored Jun 20, 2018
  
  3b922bfd
Jun 07, 2018
- Display EvalResults as Markdown/LaTeX · eccbd708
  dgelessus authored Jun 7, 2018
  
  eccbd708
May 29, 2018
- Update jupyter-jvm-basekernel to 2.1.1 · 94d0aa78
  dgelessus authored May 29, 2018
  
  94d0aa78
May 28, 2018
- Add optional limit parameter to CommandUtils.splitArgs · 5b74f2a9
  dgelessus authored May 28, 2018
  
  5b74f2a9
May 24, 2018
- Move displayDataForEvalResult into CommandUtils · 731b8867
  dgelessus authored May 24, 2018
  
  731b8867
- Remove the no longer needed name argument of the command run methods · d1901e09
  dgelessus authored May 24, 2018
  d1901e09
- Automatically add command name to UserErrorExceptions from commands · a2d34d8c
  dgelessus authored May 24, 2018
  
  a2d34d8c
May 14, 2018
- Prevent newlines from being treated as command argument separators · cfd869a0
  dgelessus authored May 14, 2018
  
  cfd869a0