Commits · 0eef62b4d41d3b189cbcf7c83c6d100c68c259a5 · general / stups / ProB 2 Jupyter Kernel · GitLab

Snippets Groups Projects

Mar 18, 2025
- Use new trace-based dot/table visualization APIs · 0eef62b4
  dgelessus authored 3 months ago
  
  0eef62b4
Nov 08, 2021
- Automatically insert local variables when parsing formulas · c8d48040
  dgelessus authored 3 years ago
  c8d48040
Dec 08, 2020
- Use new ProB 2 APIs for getting visualization commands by name · 0c62d6a5
  dgelessus authored 4 years ago
  
  0c62d6a5
Dec 04, 2020
- Use new ProB 2 method for dot visualization without manual temp file · a654e73e
  dgelessus authored 4 years ago
  
  a654e73e
Dec 03, 2020
- Use new high-level dot and table visualization APIs · df4aa861
  dgelessus authored 4 years ago
  
  df4aa861
Nov 05, 2020
- Allow switching the language used to parse formulas input by the user · 6b8d6bb6
  dgelessus authored 4 years ago
  6b8d6bb6
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 14, 2020
- Make parameter classes less generic and add factory methods · 09c95ece
  dgelessus authored 5 years ago
  09c95ece
- 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
Feb 18, 2020
- Don't display dot command availability in :help :dot · cc91cd81
  dgelessus authored 5 years ago
  cc91cd81
Feb 17, 2020
- Store command names in command classes instead of ProBKernel · e1266bcd
  dgelessus authored 5 years ago
  e1266bcd
Feb 04, 2020
- Add support :let variables to more commands · bbc147f3
  dgelessus authored 5 years ago
  bbc147f3
Jul 19, 2018
- Support inspection in all commands that accept B formulas · dc92a2a8
  dgelessus authored 6 years ago
  
  dc92a2a8
Jul 16, 2018
- Refactor code completion for commands with multiple arguments · a00765bc
  dgelessus authored 6 years ago
  
  a00765bc
Jul 12, 2018
- Provide source code to error highlighter in :dot · d70d013d
  dgelessus authored 6 years ago
  
  d70d013d
Jul 02, 2018
- Add highlighting for errors with locations (closes #19 ) · cb55a9c0
  dgelessus authored 7 years ago
  cb55a9c0
Jun 25, 2018
- Add full help messages for all commands · 1f9ec3ac
  dgelessus authored 7 years ago
  
  1f9ec3ac
- Replace kernel parameter of Command methods with injection · 6ea19acd
  dgelessus authored 7 years ago
  6ea19acd
Jun 21, 2018
- Add :dot command · c5b40c14
  dgelessus authored 7 years ago
  
  c5b40c14