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

11:2611:26, 30 November 2011 diff hist 0 Download →Latest Release

20:3720:37, 27 November 2011 diff hist +9 Download →Latest Release
20:3720:37, 27 November 2011 diff hist +9 Download →Latest Release
20:3620:36, 27 November 2011 diff hist +1 Download →Latest Release
20:3520:35, 27 November 2011 diff hist −9 Download →Latest Release

13:1813:18, 21 November 2011 diff hist +204 The ProB Animator and Model Checker No edit summary
13:0813:08, 21 November 2011 diff hist +199 Download No edit summary
13:0113:01, 21 November 2011 diff hist 0 Download →Latest Release
13:0013:00, 21 November 2011 diff hist 0 Download →Latest Release
12:5912:59, 21 November 2011 diff hist +76 Download →Latest Release

16:0116:01, 20 November 2011 diff hist 0 Using the Command-Line Version of ProB →-version
15:5915:59, 20 November 2011 diff hist −111 Using the Command-Line Version of ProB No edit summary
15:5515:55, 20 November 2011 diff hist +44 Using the Command-Line Version of ProB No edit summary
15:5415:54, 20 November 2011 diff hist +187 Using the Command-Line Version of ProB →-cbc_deadlock_pred >
15:5215:52, 20 November 2011 diff hist +372 Using the Command-Line Version of ProB →-cbc_deadlock
15:4715:47, 20 November 2011 diff hist −4 Evaluation View →Understanding the Invariant and Properties current

11:2811:28, 17 November 2011 diff hist +357 Prolog Coding Guidelines No edit summary
11:2311:23, 17 November 2011 diff hist +3 Prolog Coding Guidelines No edit summary
11:2211:22, 17 November 2011 diff hist +1,151 N Prolog Coding Guidelines Created page with ' * Module Information Every module should be annotated with module information. This is used by our coverage analysis tool. <pre> :- module(MYMODULE, [ exported_predicate/arit…'
11:1611:16, 17 November 2011 diff hist +29 Developer Manual No edit summary

12:0412:04, 7 October 2011 diff hist 0 Tutorial No edit summary
12:0412:04, 7 October 2011 diff hist +61 Tutorial No edit summary

07:0407:04, 5 October 2011 diff hist +219 Using the Command-Line Version of ProB →-sptxt
06:5906:59, 5 October 2011 diff hist +287 Using the Command-Line Version of ProB →-his

08:4808:48, 28 September 2011 diff hist +165 Why Prolog? →Why SICStus Prolog

09:2109:21, 25 September 2011 diff hist +238 Using the Command-Line Version of ProB →-mc

14:3314:33, 21 September 2011 diff hist −17 Download →Nightly Build
14:3114:31, 21 September 2011 diff hist +29 Download →Nightly Build
14:1314:13, 21 September 2011 diff hist +34 Download →Nightly Build
14:1214:12, 21 September 2011 diff hist +55 Download →Nightly Build

12:4912:49, 20 September 2011 diff hist +187 Using the Command-Line Version of ProB →-animate
12:3812:38, 20 September 2011 diff hist −24 Download →Nightly Build

15:3615:36, 15 September 2011 diff hist +160 Using the Command-Line Version of ProB →-assertions
15:3515:35, 15 September 2011 diff hist +373 Using the Command-Line Version of ProB →-assertions

14:5414:54, 13 September 2011 diff hist −1 Download →Nightly Build
14:5314:53, 13 September 2011 diff hist +336 Download →Nightly Build

17:1117:11, 8 September 2011 diff hist +222 Symmetry Reduction No edit summary

13:2113:21, 1 September 2011 diff hist +50 Download →Latest Release
10:1510:15, 1 September 2011 diff hist +151 Download →Latest Release

07:3207:32, 30 July 2011 diff hist +87 Using the Command-Line Version of ProB No edit summary

12:2012:20, 29 July 2011 diff hist +5 Using the Command-Line Version of ProB →-sptxt
08:5508:55, 29 July 2011 diff hist +187 Using the Command-Line Version of ProB →-dot_output

06:5606:56, 27 July 2011 diff hist +167 Tutorial Understanding ProB's Constraint Solver →Complicating the Example current

15:3615:36, 25 July 2011 diff hist +497 Tutorial Debugging Well-Definedness and Transition Errors No edit summary
15:3315:33, 25 July 2011 diff hist 0 Tutorial Debugging Well-Definedness and Transition Errors No edit summary

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