Commits · 7a83460d2885d16a137c6f79ab449f8c6be61b2c · general / stups / ProB 2 Jupyter Kernel · GitLab

Snippets Groups Projects

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 18, 2020
- Clean up help output of main class (installer) · a38afbfd
  dgelessus authored May 18, 2020
  a38afbfd
May 14, 2020
- Implement kernel interrupts properly · a4be7c57
  dgelessus authored May 14, 2020
  a4be7c57
- Add B parser version to :version output · 943a058d
  dgelessus authored May 14, 2020
  
  943a058d
- Change kernelspec JSON generation to use JsonElement APIs · 5632fafe
  dgelessus authored May 14, 2020
  5632fafe
- Make Parameter an interface and split out its implementation · 55d48b60
  dgelessus authored May 14, 2020
  55d48b60
- Make parameter classes less generic and add factory methods · 09c95ece
  dgelessus authored May 14, 2020
  09c95ece
- 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 positional parameter types for repeated/multiple-value parameters · a6add576
  dgelessus authored May 5, 2020
  
  a6add576
- 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
- Fix multiline machines not being detected in cells without ::load · e7ea5de7
  dgelessus authored Apr 6, 2020
  
  e7ea5de7
- 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 27, 2020
- Improve :version command · 091ba271
  dgelessus authored Feb 27, 2020
  091ba271
Feb 18, 2020
- Don't display dot command availability in :help :dot · cc91cd81
  dgelessus authored Feb 18, 2020
  cc91cd81
- Fix MACHINE_INFO being recognized as machine instead of an expression · d0e3a169
  dgelessus authored Feb 18, 2020
  
  d0e3a169
- Improve a bunch of help texts · dab5ba47
  dgelessus authored Feb 18, 2020
  
  dab5ba47
- Structure :help command list into categories · cb837dff
  dgelessus authored Feb 18, 2020
  cb837dff
Feb 17, 2020
- Sort ProBKernel.COMMAND_CLASSES alphabetically · f6ad58e6
  dgelessus authored Feb 17, 2020
  
  f6ad58e6
- Move BsymbCommand to correct package · bda0e358
  dgelessus authored Feb 17, 2020
  
  bda0e358
- Store command names in command classes instead of ProBKernel · e1266bcd
  dgelessus authored Feb 17, 2020
  e1266bcd
- Expand :help intro text · be1480e2
  dgelessus authored Feb 17, 2020
  
  be1480e2
- Improve formatting of :help command list · e5f08374
  dgelessus authored Feb 17, 2020
  
  e5f08374
Feb 13, 2020
- Write kernel JSON using Gson instead of replacing strings in a template · cf667776
  dgelessus authored Feb 13, 2020
  cf667776
Feb 04, 2020
- Remove outdated note from :type command help · 1c8f4ecb
  dgelessus authored Feb 4, 2020
  1c8f4ecb
- Add support :let variables to more commands · bbc147f3
  dgelessus authored Feb 4, 2020
  bbc147f3
Jan 13, 2020
- Allow loading machines without an explicit ::load command · 9db68c3a
  dgelessus authored Jan 13, 2020
  9db68c3a
Jan 09, 2020
- Remove ES6 Unicode regexp features from kernel.js · 5f870031
  dgelessus authored Jan 9, 2020
  5f870031
- Fix typo in REPL syntax highlighting language name · c7fbd3c8
  dgelessus authored Jan 9, 2020
  
  c7fbd3c8
Jan 06, 2020
- Add :bsymb command to allow reliably using bsymb definitions in LaTeX · d65d6c2e
  dgelessus authored Jan 6, 2020
  
  d65d6c2e
Dec 04, 2019
- Display status information while :modelcheck is running · 1101b4fa
  dgelessus authored Dec 4, 2019
  
  1101b4fa
- Add :modelcheck command (#14 ) · d3aacd9f
  dgelessus authored Dec 4, 2019
  
  d3aacd9f
Dec 02, 2019
- Use Guava Stopwatch instead of System.nanoTime in TimeCommand · 53c45239
  dgelessus authored Dec 2, 2019
  
  53c45239
Nov 18, 2019
- Fix incorrect example in comment in CheckCommand · 482cc975
  dgelessus authored Nov 18, 2019
  
  482cc975
- Change :check command to not use GetMachineStructureCommand · 18a22870
  dgelessus authored Nov 18, 2019
  18a22870