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

Jul 19, 2023
- add notebook with satsolver tests · 738ba7f6
  Michael Leuschel authored 1 year ago
  738ba7f6
Jul 17, 2023
- Enable ID prefix for VisB to avoid ID conflicts between cells · 609a9c66
  dgelessus authored 1 year ago
  
  609a9c66
Jul 14, 2023
- add missing svg · a644e33c
  Michael Leuschel authored 1 year ago
  a644e33c
- Disable VisB headers · d8ee9d4e
  dgelessus authored 1 year ago
  
  d8ee9d4e
- update VisB manual · 1294f9c6
  Michael Leuschel authored 1 year ago
  1294f9c6
Jul 13, 2023
- update VisB manual · c0079c75
  Michael Leuschel authored 1 year ago
  c0079c75
- add VisB features notebook · cea4acaf
  Michael Leuschel authored 1 year ago
  cea4acaf
- Rerun VisB_Test.ipynb to remove debug print junk · 50e9de19
  dgelessus authored 1 year ago
  
  50e9de19
- add test for VisB rendering · 26e14e47
  Michael Leuschel authored 1 year ago
  26e14e47
Jul 11, 2023
- Add initial VisB support to :show · 9aba132d
  dgelessus authored 1 year ago
  
  9aba132d
Apr 25, 2023
- Re-run all the notebooks · 051afe49
  dgelessus authored 2 years ago
  
  051afe49
Apr 17, 2023
- add info about random float generation · 7a6373a8
  Michael Leuschel authored 2 years ago
  7a6373a8
Feb 02, 2023
- Update www3 URLs to stups.hhu-hosting.de · acaabec6
  dgelessus authored 2 years ago
  
  acaabec6
Dec 12, 2022
- Use \def instead of \newcommand to define custom LaTeX commands · ddda8ac3
  dgelessus authored 2 years ago
  ddda8ac3
Nov 09, 2022
- add another notebook · 679d97b9
  Michael Leuschel authored 2 years ago
  679d97b9
Oct 03, 2022
- add first text about Event-B · 259e2a27
  Michael Leuschel authored 2 years ago
  
  259e2a27
- add more operator descriptions · 4184bb5a
  Michael Leuschel authored 2 years ago
  
  4184bb5a
- add float/reals manual · 0f88d81c
  Michael Leuschel authored 2 years ago
  
  0f88d81c
- add presentation · ba2dc4a1
  Michael Leuschel authored 2 years ago
  
  ba2dc4a1
Sep 29, 2022
- Make :exec/:init automatically set up constants/initialize if needed · 7389c733
  dgelessus authored 2 years ago
  
  7389c733
Jun 06, 2022
- Use new ProB 2 Language class instead of custom FormulaLanguage · c7674844
  dgelessus authored 3 years ago
  
  c7674844
May 23, 2022
- Fix missing source code for evaluation errors · 16b727b1
  dgelessus authored 3 years ago
  
  16b727b1
- Improve display of evaluation errors using new position information · cc86c232
  dgelessus authored 3 years ago
  
  cc86c232
Feb 28, 2022
- Use new getters for properties/invariant/assertions in :check · b3a5138b
  dgelessus authored 3 years ago
  
  b3a5138b
Jan 06, 2022
- Re-execute all notebooks using current kernel · 798ed3f1
  dgelessus authored 3 years ago
  
  798ed3f1
- Fix type errors in tests/chr_tests.ipynb · d2d85b8b
  dgelessus authored 3 years ago
  d2d85b8b
Nov 08, 2021
- Allow spaces around equals sign in :let · 83361fe2
  dgelessus authored 3 years ago
  
  83361fe2
- Remove let variables from solution outside of Event-B mode too · 56a272dd
  dgelessus authored 3 years ago
  56a272dd
- Allow equals sign between name and value in :let · ed137199
  dgelessus authored 3 years ago
  
  ed137199
- Fix local variables in Event-B mode · d7c9a23d
  dgelessus authored 3 years ago
  d7c9a23d
- Fix outdated help text for :let command · 4d390e48
  dgelessus authored 3 years ago
  
  4d390e48
Jun 08, 2021
- Shorten ABZ 2021 slides slightly · 2b50c3c7
  dgelessus authored 4 years ago
  
  2b50c3c7
- Update ABZ 2021 slides again · 22a7f683
  dgelessus authored 4 years ago
  
  22a7f683
Jun 07, 2021
- Update ABZ 2021 slides · 9b059dd9
  dgelessus authored 4 years ago
  
  9b059dd9
Jun 04, 2021
- Add initial version of ABZ 2021 slides · c5674d4d
  dgelessus authored 4 years ago
  
  c5674d4d
Mar 23, 2021
- Don't keep :let variables across machine loads · 349f0966
  dgelessus authored 4 years ago
  
  349f0966
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 4 years ago
  
  bc7eafab
- Merge implementations of :constants, :init and :exec · 24839b33
  dgelessus authored 4 years ago
  
  24839b33