User contributions for Michael Leuschel

6 June 2018

• 12:5212:52, 6 June 2018 diff hist +151 The ProB Animator and Model Checker No edit summary

5 June 2018

• 06:0206:02, 5 June 2018 diff hist 0 Download →Nightly Build

16 May 2018

• 13:2913:29, 16 May 2018 diff hist +117 Privacy Policy →Registrierung current
• 08:5508:55, 16 May 2018 diff hist +806 Privacy Policy →Detailed Datenschutzerklärung
• 08:2908:29, 16 May 2018 diff hist +2,972 Privacy Policy →Verwendung von Cookies
• 08:2308:23, 16 May 2018 diff hist +3,006 Privacy Policy →Bereitstellung der Website und Erstellung von Logfiles
• 08:1808:18, 16 May 2018 diff hist +3,296 Privacy Policy No edit summary
• 07:4607:46, 16 May 2018 diff hist +47 Privacy Policy No edit summary
• 07:4107:41, 16 May 2018 diff hist +346 N Privacy Policy Created page with "The general privacy policy of the University's websites and the "Datenschutzbeauftragter" can be found [http://www.uni-duesseldorf.de/home/footer/datenschutz.html here]. In a..."
• 07:3907:39, 16 May 2018 diff hist +1 Links →General
• 07:3907:39, 16 May 2018 diff hist +64 Links No edit summary

19 April 2018

• 20:3920:39, 19 April 2018 diff hist +157 Summary of B Syntax →Comments and Pragmas
• 18:1418:14, 19 April 2018 diff hist +66 Summary of B Syntax →Comments and Pragmas
• 16:1816:18, 19 April 2018 diff hist +105 Summary of B Syntax →Comments and Pragmas
• 16:0416:04, 19 April 2018 diff hist +558 Summary of B Syntax →Comments and Pragmas

11 April 2018

• 16:5116:51, 11 April 2018 diff hist −6,371 DownloadPriorVersions No edit summary

20 March 2018

• 19:2919:29, 20 March 2018 diff hist +2,511 ProB Release History No edit summary
• 19:2519:25, 20 March 2018 diff hist −24 The ProB Animator and Model Checker No edit summary
• 15:2015:20, 20 March 2018 diff hist −112 The ProB Animator and Model Checker No edit summary
• 15:1815:18, 20 March 2018 diff hist +203 The ProB Animator and Model Checker No edit summary
• 15:1415:14, 20 March 2018 diff hist −4 Download →Latest Release
• 15:1115:11, 20 March 2018 diff hist −21 Download →Latest Release
• 15:1015:10, 20 March 2018 diff hist 0 Download →Latest Release
• 15:1015:10, 20 March 2018 diff hist +8 Download →Latest Release
• 10:2310:23, 20 March 2018 diff hist +1,745 DownloadPriorVersions →Prior Versions of ProB
• 10:2110:21, 20 March 2018 diff hist +204 Download →Short Release History

22 February 2018

• 14:5414:54, 22 February 2018 diff hist −18 Team No edit summary
• 14:5314:53, 22 February 2018 diff hist +17 Team No edit summary
• 14:5314:53, 22 February 2018 diff hist +81 Team No edit summary

7 February 2018

• 12:0512:05, 7 February 2018 diff hist +42 Tutorial Rodin Parameters →Size of unspecified sets (carrier sets)
• 11:2311:23, 7 February 2018 diff hist 0 N File:AlloyAtelierB.png No edit summary current
• 11:2311:23, 7 February 2018 diff hist +100 Alloy →Examples
• 11:1711:17, 7 February 2018 diff hist 0 N File:ProBAlloyRiver.png No edit summary current
• 11:1711:17, 7 February 2018 diff hist +4,183 Alloy →Examples
• 08:2608:26, 7 February 2018 diff hist +15 Alloy →N-Queens
• 08:2508:25, 7 February 2018 diff hist 0 Alloy No edit summary
• 08:2508:25, 7 February 2018 diff hist +172 Alloy No edit summary
• 08:2408:24, 7 February 2018 diff hist 0 N File:ProBAlloyQueens.png No edit summary current
• 08:2408:24, 7 February 2018 diff hist +121 Alloy No edit summary
• 08:2208:22, 7 February 2018 diff hist +1,923 Alloy No edit summary

5 February 2018

• 10:2310:23, 5 February 2018 diff hist +465 N Alloy Created page with "Category:User Manual As of version 1.8 ProB provides support to load [http://alloy.mit.edu/alloy/ Alloy] models. The Alloy models are translated to B machines by a [http..."
• 10:1610:16, 5 February 2018 diff hist +48 Template:User Manual Index No edit summary

4 February 2018

• 09:3409:34, 4 February 2018 diff hist +138 ProB2-UI No edit summary
• 09:3209:32, 4 February 2018 diff hist +20 Download →Nightly Build

12 January 2018

• 12:2012:20, 12 January 2018 diff hist +864 ProB's Prolog Datastructures →Data Values
• 12:1112:11, 12 January 2018 diff hist −1 ProB's Prolog Datastructures →Binary operators
• 12:1112:11, 12 January 2018 diff hist +6 ProB's Prolog Datastructures →AST types
• 12:1012:10, 12 January 2018 diff hist +9 ProB's Prolog Datastructures →Data Values
• 12:1012:10, 12 January 2018 diff hist +939 ProB's Prolog Datastructures →AST (Abstract Syntax Tree)
• 12:0212:02, 12 January 2018 diff hist +1,067 N ProB's Prolog Datastructures Created page with " == Data Values == Integer value: int(Nr) where Nr is an integer Booleans: pred_true pred_false Enumerated or deferred set elements: fd(Nr,Type) where Nr is an integer..."