User contributions for Jens Bendisposto

27 February 2010

• 13:2113:21, 27 February 2010 diff hist −178 Formating Sandbox No edit summary
• 13:1913:19, 27 February 2010 diff hist +180 Formating Sandbox No edit summary

11 February 2010

• 10:0410:04, 11 February 2010 diff hist +119 N Bugs Created page with 'If you want to submit a bug report, please use the [http://asap0.cs.uni-duesseldorf.de/trac/prob/newticket bug tracker]'

22 January 2010

• 11:1511:15, 22 January 2010 diff hist +250 Nm User talk:Ingo Weigelt Welcome! current
• 11:1511:15, 22 January 2010 diff hist 0 Nm User:Ingo Weigelt Creating user page with biography of new user. current

21 January 2010

• 16:4316:43, 21 January 2010 diff hist −1 Tutorial Understanding ProB's Constraint Solver →Complicating the Example

18 January 2010

• 17:1717:17, 18 January 2010 diff hist +1,606 N Troubleshooting Created page with 'Category:User Manual * Avoid installing ProB in a path with spaces or other special characters in them. The same holds for B machines you wish to analyse with ProB. * You ne…'
• 17:1517:15, 18 January 2010 diff hist +12 FAQ No edit summary
• 17:1517:15, 18 January 2010 diff hist +1 FAQ →Problem with libtk.so on Linux
• 17:1517:15, 18 January 2010 diff hist −2 FAQ →Checking Multiple LTL Formulas
• 17:1417:14, 18 January 2010 diff hist −47 FAQ No edit summary
• 17:1217:12, 18 January 2010 diff hist +8,359 N FAQ Created page with 'Category:User Manual = How do I perform a self-check of ProB? = If you suspect something is wrong with your ProB installation, run the Perform Self Check command in the Debu…'
• 17:1017:10, 18 January 2010 diff hist +32 Template:User Manual Index No edit summary
• 16:4016:40, 18 January 2010 diff hist −4 Why Prolog? →A small benchmark
• 16:4016:40, 18 January 2010 diff hist +6 Why Prolog? →A small benchmark
• 16:3916:39, 18 January 2010 diff hist −40 Why Prolog? →Startup Times
• 16:3816:38, 18 January 2010 diff hist −73 Why Prolog? →A small benchmark
• 16:3616:36, 18 January 2010 diff hist −43 Why Prolog? →Why SICStus Prolog
• 16:3516:35, 18 January 2010 diff hist +2 Why Prolog? →Why Prolog
• 16:3416:34, 18 January 2010 diff hist −1 Why Prolog? →Why Prolog
• 16:3316:33, 18 January 2010 diff hist +3 Why Prolog? →Why Prolog
• 16:3216:32, 18 January 2010 diff hist −2 Why Prolog? →Why Prolog
• 16:3216:32, 18 January 2010 diff hist +1 Why Prolog? →Why Prolog
• 16:3016:30, 18 January 2010 diff hist +2 Why Prolog? →Why Prolog
• 16:2916:29, 18 January 2010 diff hist −5 Why Prolog? →Why Prolog
• 16:2416:24, 18 January 2010 diff hist −11 Why Prolog? →Why Prolog
• 16:2416:24, 18 January 2010 diff hist 0 Why Prolog? No edit summary
• 16:2316:23, 18 January 2010 diff hist −5 Why Prolog? →Why Prolog
• 16:2216:22, 18 January 2010 diff hist −1 Why Prolog? No edit summary
• 16:2216:22, 18 January 2010 diff hist +1 Why Prolog? No edit summary
• 16:2116:21, 18 January 2010 diff hist −10 Why Prolog? No edit summary
• 16:2116:21, 18 January 2010 diff hist −1 Why Prolog? →Why Prolog
• 16:2016:20, 18 January 2010 diff hist +6 Why Prolog? →Why Prolog
• 16:2016:20, 18 January 2010 diff hist +4 Why Prolog? →Why Prolog
• 16:2016:20, 18 January 2010 diff hist +9 Why Prolog? →Why Prolog
• 16:1916:19, 18 January 2010 diff hist 0 Why Prolog? →Why Prolog
• 16:1916:19, 18 January 2010 diff hist +10 Why Prolog? No edit summary
• 16:1916:19, 18 January 2010 diff hist +30 Why Prolog? No edit summary
• 16:1916:19, 18 January 2010 diff hist +11,060 N Why Prolog? Created page with 'In this chapter we try to answer the question: why did we use Prolog to develop the core of ProB, and in particular why do we use the commercial [http://www.sics.se/isl/sicstusww…'
• 16:1716:17, 18 January 2010 diff hist +15 N Developer Manual Created page with 'Why Prolog?'
• 16:1716:17, 18 January 2010 diff hist 0 Recursively Defined Functions No edit summary
• 16:1616:16, 18 January 2010 diff hist +1,285 N Recursively Defined Functions Created page with 'Category:User Manual Category: Advanced Feature Take the following function: CONSTANTS parity PROPERTIES parity : (NATURAL --> {0,1}) & parity(0) = 0 & !x.(x:NA…'
• 16:1416:14, 18 January 2010 diff hist +36 Template:User Manual Index No edit summary
• 16:1316:13, 18 January 2010 diff hist +194 Symmetry Reduction No edit summary
• 16:1016:10, 18 January 2010 diff hist +29 Symmetry Reduction No edit summary
• 16:1016:10, 18 January 2010 diff hist +217 Symmetry Reduction No edit summary
• 16:0216:02, 18 January 2010 diff hist +1,703 Symmetry Reduction No edit summary
• 15:4615:46, 18 January 2010 diff hist +43 N Symmetry Reduction Created page with 'Category:User Manual Category:Stubs'
• 15:4515:45, 18 January 2010 diff hist +25 Template:User Manual Index No edit summary
• 15:4415:44, 18 January 2010 diff hist +1 Other languages No edit summary