User contributions for Michael Leuschel - ProB Documentation

Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Michael Leuschel

Results for Michael Leuschel talk block log uploads logs

A user with 3,301 edits. Account created on 18 January 2010.

08:4008:40, 11 November 2013 diff hist +64 ProB 2.0 within Rodin and a HTML Visualization Example →Obtaining the latest ProB binary
08:3908:39, 11 November 2013 diff hist +376 N ProB 2.0 within Rodin and a HTML Visualization Example Created page with ' == Installing ProB 2.0 from Rodin 2.7 or later == * Enter the update site <tt> http://nightly.cobra.cs.uni-duesseldorf.de/experimental/updatesite/</tt> and install the ProB 2.0…'
08:3608:36, 11 November 2013 diff hist +61 Developer Manual →ProB 2.0

11:2011:20, 5 November 2013 diff hist +103 ProB Examples No edit summary

12:1212:12, 21 October 2013 diff hist −16 ProB Logic Calculator →Executing the Calculator locally
12:1112:11, 21 October 2013 diff hist +232 ProB Logic Calculator →Executing the Calculator locally

11:5411:54, 11 September 2013 diff hist +5,220 Rush Hour Puzzle →Adapted version for TLC
10:1810:18, 11 September 2013 diff hist 0 N File:ProB-TLC RushHour Screenshot.png No edit summary current
10:1710:17, 11 September 2013 diff hist +274 Rush Hour Puzzle No edit summary

07:4007:40, 5 September 2013 diff hist +4 Game of Life No edit summary
07:2407:24, 5 September 2013 diff hist +594 Game of Life No edit summary
07:2007:20, 5 September 2013 diff hist 0 N File:ProB GameOfLife Screenshot.png No edit summary current
07:2007:20, 5 September 2013 diff hist +129 Game of Life No edit summary
07:1807:18, 5 September 2013 diff hist +2,881 N Game of Life Created page with 'This is a simple model of Conway's Game of Life. It was written for animation with ProB. One interesting aspect is that the simulation is unbounded, i.e., not restricted to some …'
07:0807:08, 5 September 2013 diff hist +19 User Manual →Sample Models

11:4711:47, 30 July 2013 diff hist +96 Rush Hour Puzzle No edit summary
11:4611:46, 30 July 2013 diff hist +2,317 Rush Hour Puzzle No edit summary
11:4511:45, 30 July 2013 diff hist 0 N File:ProB RushHour Screenshot.png No edit summary current
11:4511:45, 30 July 2013 diff hist +225 Rush Hour Puzzle No edit summary
11:4011:40, 30 July 2013 diff hist +5,434 N Rush Hour Puzzle Created page with 'This case studies tackles encoding the [http://en.wikipedia.org/wiki/Rush_Hour_(board_game) rush hour board game] in which cars are packed on a 6-by-6 grid and can either move ho…'
11:3811:38, 30 July 2013 diff hist +23 User Manual →Sample Models

14:2914:29, 23 July 2013 diff hist +170 Links →Tools using ProB
14:2514:25, 23 July 2013 diff hist +59 Links →Tools using ProB
14:2114:21, 23 July 2013 diff hist +311 Links No edit summary

11:3811:38, 4 July 2013 diff hist +61 User Manual →Sample Models

10:0410:04, 21 June 2013 diff hist +14 Summary of B Syntax No edit summary
10:0410:04, 21 June 2013 diff hist +14 Using the Command-Line Version of ProB No edit summary
10:0310:03, 21 June 2013 diff hist +14 Tutorial No edit summary
10:0310:03, 21 June 2013 diff hist +15 User Manual No edit summary

07:0407:04, 6 June 2013 diff hist +42 The ProB Animator and Model Checker No edit summary

12:2712:27, 5 June 2013 diff hist +186 Download →Tcl/Tk

08:0908:09, 4 June 2013 diff hist +50 Links →Miscellaneous
08:0908:09, 4 June 2013 diff hist +7 The ProB Animator and Model Checker No edit summary
08:0808:08, 4 June 2013 diff hist +51 The ProB Animator and Model Checker No edit summary

13:0113:01, 3 June 2013 diff hist +21 The ProB Animator and Model Checker →Features
13:0013:00, 3 June 2013 diff hist +56 The ProB Animator and Model Checker →Features
12:5612:56, 3 June 2013 diff hist +91 The ProB Animator and Model Checker →Features

07:4107:41, 27 May 2013 diff hist +37 Recursively Defined Functions No edit summary
07:4007:40, 27 May 2013 diff hist 0 Recursively Defined Functions →When does ProB treat a set comprehension or lambda abstraction symbolically ?
07:3907:39, 27 May 2013 diff hist +250 Recursively Defined Functions No edit summary
07:3707:37, 27 May 2013 diff hist +136 Recursively Defined Functions No edit summary
07:3507:35, 27 May 2013 diff hist +369 Recursively Defined Functions No edit summary

06:1306:13, 24 May 2013 diff hist +48 Gilbreath Card Trick →A more low-level version for use with TLC
06:1306:13, 24 May 2013 diff hist +8 Gilbreath Card Trick →A more low-level version for use with TLC
05:4405:44, 24 May 2013 diff hist +1,326 Gilbreath Card Trick →A more low-level version for use with TLC

05:4205:42, 23 May 2013 diff hist +131 Gilbreath Card Trick No edit summary
05:4005:40, 23 May 2013 diff hist +324 Gilbreath Card Trick No edit summary
05:3805:38, 23 May 2013 diff hist +2,236 Gilbreath Card Trick No edit summary

16:3816:38, 22 May 2013 diff hist +12 Gilbreath Card Trick →Adding graphical visualization
16:3616:36, 22 May 2013 diff hist 0 N File:ProB Card Screenshot.png No edit summary current

Retrieved from "https://prob.hhu.de/w/index.php?title=Special:Contributions/Michael_Leuschel"