User contributions for Michael Leuschel

27 August 2015

• 12:1112:11, 27 August 2015 diff hist +91 Test Case Generation →Example 1 (Constraint-based Test Case Generation better)
• 12:0812:08, 27 August 2015 diff hist +1,692 Test Case Generation No edit summary
• 11:4311:43, 27 August 2015 diff hist +1,819 Test Case Generation →Introduction
• 11:3111:31, 27 August 2015 diff hist +106 Test Case Generation →Introduction
• 11:3011:30, 27 August 2015 diff hist +1,357 Test Case Generation No edit summary

20 August 2015

• 09:5509:55, 20 August 2015 diff hist 0 Links No edit summary
• 09:5509:55, 20 August 2015 diff hist +95 Links →Tools using ProB

11 August 2015

• 08:0108:01, 11 August 2015 diff hist −4 Tutorial CSP First Step →Error Highlighting
• 08:0008:00, 11 August 2015 diff hist +2 Tutorial CSP First Step →Error Highlighting

10 August 2015

• 15:3115:31, 10 August 2015 diff hist 0 File:ProB CSPAfterModelCheck2.png uploaded a new version of "File:ProB CSPAfterModelCheck2.png" current
• 15:2915:29, 10 August 2015 diff hist 0 Tutorial CSP First Step →Other Features
• 15:2915:29, 10 August 2015 diff hist +39 Tutorial CSP First Step →Other Features
• 15:2815:28, 10 August 2015 diff hist 0 File:ProB CSPBusStatespace.png uploaded a new version of "File:ProB CSPBusStatespace.png" current
• 15:2315:23, 10 August 2015 diff hist 0 File:ProB CSPAfterModelCheck.png uploaded a new version of "File:ProB CSPAfterModelCheck.png" current
• 15:2315:23, 10 August 2015 diff hist 0 File:ProB CSPModelCheck.png uploaded a new version of "File:ProB CSPModelCheck.png" current
• 15:2215:22, 10 August 2015 diff hist −18 Tutorial CSP First Step No edit summary
• 15:2115:21, 10 August 2015 diff hist 0 File:ProB CSPAfterBoardSingleClick.png uploaded a new version of "File:ProB CSPAfterBoardSingleClick.png" current
• 15:2015:20, 10 August 2015 diff hist 0 File:ProB CSPAfterTauSingleClick.png uploaded a new version of "File:ProB CSPAfterTauSingleClick.png" current
• 15:1715:17, 10 August 2015 diff hist 0 File:ProB CSPAfterInit.png uploaded a new version of "File:ProB CSPAfterInit.png" current
• 15:1615:16, 10 August 2015 diff hist 0 File:ProB BusesAfterLoad.png uploaded a new version of "File:ProB BusesAfterLoad.png" current

26 July 2015

• 15:0615:06, 26 July 2015 diff hist −10 Getting Involved →Running ProB from Prolog

12 July 2015

• 07:0207:02, 12 July 2015 diff hist +21 Common Subexpression Elimination No edit summary current
• 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

9 July 2015

• 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

2 July 2015

• 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

30 June 2015

• 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

29 June 2015

• 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

25 June 2015

• 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