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,302 edits. Account created on 18 January 2010.

07:0107:01, 12 July 2015 diff hist 0 Common Subexpression Elimination →Tips
07:0107:01, 12 July 2015 diff hist +546 Common Subexpression Elimination No edit summary

14:1714:17, 9 July 2015 diff hist +74 Links →Related Tools
14:1614:16, 9 July 2015 diff hist +73 Links →Related Tools
14:1514:15, 9 July 2015 diff hist +7 Links →Related Tools
14:1414:14, 9 July 2015 diff hist −17 Links →Related Tools
14:1214:12, 9 July 2015 diff hist 0 Links →Related Tools
14:1114:11, 9 July 2015 diff hist 0 Links →Related Tools
14:1014:10, 9 July 2015 diff hist +51 Links →Tools using ProB

11:4811:48, 2 July 2015 diff hist −10 User Manual →Important notice: Feedback
11:4811:48, 2 July 2015 diff hist +12 Template:Feedback →Feedback
11:4711:47, 2 July 2015 diff hist +94 Template:Feedback →Feedback
11:4411:44, 2 July 2015 diff hist +103 User Manual →Important notice: Feedback
11:4111:41, 2 July 2015 diff hist +12 User Manual →Important notice
11:4011:40, 2 July 2015 diff hist +62 User Manual →Important notice

06:2506:25, 30 June 2015 diff hist +690 Common Subexpression Elimination →Sharing Predicates
05:4605:46, 30 June 2015 diff hist +672 Common Subexpression Elimination →Substitutions
05:3405:34, 30 June 2015 diff hist +44 Common Subexpression Elimination No edit summary
05:3305:33, 30 June 2015 diff hist −10 Common Subexpression Elimination No edit summary
05:3205:32, 30 June 2015 diff hist +1,115 Common Subexpression Elimination No edit summary

17:4017:40, 29 June 2015 diff hist +417 Common Subexpression Elimination No edit summary
17:3517:35, 29 June 2015 diff hist +415 N Common Subexpression Elimination Created page with 'As of version 1.5.1 ProB supports [https://en.wikipedia.org/wiki/Common_subexpression_elimination common subexpression elimination (CSE)]. To enable it you need to set the advan…'
17:3117:31, 29 June 2015 diff hist +39 Template:User Manual Index No edit summary
17:2917:29, 29 June 2015 diff hist +155 Using the Command-Line Version of ProB →Preferences

15:0115:01, 25 June 2015 diff hist +81 Using ProB with KODKOD →When is the Kokod translation used
14:5914:59, 25 June 2015 diff hist +15 Bounded Model Checking No edit summary current
14:1714:17, 25 June 2015 diff hist +20 Bounded Model Checking No edit summary
14:1614:16, 25 June 2015 diff hist +168 Bounded Model Checking No edit summary

13:3113:31, 22 June 2015 diff hist +66 ProB Examples No edit summary current
11:5111:51, 22 June 2015 diff hist +355 Nine Prisoners No edit summary
11:5011:50, 22 June 2015 diff hist −69 Nine Prisoners →Adding graphical visualization
11:4811:48, 22 June 2015 diff hist +635 Nine Prisoners No edit summary
11:4411:44, 22 June 2015 diff hist 0 N File:ProB NinePrisoners Fancy.png No edit summary current
11:4411:44, 22 June 2015 diff hist 0 N File:ProB NinePrisoners Simple.png No edit summary current
11:4311:43, 22 June 2015 diff hist +3,157 N Nine Prisoners Created page with 'An [https://www.quantamagazine.org/20150609-a-design-dilemma-solved-minus-designs/ article in Quanta magazine] mentions the following puzzle by Dudeney and popularized by Martin …'
11:3611:36, 22 June 2015 diff hist +66 User Manual →Sample Models

10:0710:07, 27 April 2015 diff hist 0 ProB Logic Calculator No edit summary
10:0610:06, 27 April 2015 diff hist +121 ProB Logic Calculator No edit summary
09:5909:59, 27 April 2015 diff hist 0 ProB Logic Calculator No edit summary
09:5909:59, 27 April 2015 diff hist 0 ProB Logic Calculator No edit summary
09:5809:58, 27 April 2015 diff hist 0 ProB Logic Calculator No edit summary

09:2209:22, 18 April 2015 diff hist +13 Cheryl's Birthday No edit summary current
09:2109:21, 18 April 2015 diff hist +1 Cheryl's Birthday No edit summary
09:0609:06, 18 April 2015 diff hist −1 Cheryl's Birthday No edit summary
09:0409:04, 18 April 2015 diff hist +1 Cheryl's Birthday No edit summary
09:0409:04, 18 April 2015 diff hist +72 Cheryl's Birthday No edit summary
08:4308:43, 18 April 2015 diff hist +38 Cheryl's Birthday No edit summary
08:4308:43, 18 April 2015 diff hist +79 Cheryl's Birthday No edit summary
08:4108:41, 18 April 2015 diff hist +468 Cheryl's Birthday No edit summary

12:2112:21, 17 April 2015 diff hist +587 Tutorial Directed Model Checking →Mixed DF/BF

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