Commits · 1abbb2710d9b713d9ebc64cef57b82a4c23da14d · general / stups / ProB 2 Jupyter Kernel · GitLab

Snippets Groups Projects

May 14, 2020
- 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
- Refactor preference parsing into a common utility method · ef02c9d6
  dgelessus authored May 14, 2018
  
  ef02c9d6
- Don't split command line before passing it to the commands · 0afbbe9c
  dgelessus authored May 14, 2018
  0afbbe9c