User contributions for Michael Leuschel

29 May 2021

• 08:0408:04, 29 May 2021 diff hist +217 Tutorial Tuning Model Checking No edit summary
• 07:5907:59, 29 May 2021 diff hist +1,341 Tutorial Tuning Model Checking No edit summary
• 07:4907:49, 29 May 2021 diff hist +367 Tutorial Tuning Model Checking No edit summary
• 07:4507:45, 29 May 2021 diff hist +1,653 Tutorial Tuning Model Checking No edit summary
• 07:0407:04, 29 May 2021 diff hist +343 Tutorial Tuning Model Checking No edit summary
• 06:5806:58, 29 May 2021 diff hist +3,272 Tutorial Tuning Model Checking No edit summary
• 06:4306:43, 29 May 2021 diff hist +743 Tutorial Tuning Model Checking No edit summary
• 06:3606:36, 29 May 2021 diff hist +2,019 Tutorial Tuning Model Checking →Reducing memory usage

28 May 2021

• 13:4613:46, 28 May 2021 diff hist +117 Tutorial Tuning Model Checking →Reducing memory usage
• 13:4513:45, 28 May 2021 diff hist +553 N Tutorial Tuning Model Checking Created page with "Page is under construction == Reducing memory usage == You can try to reduce the memory consumption of ProB's model checker by setting the COMPRESSION preference to TRUE. Y..."
• 13:4213:42, 28 May 2021 diff hist +64 Tutorial No edit summary

25 May 2021

• 07:2107:21, 25 May 2021 diff hist +49 ProB2-UI →Features

24 May 2021

• 15:5415:54, 24 May 2021 diff hist 0 ProB2-UI →Features
• 15:5315:53, 24 May 2021 diff hist +15 ProB2-UI →Features
• 15:5315:53, 24 May 2021 diff hist +368 ProB2-UI →Features
• 15:5115:51, 24 May 2021 diff hist +108 ProB2-UI No edit summary

16 May 2021

• 06:4806:48, 16 May 2021 diff hist +107 Caching Constants and Operations No edit summary
• 06:3406:34, 16 May 2021 diff hist +1,328 Caching Constants and Operations →Example

15 May 2021

• 14:3014:30, 15 May 2021 diff hist +435 Caching Constants and Operations →Example
• 14:2714:27, 15 May 2021 diff hist +2,211 Caching Constants and Operations →Inspecting the Cache
• 14:0214:02, 15 May 2021 diff hist +110 Caching Constants and Operations →Inspecting the Cache
• 07:0107:01, 15 May 2021 diff hist +335 Caching Constants and Operations No edit summary
• 06:4706:47, 15 May 2021 diff hist +180 Caching Constants and Operations →Activating Caching
• 06:4506:45, 15 May 2021 diff hist +150 Caching Constants and Operations No edit summary
• 06:4306:43, 15 May 2021 diff hist +272 Caching Constants and Operations No edit summary
• 06:4006:40, 15 May 2021 diff hist +183 Caching Constants and Operations No edit summary
• 06:3606:36, 15 May 2021 diff hist +72 Caching Constants and Operations No edit summary
• 06:3406:34, 15 May 2021 diff hist +586 Caching Constants and Operations No edit summary
• 06:3306:33, 15 May 2021 diff hist +154 Caching Constants and Operations →Activating Caching
• 06:3106:31, 15 May 2021 diff hist +289 Caching Constants and Operations No edit summary
• 06:2706:27, 15 May 2021 diff hist +751 N Caching Constants and Operations Created 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..."
• 06:2206:22, 15 May 2021 diff hist +39 Template:User Manual Index No edit summary

7 May 2021

• 13:0913:09, 7 May 2021 diff hist −256 ABZ16 →Live Visualisation current
• 07:4407:44, 7 May 2021 diff hist +3 Links →Testimonials
• 07:4307:43, 7 May 2021 diff hist +604 Links →Testimonials

3 May 2021

• 08:2508:25, 3 May 2021 diff hist 0 Editors for ProB →VSCode
• 08:2508:25, 3 May 2021 diff hist +88 Editors for ProB →VSCode

24 March 2021

• 08:5608:56, 24 March 2021 diff hist +29 External Functions →Standard Libraries provided by ProB
• 08:5608:56, 24 March 2021 diff hist +4 Reals and Floats No edit summary
• 08:5508:55, 24 March 2021 diff hist +167 External Functions →Standard Libraries provided by ProB
• 08:5308:53, 24 March 2021 diff hist +704 N 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..."
• 08:5208:52, 24 March 2021 diff hist +23 Template:User Manual Index No edit summary

22 March 2021

• 08:5808:58, 22 March 2021 diff hist 0 Prolog Coding Guidelines →General Guidelines current
• 08:5708:57, 22 March 2021 diff hist +277 Prolog Coding Guidelines →General Guidelines

19 March 2021

• 09:3609:36, 19 March 2021 diff hist +174 Prolog Coding Guidelines →Git

3 March 2021

• 09:0809:08, 3 March 2021 diff hist 0 VisB →VisB
• 09:0609:06, 3 March 2021 diff hist −2 VisB →VisB
• 09:0609:06, 3 March 2021 diff hist +1 VisB →VisB
• 09:0609:06, 3 March 2021 diff hist 0 VisB →VisB
• 09:0409:04, 3 March 2021 diff hist 0 N File:ProB2UI VisB View.png No edit summary current