User contributions for Sebastian Krings - ProB Documentation

Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Sebastian Krings

Results for Sebastian Krings talk block log uploads logs

A user with 95 edits. Account created on 21 June 2012.

14:2814:28, 14 January 2016 diff hist +517 Using ProB with Z3 →How to install Z3 for ProB
12:5512:55, 14 January 2016 diff hist +2,420 Using ProB with Z3 No edit summary
08:3408:34, 14 January 2016 diff hist +375 N Using ProB with Z3 Created page with "Category:User Manual Category:Stubs The current nightly versions of ProB can make use of [http://alloy.mit.edu/kodkod/ Z3] as an alternate way of solving constraints...."
08:3108:31, 14 January 2016 diff hist +25 Template:User Manual Index No edit summary

08:3608:36, 2 December 2015 diff hist +22 Download No edit summary
08:3108:31, 2 December 2015 diff hist −6 Download →Sourcecode

08:4708:47, 24 November 2015 diff hist 0 N File:ProB ApplesOranges Sol.png No edit summary current

10:0010:00, 19 October 2015 diff hist +1 ABZ14 →References
09:5609:56, 19 October 2015 diff hist +104 ABZ14 →BMotion Studio for ProB Video

10:4710:47, 27 March 2015 diff hist +265 Sefm2015 →Summaries
09:5709:57, 27 March 2015 diff hist −1 Sefm2015 No edit summary
09:5609:56, 27 March 2015 diff hist +1 Sefm2015 →= Surplus of ProB
09:5609:56, 27 March 2015 diff hist +510 Sefm2015 No edit summary
09:5409:54, 27 March 2015 diff hist +1,749 Sefm2015 No edit summary
09:4109:41, 27 March 2015 diff hist +1,328 Sefm2015 No edit summary

14:2614:26, 19 February 2015 diff hist −1 Download →Prior Versions
12:3712:37, 19 February 2015 diff hist −216 The ProB Animator and Model Checker No edit summary
12:3612:36, 19 February 2015 diff hist +251 Download →Short Release History
12:3212:32, 19 February 2015 diff hist +5 Download →Latest Release
12:3112:31, 19 February 2015 diff hist 0 Team No edit summary
10:4510:45, 19 February 2015 diff hist +67 Download →Short Release History
10:4010:40, 19 February 2015 diff hist +136 Download No edit summary

08:5408:54, 29 August 2014 diff hist +139 Download No edit summary

13:3513:35, 18 August 2014 diff hist −289 The ProB Animator and Model Checker release prob 1.4.0
13:3313:33, 18 August 2014 diff hist −208 Download release prob 1.4.0

13:0013:00, 21 March 2014 diff hist +223 Download →Nightly Build

08:2308:23, 9 December 2013 diff hist +6 Tutorial Disprover →How to use it, how it works
08:2208:22, 9 December 2013 diff hist 0 N File:Disprover-all.png No edit summary current
08:2208:22, 9 December 2013 diff hist +1,763 N Tutorial Disprover Created page with 'Category:User Manual == WARNING == This is work in progress! The disprover plugin is currently experimental. Please keep in mind, that you might run into some rough edges o…'
08:0908:09, 9 December 2013 diff hist +53 Tutorial No edit summary
08:0808:08, 9 December 2013 diff hist +1,311 N Tutorial Symbolic Constants Created page with 'Category:User Manual == Introduction == ProB Tcl/Tk as well as the probcli command-line version are able to store units symbolic…'
08:0008:00, 9 December 2013 diff hist +69 Tutorial No edit summary

10:0210:02, 6 March 2013 diff hist −429 Prolog Coding Guidelines →Module Information

11:0911:09, 5 February 2013 diff hist +94 Developer Manual No edit summary

12:3312:33, 31 January 2013 diff hist +35 Tutorial Unit Plugin No edit summary
12:3212:32, 31 January 2013 diff hist +35 m Tutorial Unit Plugin With Rodin add category
09:5809:58, 31 January 2013 diff hist +1,500 Tutorial Unit Plugin With Rodin No edit summary
09:4809:48, 31 January 2013 diff hist 0 N File:ProBRodinStartUnitAnalysis.png No edit summary current
09:4509:45, 31 January 2013 diff hist 0 N File:ProBRodinUnitPragmas.png No edit summary current

13:3713:37, 7 January 2013 diff hist +982 N Tutorial Unit Plugin With Rodin Created page with 'Category:Tutorial Category:User Manual This tutorial describes, how ProB's integrated plugin for unit analysis can be used with Event-B machines from inside the Rodin p…'
13:3013:30, 7 January 2013 diff hist 0 Tutorial No edit summary
13:3013:30, 7 January 2013 diff hist +150 Tutorial add link to second physical units plugin tutorial

10:3810:38, 4 January 2013 diff hist +12 Tutorial fix link to bms tutorial

15:2015:20, 11 December 2012 diff hist +57 m Team add link

12:2212:22, 6 December 2012 diff hist −30 Tutorial Unit Plugin update to new unit format

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