CHANGELOG.md

Changelog

(next version)

• Updated ProB 2 to version 4.0.0-SNAPSHOT.
• Added a :language command to allow changing the language used to parse user input. For example :language event_b can be used to switch to Event-B syntax when a non-Event-B machine is loaded (or no machine at all).
• Improved the performance of loading machines by reusing the existing instance of ProB instead of starting a new one for each machine.
• Improved error highlighting for machines loaded from files and not from the notebook.
• Local variables (created using :let) are now discarded when a new machine is loaded. Previously local variables would be remembered even across machine loads, which could lead to confusing behavior and errors.
• Significantly refactored the logic for parsing commands and their arguments.
  • This is an internal change and should not affect any user-visible behavior. That is, all inputs that were accepted by previous versions should still be accepted - if any previously valid inputs are no longer accepted, this is a bug.
  • As a side effect, the inspection and code completion features now work better in a few edge cases.
• Fixed a bug where interrupting a command could make the kernel completely stop responding, requiring a manual restart.
• Fixed the :trace command sometimes displaying transitions as null.

1.2.0

• Added support for Java 14.
• Added B parser version information to :version output.
• Improved interrupt handling so that only the currently running command is interrupted, rather than terminating the entire kernel. This means that interrupts now no longer reset the kernel state (loaded machine, current animator state, local variables, etc.).
• Updated ProB 2 to version 3.11.0.
• Fixed a parse error when a line comment is used on the last line of an expression while any :let variables are defined.
• Fixed detection of B machines in cells without ::load. Previously only single-line machines were recognized.

1.1.0

• Added a --user flag to the installer to allow installing the kernel into the user home directory. This allows installing the kernel without sudo when not using a virtual environment.
• Added :let and :unlet commands to (un)define local variables.
  • Note: Local variables are currently stored and expanded in text form. Values whose text form is not parsable cannot be stored in local variables, and storing large values may cause performance issues.
• Added a :modelcheck command to run the ProB model checker.
• Added support for additional languages and file extensions. The :load command now recognizes all languages and file extensions supported by ProB 2.
  • Note: Some languages are not fully working yet (for example XTL).
• Allowed loading B machines by entering their code directly, without an explicit ::load command, similar to how this is already allowed with expressions.
• Added a :bsymb command to load ProB's custom bsymb.sty LaTeX definitions on demand. After this command is executed, bsymb commands can be used in LaTeX formulas in Markdown cells.
• Added support for Java 11.
• Updated ProB 2 to version 3.10.0.
• Fixed installation problems under Windows (paths in the kernel metadata are now escaped correctly).
• Fixed confusing handling of trailing spaces in commands.
• Fixed :show not displaying animation images correctly for machines outside of the kernel's working directory.
• Fixed :trace not showing the parameters and return values of executed transitions.
• Changed error handling so exception stack traces are no longer shown in the notebook. (They are still logged to the console.)

1.0.0

• Initial release.