User contributions for Michael Leuschel

20 March 2018

• 15:1115:11, 20 March 2018 diff hist −21 Download →Latest Release
• 15:1015:10, 20 March 2018 diff hist 0 Download →Latest Release
• 15:1015:10, 20 March 2018 diff hist +8 Download →Latest Release
• 10:2310:23, 20 March 2018 diff hist +1,745 DownloadPriorVersions →Prior Versions of ProB
• 10:2110:21, 20 March 2018 diff hist +204 Download →Short Release History

22 February 2018

• 14:5414:54, 22 February 2018 diff hist −18 Team No edit summary
• 14:5314:53, 22 February 2018 diff hist +17 Team No edit summary
• 14:5314:53, 22 February 2018 diff hist +81 Team No edit summary

7 February 2018

• 12:0512:05, 7 February 2018 diff hist +42 Tutorial Rodin Parameters →Size of unspecified sets (carrier sets)
• 11:2311:23, 7 February 2018 diff hist 0 N File:AlloyAtelierB.png No edit summary current
• 11:2311:23, 7 February 2018 diff hist +100 Alloy →Examples
• 11:1711:17, 7 February 2018 diff hist 0 N File:ProBAlloyRiver.png No edit summary current
• 11:1711:17, 7 February 2018 diff hist +4,183 Alloy →Examples
• 08:2608:26, 7 February 2018 diff hist +15 Alloy →N-Queens
• 08:2508:25, 7 February 2018 diff hist 0 Alloy No edit summary
• 08:2508:25, 7 February 2018 diff hist +172 Alloy No edit summary
• 08:2408:24, 7 February 2018 diff hist 0 N File:ProBAlloyQueens.png No edit summary current
• 08:2408:24, 7 February 2018 diff hist +121 Alloy No edit summary
• 08:2208:22, 7 February 2018 diff hist +1,923 Alloy No edit summary

5 February 2018

• 10:2310:23, 5 February 2018 diff hist +465 N Alloy Created page with "Category:User Manual As of version 1.8 ProB provides support to load [http://alloy.mit.edu/alloy/ Alloy] models. The Alloy models are translated to B machines by a [http..."
• 10:1610:16, 5 February 2018 diff hist +48 Template:User Manual Index No edit summary

4 February 2018

• 09:3409:34, 4 February 2018 diff hist +138 ProB2-UI No edit summary
• 09:3209:32, 4 February 2018 diff hist +20 Download →Nightly Build

12 January 2018

• 12:2012:20, 12 January 2018 diff hist +864 ProB's Prolog Datastructures →Data Values
• 12:1112:11, 12 January 2018 diff hist −1 ProB's Prolog Datastructures →Binary operators
• 12:1112:11, 12 January 2018 diff hist +6 ProB's Prolog Datastructures →AST types
• 12:1012:10, 12 January 2018 diff hist +9 ProB's Prolog Datastructures →Data Values
• 12:1012:10, 12 January 2018 diff hist +939 ProB's Prolog Datastructures →AST (Abstract Syntax Tree)
• 12:0212:02, 12 January 2018 diff hist +1,067 N ProB's Prolog Datastructures Created page with " == Data Values == Integer value: int(Nr) where Nr is an integer Booleans: pred_true pred_false Enumerated or deferred set elements: fd(Nr,Type) where Nr is an integer..."
• 11:4211:42, 12 January 2018 diff hist +34 Developer Manual →ProB Prolog Source Code
• 10:0610:06, 12 January 2018 diff hist +47 Running ProB from source No edit summary
• 10:0610:06, 12 January 2018 diff hist +53 Running ProB from source →Running ProB tests from source
• 10:0510:05, 12 January 2018 diff hist +109 Running ProB from source No edit summary
• 10:0410:04, 12 January 2018 diff hist +338 Running ProB from source No edit summary
• 10:0110:01, 12 January 2018 diff hist +922 N Running ProB from source Created page with " Starting ProB Tcl/Tk: sicstus -Dprob_profile=true -l src/prob_tcltk.pl --goal "go."' Starting probcli from source: alias probsli='rlwrap $SICSTUSDIR/bin/sicstus -l src/pro..."
• 09:5209:52, 12 January 2018 diff hist +30 Developer Manual →ProB Prolog Source Code
• 09:3509:35, 12 January 2018 diff hist +109 Symmetry Reduction →Static Symmetry Reduction
• 09:1009:10, 12 January 2018 diff hist +159 Symmetry Reduction →Static Symmetry Reduction
• 08:4708:47, 12 January 2018 diff hist +500 Symmetry Reduction →Static Symmetry Reduction

12 October 2017

• 15:3515:35, 12 October 2017 diff hist −3 Download →Latest Release
• 15:3115:31, 12 October 2017 diff hist −2 Download →Latest Release

6 October 2017

• 07:5207:52, 6 October 2017 diff hist −1 ProB Logic Calculator No edit summary
• 07:5107:51, 6 October 2017 diff hist −23 ProB Logic Calculator No edit summary
• 07:5007:50, 6 October 2017 diff hist +9 ProB Logic Calculator No edit summary
• 07:4907:49, 6 October 2017 diff hist +73 ProB Logic Calculator No edit summary
• 07:4607:46, 6 October 2017 diff hist −13 ProB Logic Calculator No edit summary
• 07:4507:45, 6 October 2017 diff hist 0 N File:EvalB.png No edit summary current
• 07:4507:45, 6 October 2017 diff hist +1 ProB Logic Calculator No edit summary
• 07:4507:45, 6 October 2017 diff hist +4 ProB Logic Calculator No edit summary
• 07:4407:44, 6 October 2017 diff hist +90 ProB Logic Calculator No edit summary