06:2706:27, 15 May 2021diffhist+751 N
Caching Constants and OperationsCreated page with "ProB can store the values of constants and operations in a cache file. Compared to [Memoization_for_Functions|memoization for functions], this caching is persistant across dif..."
08:5308:53, 24 March 2021diffhist+704 N
Reals and FloatsCreated 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..."
10:0310:03, 4 February 2021diffhist+4,433 N
Prolog vs Java ComparisonCreated page with " These are my notes and insights while extending the VisB Java code for new features (optional, ignore, repeat, for attributes, inclusion, and better error reporting) and then..."