Commits · a00765bca6869ae9ef5d95ddc4ecbcc6e340f680 · general / stups / ProB 2 Jupyter Kernel

Browse files

Jul 16, 2018
- 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
- Add :stats command · 34b1e7ab
  dgelessus authored Jul 12, 2018
  
  34b1e7ab
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
- 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
- Render table contents as LaTeX · b5c6051b
  dgelessus authored Jul 2, 2018
  b5c6051b
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
- Support style preferences in :show · a9b592ec
  dgelessus authored Jun 28, 2018
  
  a9b592ec
- Add support for text labels to :show · b4c549ab
  dgelessus authored Jun 28, 2018
  
  b4c549ab
Jun 25, 2018
- Add full help messages for all commands · 1f9ec3ac
  dgelessus authored Jun 25, 2018
  
  1f9ec3ac
- Show error when using :show in an uninitialised state · 92da8d9e
  dgelessus authored Jun 25, 2018
  
  92da8d9e
Jun 21, 2018
- Add :show command to show animation function · b685b031
  dgelessus authored Jun 21, 2018
  
  b685b031
- Add :dot command · c5b40c14
  dgelessus authored Jun 21, 2018
  
  c5b40c14
- Remove alternate names for :help and :init · 3cd3865b
  dgelessus authored Jun 21, 2018
  3cd3865b
Jun 20, 2018
- Show better error messages when :constants or :init are not possible · f522d444
  dgelessus authored Jun 20, 2018
  
  f522d444
- Show TRUE instead of nothing when an assertion succeeds · 4773b994
  dgelessus authored Jun 20, 2018
  
  4773b994
Jun 18, 2018
- Add :assert command · 9e979d80
  dgelessus authored Jun 18, 2018
  
  9e979d80
Jun 07, 2018
- Display EvalResults as Markdown/LaTeX · eccbd708
  dgelessus authored Jun 7, 2018
  
  eccbd708
- Add :type command to display the type of a formula (closes #11 ) · bbddc42a
  dgelessus authored Jun 7, 2018
  
  bbddc42a
Jun 06, 2018
- update notebooks · 2893c6d9
  Michael Leuschel authored Jun 6, 2018
  
  2893c6d9
- Rerun all notebooks · 43d027f2
  dgelessus authored Jun 6, 2018
  
  43d027f2
- add experiment notebook · 260e0291
  Michael Leuschel authored Jun 6, 2018
  
  260e0291
- update model notebook example · 48a19e14
  Michael Leuschel authored Jun 6, 2018
  
  48a19e14
- add FP notebook · b2e828b6
  Michael Leuschel authored Jun 6, 2018
  
  b2e828b6
Jun 04, 2018
- update presentation · 7f54a979
  Michael Leuschel authored Jun 4, 2018
  
  7f54a979
- add images to presentation · db789fad
  Michael Leuschel authored Jun 4, 2018
  
  db789fad
- Add :table command to display an expression as a table (closes #7 ) · 4d149828
  dgelessus authored Jun 4, 2018
  
  4d149828
- Use display instead of System.out in TimeCommand · 5cdf73e5
  dgelessus authored Jun 4, 2018
  
  5cdf73e5
- add Kodkod Test example · 3cd9453a
  Michael Leuschel authored Jun 4, 2018
  
  3cd9453a
- update presentation · 6d239c19
  Michael Leuschel authored Jun 4, 2018
  
  6d239c19
- Support using SETUP_CONSTANTS and INITIALISATION as operation names · 44b9eef1
  dgelessus authored Jun 4, 2018
  
  44b9eef1