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

Snippets Groups Projects

Jul 23, 2018
- Add simple ProBKernel.isComplete implementation for console mode · cd2f78b7
  dgelessus authored Jul 23, 2018
  cd2f78b7
- Make Command.inspect a required method · cfaae744
  dgelessus authored Jul 23, 2018
  
  cfaae744
- Support inspection in commands that work with preferences · ea5066eb
  dgelessus authored Jul 23, 2018
  
  ea5066eb
Jul 20, 2018
- Update Gradle wrapper to 4.9 · 31a7ed16
  dgelessus authored Jul 20, 2018
  
  31a7ed16
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
- Add initial support for inspection (Shift-Tab in Jupyter Notebook) · 137889eb
  dgelessus authored Jul 19, 2018
  
  137889eb
Jul 17, 2018
- update presentation · 82412e5c
  Michael Leuschel authored Jul 17, 2018
  
  82412e5c
- update presentation · 1c366417
  Michael Leuschel authored Jul 17, 2018
  
  1c366417
Jul 16, 2018
- update presentations · 36450cb4
  Michael Leuschel authored Jul 16, 2018
  
  36450cb4
- 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
- remove material from talk · a0fb4c11
  Michael Leuschel authored Jul 16, 2018
  
  a0fb4c11
- add new notebook · bd7afb4b
  Michael Leuschel authored Jul 16, 2018
  
  bd7afb4b
- update notebook · 7b04452b
  Michael Leuschel authored Jul 16, 2018
  
  7b04452b
- update notebook · 267b3908
  Michael Leuschel authored Jul 16, 2018
  
  267b3908
- add new notebook · f65443f6
  Michael Leuschel authored Jul 16, 2018
  
  f65443f6
Jul 12, 2018
- Remove ability to execute transitions by ID · 7c3fc0a6
  dgelessus authored Jul 12, 2018
  7c3fc0a6
- Don't show ID of found state in :find result · 9bf39a3a
  dgelessus authored Jul 12, 2018
  
  9bf39a3a
- Add :stats command · 34b1e7ab
  dgelessus authored Jul 12, 2018
  
  34b1e7ab
- Display a nicer error message if no source code info is available · 17c68d3b
  dgelessus authored Jul 12, 2018
  
  17c68d3b
- Provide source code to error highlighter in :dot · d70d013d
  dgelessus authored Jul 12, 2018
  
  d70d013d
- Provide source code to error highlighter in :find · 1896b092
  dgelessus authored Jul 12, 2018
  
  1896b092
- Fix range check when highlighting errors in source · 695497e1
  dgelessus authored Jul 12, 2018
  
  695497e1
- Add :find command (closes #20 ) · 680f739d
  dgelessus authored Jul 12, 2018
  
  680f739d
Jul 06, 2018
- add use of :pref DOT_ENGINE to example · 3f62e185
  Michael Leuschel authored Jul 6, 2018
  
  3f62e185
Jul 05, 2018
- add expr as graph example with two relations · 812e1ac5
  Michael Leuschel authored Jul 5, 2018
  
  812e1ac5
- Support loading languages other than classical B using :load · 330dee12
  dgelessus authored Jul 5, 2018
  
  330dee12
- Fix :show for animation functions with empty cells · 5d8fa845
  dgelessus authored Jul 5, 2018
  
  5d8fa845
- Add missing :trace/:goto test notebook · f455956c
  dgelessus authored Jul 5, 2018
  
  f455956c
- Fix error messages from ProB not being shown when executing operations · a3c67017
  dgelessus authored Jul 5, 2018
  a3c67017
Jul 02, 2018
- Add highlighting for errors with locations (closes #19 ) · cb55a9c0
  dgelessus authored Jul 2, 2018
  cb55a9c0
- Add :trace and :goto commands to view and move in the current trace · b2ea07d8
  dgelessus authored Jul 2, 2018
  
  b2ea07d8
- Render table contents as LaTeX · b5c6051b
  dgelessus authored Jul 2, 2018
  b5c6051b
- Change bsymb injection so that it works better with tables · f536ce93
  dgelessus authored Jul 2, 2018
  f536ce93
Jun 28, 2018
- Remove uses of deprecated ClassicalBFactory.create method · 76e7a10b
  dgelessus authored Jun 28, 2018
  
  76e7a10b
- Stop displaying machine dependency graph when loading · d8b83600
  dgelessus authored Jun 28, 2018
  
  d8b83600
- Use LoadedMachine instead of getChildren in :browse · 6f5a772f
  dgelessus authored Jun 28, 2018
  
  6f5a772f
- Support style preferences in :show · a9b592ec
  dgelessus authored Jun 28, 2018
  
  a9b592ec