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

Browse files

Dec 04, 2020
- Use new ProB 2 method for dot visualization without manual temp file · a654e73e
  dgelessus authored 4 years ago
  
  a654e73e
Nov 05, 2020
- Allow switching the language used to parse formulas input by the user · 6b8d6bb6
  dgelessus authored 4 years ago
  6b8d6bb6
Jul 02, 2020
- Display pretty operation names in operation execution output · bc7eafab
  dgelessus authored 5 years ago
  
  bc7eafab
- Merge implementations of :constants, :init and :exec · 24839b33
  dgelessus authored 5 years ago
  
  24839b33
Jun 19, 2020
- Use new StateSpace preference methods in :pref implementation · ae69755e
  dgelessus authored 5 years ago
  
  ae69755e
May 14, 2020
- Add B parser version to :version output · 943a058d
  dgelessus authored 5 years ago
  
  943a058d
- Add support for parsing first line of cell separately from body · b41a63e6
  dgelessus authored 5 years ago
  
  b41a63e6
Feb 27, 2020
- Improve :version command · 091ba271
  dgelessus authored 5 years ago
  091ba271
Feb 18, 2020
- Don't display dot command availability in :help :dot · cc91cd81
  dgelessus authored 5 years ago
  cc91cd81
- Fix MACHINE_INFO being recognized as machine instead of an expression · d0e3a169
  dgelessus authored 5 years ago
  
  d0e3a169
- Rerun all the notebooks · 57a7f3e1
  dgelessus authored 5 years ago
  
  57a7f3e1
- Improve a bunch of help texts · dab5ba47
  dgelessus authored 5 years ago
  
  dab5ba47
- Structure :help command list into categories · cb837dff
  dgelessus authored 5 years ago
  cb837dff
Feb 17, 2020
- Expand :help intro text · be1480e2
  dgelessus authored 5 years ago
  
  be1480e2
Feb 04, 2020
- Remove outdated note from :type command help · 1c8f4ecb
  dgelessus authored 5 years ago
  1c8f4ecb
- Add support :let variables to more commands · bbc147f3
  dgelessus authored 5 years ago
  bbc147f3
Jan 13, 2020
- Allow loading machines without an explicit ::load command · 9db68c3a
  dgelessus authored 5 years ago
  9db68c3a
Jan 09, 2020
- Add nbgrader metadata to DeliveryExercise.ipynb · a69564f0
  dgelessus authored 5 years ago
  
  a69564f0
- add new external functions · a6b4a72a
  Michael Leuschel authored 5 years ago
  
  a6b4a72a
Jan 06, 2020
- Fix a few typos and LaTeX issues in NFA_to_DFA.ipynb · e54da55c
  dgelessus authored 5 years ago
  
  e54da55c
Dec 19, 2019
- Add NFA_to_DFA.ipynb · 0b8446e1
  dgelessus authored 5 years ago
  
  0b8446e1
Dec 04, 2019
- Add test notebook and models for :modelcheck · 2947b54c
  dgelessus authored 5 years ago
  
  2947b54c
Oct 10, 2019
- add licence for images of chess pieces · 09b3d04b
  Michael Leuschel authored 5 years ago
  
  09b3d04b
Oct 09, 2019
- add version of N-Queens with visualization · d11cb81e
  Michael Leuschel authored 5 years ago
  
  d11cb81e
- Add another model reference example · 4c968736
  Michael Leuschel authored 5 years ago
  
  4c968736
May 10, 2019
- add comment on how to lock · 50fef812
  Michael Leuschel authored 6 years ago
  
  50fef812
- add exercise experiment · 063b72e1
  Michael Leuschel authored 6 years ago
  
  063b72e1
- update slides · 460c643e
  Michael Leuschel authored 6 years ago
  
  460c643e
May 07, 2019
- use greek Sigma in presentation · 47a8a8ef
  Michael Leuschel authored 6 years ago
  
  47a8a8ef
- almost final version of Bad Honnef Jupyter presentation · ddf16257
  Michael Leuschel authored 6 years ago
  
  ddf16257
- update presentation · 36208732
  Michael Leuschel authored 6 years ago
  
  36208732
May 06, 2019
- add Bad Honnef presentation · 8014ecdd
  Michael Leuschel authored 6 years ago
  
  8014ecdd
- update external functions docu · fbe232dd
  Michael Leuschel authored 6 years ago
  
  fbe232dd
Oct 18, 2018
- Add bachelor presentation notebook · 7e88da14
  dgelessus authored 6 years ago
  
  7e88da14
Oct 15, 2018
- Evaluate :let expressions when variable is set, not when it it used · d1eaeec4
  dgelessus authored 6 years ago
  
  d1eaeec4
Aug 27, 2018
- Fix dollars not being quoted in :trace output · d25f0e2b
  dgelessus authored 6 years ago
  
  d25f0e2b
Aug 13, 2018
- Rerun all of the notebooks · da1d9df9
  dgelessus authored 6 years ago
  
  da1d9df9
Jul 19, 2018
- 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 7 years ago
  
  82412e5c
- update presentation · 1c366417
  Michael Leuschel authored 7 years ago
  
  1c366417