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

Snippets Groups Projects

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 6 years ago
  
  6e436a7c
- Support inspection in all commands that accept B formulas · dc92a2a8
  dgelessus authored 6 years ago
  
  dc92a2a8
- Support inspection of identifiers in B expressions · 07714bb8
  dgelessus authored 6 years ago
  
  07714bb8
- Add initial support for inspection (Shift-Tab in Jupyter Notebook) · 137889eb
  dgelessus authored 6 years ago
  
  137889eb
Jul 17, 2018
- update presentation · 82412e5c
  Michael Leuschel authored 6 years ago
  
  82412e5c
- update presentation · 1c366417
  Michael Leuschel authored 6 years ago
  
  1c366417
Jul 16, 2018
- update presentations · 36450cb4
  Michael Leuschel authored 6 years ago
  
  36450cb4
- Refactor code completion for commands with multiple arguments · a00765bc
  dgelessus authored 6 years ago
  
  a00765bc
- Add :check command to show and check properties/invariant/assertions · 09a64c2b
  dgelessus authored 6 years ago
  
  09a64c2b
- remove material from talk · a0fb4c11
  Michael Leuschel authored 6 years ago
  
  a0fb4c11
- add new notebook · bd7afb4b
  Michael Leuschel authored 6 years ago
  
  bd7afb4b
- update notebook · 7b04452b
  Michael Leuschel authored 6 years ago
  
  7b04452b
- update notebook · 267b3908
  Michael Leuschel authored 6 years ago
  
  267b3908
- add new notebook · f65443f6
  Michael Leuschel authored 6 years ago
  
  f65443f6
Jul 12, 2018
- Remove ability to execute transitions by ID · 7c3fc0a6
  dgelessus authored 6 years ago
  7c3fc0a6
- Don't show ID of found state in :find result · 9bf39a3a
  dgelessus authored 6 years ago
  
  9bf39a3a
- Add :stats command · 34b1e7ab
  dgelessus authored 6 years ago
  
  34b1e7ab
- Display a nicer error message if no source code info is available · 17c68d3b
  dgelessus authored 6 years ago
  
  17c68d3b
- Provide source code to error highlighter in :dot · d70d013d
  dgelessus authored 6 years ago
  
  d70d013d
- Provide source code to error highlighter in :find · 1896b092
  dgelessus authored 6 years ago
  
  1896b092
- Fix range check when highlighting errors in source · 695497e1
  dgelessus authored 6 years ago
  
  695497e1
- Add :find command (closes #20 ) · 680f739d
  dgelessus authored 6 years ago
  
  680f739d
Jul 06, 2018
- add use of :pref DOT_ENGINE to example · 3f62e185
  Michael Leuschel authored 6 years ago
  
  3f62e185
Jul 05, 2018
- add expr as graph example with two relations · 812e1ac5
  Michael Leuschel authored 6 years ago
  
  812e1ac5
- Support loading languages other than classical B using :load · 330dee12
  dgelessus authored 6 years ago
  
  330dee12