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

Snippets Groups Projects

Oct 17, 2018
- add command to start console · cea910ef
  Michael Leuschel authored 6 years ago
  
  cea910ef
- Fix transition parameters not being shown in :trace · 50f1cca7
  dgelessus authored 6 years ago
  
  50f1cca7
Oct 16, 2018
- Don't show full traceback when a command throws an unknown exception · c88d7264
  dgelessus authored 6 years ago
  c88d7264
Oct 15, 2018
- Change ProB 2 version to 3.2.12-SNAPSHOT · ecbbbabe
  dgelessus authored 6 years ago
  
  ecbbbabe
- Evaluate :let expressions when variable is set, not when it it used · d1eaeec4
  dgelessus authored 6 years ago
  
  d1eaeec4
- Add warning to :let help that values are stored as text · be3891f3
  dgelessus authored 6 years ago
  
  be3891f3
- Add placeholders for missing methods in (Let|Unlet)Command · 5844b876
  dgelessus authored 6 years ago
  
  5844b876
- Merge branch 'let_variables' · ba9562c5
  dgelessus authored 6 years ago
  
  ba9562c5
Oct 02, 2018
- Add nbconvert output files to .gitignore · a468b952
  dgelessus authored 6 years ago
  
  a468b952
Sep 27, 2018
- Bump version to 1.0.1-SNAPSHOT · 6bd54cf5
  dgelessus authored 6 years ago
  
  6bd54cf5
Aug 29, 2018
- Release version 1.0.0 · db95b483
  dgelessus authored 6 years ago
  View commits for tag v1.0.0 v1.0.0
  
  db95b483
Aug 27, 2018
- Fix dollars not being quoted in :trace output · d25f0e2b
  dgelessus authored 6 years ago
  
  d25f0e2b
- update Makefile · bab1f6ae
  Michael Leuschel authored 6 years ago
  
  bab1f6ae
Aug 13, 2018
- Rerun all of the notebooks · da1d9df9
  dgelessus authored 6 years ago
  
  da1d9df9
- Fix image display in table generated by :show · c9a56ced
  dgelessus authored 6 years ago
  c9a56ced
- Change dependencies from snapshot to release versions · 2f341a5d
  dgelessus authored 6 years ago
  
  2f341a5d
Aug 09, 2018
- Update instructions in README.md · bcfdaadc
  dgelessus authored 6 years ago
  
  bcfdaadc
- Update command list in syntax highlighting · c6fdabff
  dgelessus authored 6 years ago
  
  c6fdabff
- Use jupyter instead of python3 -m jupyter to install the kernel spec · 343b37af
  dgelessus authored 6 years ago
  343b37af
Aug 07, 2018
- Update dependencies · ea020329
  dgelessus authored 6 years ago
  
  ea020329
- Make the kernel jar self-installable · 9bfe9940
  dgelessus authored 6 years ago
  9bfe9940
Jul 23, 2018
- Add simple ProBKernel.isComplete implementation for console mode · cd2f78b7
  dgelessus authored 6 years ago
  cd2f78b7
- Make Command.inspect a required method · cfaae744
  dgelessus authored 6 years ago
  
  cfaae744
- Support inspection in commands that work with preferences · ea5066eb
  dgelessus authored 6 years ago
  
  ea5066eb
Jul 20, 2018
- Update Gradle wrapper to 4.9 · 31a7ed16
  dgelessus authored 6 years ago
  
  31a7ed16
Jul 19, 2018
- Fix AIOOBE in CommandUtils.inspectArgs/completeArgs · 6e436a7c
  dgelessus authored 7 years ago
  
  6e436a7c
- Support inspection in all commands that accept B formulas · dc92a2a8
  dgelessus authored 7 years ago
  
  dc92a2a8
- Support inspection of identifiers in B expressions · 07714bb8
  dgelessus authored 7 years ago
  
  07714bb8
- Add initial support for inspection (Shift-Tab in Jupyter Notebook) · 137889eb
  dgelessus authored 7 years ago
  
  137889eb
Jul 17, 2018
- update presentation · 82412e5c
  Michael Leuschel authored 7 years ago
  
  82412e5c
- update presentation · 1c366417
  Michael Leuschel authored 7 years ago
  
  1c366417
Jul 16, 2018
- update presentations · 36450cb4
  Michael Leuschel authored 7 years ago
  
  36450cb4
- Refactor code completion for commands with multiple arguments · a00765bc
  dgelessus authored 7 years ago
  
  a00765bc
- Add :let and :unlet commands to create and remove local variables · 80690b54
  dgelessus authored 7 years ago
  
  80690b54
- Add :check command to show and check properties/invariant/assertions · 09a64c2b
  dgelessus authored 7 years ago
  
  09a64c2b
- remove material from talk · a0fb4c11
  Michael Leuschel authored 7 years ago
  
  a0fb4c11
- add new notebook · bd7afb4b
  Michael Leuschel authored 7 years ago
  
  bd7afb4b
- update notebook · 7b04452b
  Michael Leuschel authored 7 years ago
  
  7b04452b
- update notebook · 267b3908
  Michael Leuschel authored 7 years ago
  
  267b3908
- add new notebook · f65443f6
  Michael Leuschel authored 7 years ago
  
  f65443f6