Commits · 4232958c1d1f98f9b68fb1510ed05b3b10e04697 · general / stups / ProB 2 Jupyter Kernel · GitLab

You need to sign in or sign up before continuing.

Feb 24, 2023
- Replace use of deprecated getNextTransitions overload · 4232958c
  dgelessus authored Feb 24, 2023
  
  4232958c
Feb 01, 2023
- Update ProB website/wiki links · c9a3ea98
  dgelessus authored Feb 1, 2023
  
  c9a3ea98
Dec 19, 2022
- fix let expression created for Event-B · bb2a552f
  Michael Leuschel authored Dec 19, 2022
  bb2a552f
Dec 12, 2022
- Use \def instead of \newcommand to define custom LaTeX commands · ddda8ac3
  dgelessus authored Dec 12, 2022
  ddda8ac3
Oct 17, 2022
- Rewrite installation process to be fully Python-based · d4e70d07
  dgelessus authored Oct 17, 2022
  d4e70d07
Sep 29, 2022
- Make :exec/:init automatically set up constants/initialize if needed · 7389c733
  dgelessus authored Sep 29, 2022
  
  7389c733
Jul 26, 2022
- Remove no longer needed handling of null ProBError.getErrors · 6c2ab074
  dgelessus authored Jul 26, 2022
  6c2ab074
Jun 06, 2022
- Use new ProB 2 Language class instead of custom FormulaLanguage · c7674844
  dgelessus authored Jun 5, 2022
  
  c7674844
May 23, 2022
- Fix missing source code for evaluation errors · 16b727b1
  dgelessus authored May 23, 2022
  
  16b727b1
- Improve display of evaluation errors using new position information · cc86c232
  dgelessus authored May 23, 2022
  
  cc86c232
Feb 28, 2022
- Use new getters for properties/invariant/assertions in :check · b3a5138b
  dgelessus authored Feb 28, 2022
  
  b3a5138b
- Disable use of LaTeX in :check tables as well · 8b2e511d
  dgelessus authored Feb 28, 2022
  
  8b2e511d
Nov 24, 2021
- Use plain Unicode instead of LaTeX in rich text :table output · 4a0f5d5f
  dgelessus authored Nov 24, 2021
  4a0f5d5f
Nov 08, 2021
- Fix source code not being shown in :type errors · dcec9077
  dgelessus authored Nov 8, 2021
  
  dcec9077
- Allow spaces around equals sign in :let · 83361fe2
  dgelessus authored Nov 8, 2021
  
  83361fe2
- Include short version information in banner message · 3fbe434b
  dgelessus authored Nov 8, 2021
  
  3fbe434b
- Remove let variables from solution outside of Event-B mode too · 56a272dd
  dgelessus authored Nov 8, 2021
  56a272dd
- Allow equals sign between name and value in :let · ed137199
  dgelessus authored Nov 8, 2021
  
  ed137199
- Fix local variables in Event-B mode · d7c9a23d
  dgelessus authored Nov 8, 2021
  d7c9a23d
- Fix outdated help text for :let command · 4d390e48
  dgelessus authored Nov 8, 2021
  
  4d390e48
- Automatically insert local variables when parsing formulas · c8d48040
  dgelessus authored Nov 8, 2021
  c8d48040
- Use PredicateBuilder to build let variable assignments · 19e2ef85
  dgelessus authored Nov 8, 2021
  
  19e2ef85
Jun 03, 2021
- Fix :trace sometimes displaying transitions as null · 80631d19
  dgelessus authored Jun 3, 2021
  
  80631d19
Mar 23, 2021
- Remove no longer needed handling of ModelTranslationError · 1e9ec5fb
  dgelessus authored Mar 23, 2021
  1e9ec5fb
- Don't keep :let variables across machine loads · 349f0966
  dgelessus authored Mar 23, 2021
  
  349f0966
Dec 08, 2020
- Use new ProB 2 APIs for getting visualization commands by name · 0c62d6a5
  dgelessus authored Dec 8, 2020
  
  0c62d6a5
Dec 04, 2020
- Use new ProB 2 method for dot visualization without manual temp file · a654e73e
  dgelessus authored Dec 4, 2020
  
  a654e73e
Dec 03, 2020
- Use new high-level dot and table visualization APIs · df4aa861
  dgelessus authored Dec 3, 2020
  
  df4aa861
Nov 05, 2020
- Allow switching the language used to parse formulas input by the user · 6b8d6bb6
  dgelessus authored Nov 5, 2020
  6b8d6bb6
Sep 17, 2020
- Run commands in a separate executor instead of the main kernel thread · c6ceee34
  dgelessus authored Sep 17, 2020
  c6ceee34
Sep 09, 2020
- Also recognize special machine names without .mch in error highlighting · f5e74fb7
  dgelessus authored Sep 9, 2020
  
  f5e74fb7
- Display extra context lines before and after error line(s) · 78af527d
  dgelessus authored Sep 9, 2020
  
  78af527d
- Implement error highlighting for code not from the current cell · 4207a565
  dgelessus authored Sep 9, 2020
  4207a565
- Fix error highlighting being applied to external files · 768cd6fd
  dgelessus authored Sep 9, 2020
  768cd6fd
- Move ProBKernel.currentMachineDirectory initialization · f76431f2
  dgelessus authored Sep 9, 2020
  
  f76431f2
- Fix current trace being null after failing to load a machine · c623defb
  dgelessus authored Sep 9, 2020
  
  c623defb
Sep 01, 2020
- Remove setting of prob.stdlib now that ProB 2 does it automatically · fc004646
  dgelessus authored Sep 1, 2020
  
  fc004646
Jul 02, 2020
- Display pretty operation names in operation execution output · bc7eafab
  dgelessus authored Jul 2, 2020
  
  bc7eafab
- Merge implementations of :constants, :init and :exec · 24839b33
  dgelessus authored Jul 2, 2020
  
  24839b33
- Use new ProB 2 API methods for handling pretty operation names · 0c2896e4
  dgelessus authored Jul 2, 2020
  
  0c2896e4