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

Snippets Groups Projects

Jul 16, 2018
- Add :let and :unlet commands to create and remove local variables · 80690b54
  dgelessus authored 6 years ago
  
  80690b54
- 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
- Fix :show for animation functions with empty cells · 5d8fa845
  dgelessus authored 6 years ago
  
  5d8fa845
- Add missing :trace/:goto test notebook · f455956c
  dgelessus authored 6 years ago
  
  f455956c
- Fix error messages from ProB not being shown when executing operations · a3c67017
  dgelessus authored 6 years ago
  a3c67017
Jul 02, 2018
- Add highlighting for errors with locations (closes #19 ) · cb55a9c0
  dgelessus authored 6 years ago
  cb55a9c0
- Add :trace and :goto commands to view and move in the current trace · b2ea07d8
  dgelessus authored 6 years ago
  
  b2ea07d8
- Render table contents as LaTeX · b5c6051b
  dgelessus authored 6 years ago
  b5c6051b
- Change bsymb injection so that it works better with tables · f536ce93
  dgelessus authored 6 years ago
  f536ce93
Jun 28, 2018
- Remove uses of deprecated ClassicalBFactory.create method · 76e7a10b
  dgelessus authored 6 years ago
  
  76e7a10b
- Stop displaying machine dependency graph when loading · d8b83600
  dgelessus authored 6 years ago
  
  d8b83600
- Use LoadedMachine instead of getChildren in :browse · 6f5a772f
  dgelessus authored 6 years ago
  
  6f5a772f
- Support style preferences in :show · a9b592ec
  dgelessus authored 6 years ago
  
  a9b592ec
- Add support for text labels to :show · b4c549ab
  dgelessus authored 6 years ago
  
  b4c549ab
Jun 26, 2018
- Increase log level to DEBUG · 85e6ed6c
  dgelessus authored 6 years ago
  
  85e6ed6c
Jun 25, 2018
- Add full help messages for all commands · 1f9ec3ac
  dgelessus authored 6 years ago
  
  1f9ec3ac
- Replace kernel parameter of Command methods with injection · 6ea19acd
  dgelessus authored 6 years ago
  6ea19acd
- Change Command interface to require the complete method · 68e03c8f
  dgelessus authored 6 years ago
  68e03c8f
- Refactor bsymb handling · 71148ea2
  dgelessus authored 6 years ago
  
  71148ea2
- Show error when using :show in an uninitialised state · 92da8d9e
  dgelessus authored 6 years ago
  
  92da8d9e
Jun 22, 2018
- Update Gradle wrapper to 4.8.1 · 3251d787
  dgelessus authored 6 years ago
  
  3251d787
Jun 21, 2018
- Add code completion support to ::load, :load, and :pref · 2fe24726
  dgelessus authored 6 years ago
  
  2fe24726
- Add :show command to show animation function · b685b031
  dgelessus authored 6 years ago
  
  b685b031
- Add :dot command · c5b40c14
  dgelessus authored 6 years ago
  
  c5b40c14