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
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 05, 2018
- 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
- 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 21, 2018
- Add code completion support to ::load, :load, and :pref · 2fe24726
  dgelessus authored 7 years ago
  
  2fe24726
- Add :show command to show animation function · b685b031
  dgelessus authored 7 years ago
  
  b685b031
- Add :dot command · c5b40c14
  dgelessus authored 7 years ago
  
  c5b40c14
- Remove alternate names for :help and :init · 3cd3865b
  dgelessus authored 7 years ago
  3cd3865b
Jun 20, 2018
- Add code completion support to most commands · e2b97144
  dgelessus authored 7 years ago
  e2b97144
- Add code completion for B keywords and identifiers in :eval · 3b922bfd
  dgelessus authored 7 years ago
  
  3b922bfd
- Show better error messages when :constants or :init are not possible · f522d444
  dgelessus authored 7 years ago
  
  f522d444
- Show TRUE instead of nothing when an assertion succeeds · 4773b994
  dgelessus authored 7 years ago
  
  4773b994
Jun 18, 2018
- Add initial support for code completion · 421dab0e
  dgelessus authored 7 years ago
  421dab0e
- Add :assert command · 9e979d80
  dgelessus authored 7 years ago
  
  9e979d80
- Use standard MIMETYPE.TEXT_MARKDOWN constant instead of our own · 1cc75071
  dgelessus authored 7 years ago
  
  1cc75071
- Allow returning null from Command.run · 28932b05
  dgelessus authored 7 years ago
  
  28932b05