Combined display of all available logs of ProB Documentation.
You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
08:53, 24 March 2021Michael Leuscheltalkcontribs created page Reals and Floats(Created page with "ProB now supports the Atelier-B datatypes REAL and FLOAT. You can turn off this support via the preference ALLOW_REALS. Standard arithmetic operators can be applied to reals...")
18:20, 27 January 2021Michael Leuscheltalkcontribs deleted page ProB Logic Calculator old(content was: "Below is a ProB-based [http://research.microsoft.com/en-us/um/people/lamport/tla/logic-calculators.html logic calculator]. You can enter predicates and expressions in the upper window (using B syntax), and then press the "Evaluate" button to ask ProB to evaluate the formula. Variables are assumed to be implicitly existentially...", and the only contributor was "Michael Leuschel" (talk))
17:27, 27 January 2021Michael Leuscheltalkcontribs created page BSynthesis(Created page with "= Program Synthesis Program synthesis is the task of generating executable programs from a given specification usually considering a domain specific language. There are many...")
13:49, 27 January 2021Michael Leuscheltalkcontribs created page ReleaseHistory(Created page with " ## Version 1.1.0 (26th of January 2021) ## - now contains VisB directly in the application, VisB has been extended considerably now supporting hovers, more attributes,...")
