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

11:4311:43, 27 June 2025 diff hist +47 Download →Latest Beta Release current
11:4011:40, 27 June 2025 diff hist +66 Download →Latest Release
11:3811:38, 27 June 2025 diff hist +4 Download →Latest Release
11:3511:35, 27 June 2025 diff hist +2 Download →Latest Release
11:3311:33, 27 June 2025 diff hist 0 DownloadPriorVersions No edit summary current
11:3311:33, 27 June 2025 diff hist +1,472 DownloadPriorVersions No edit summary
11:2911:29, 27 June 2025 diff hist +7,968 ProB Release History No edit summary current

08:0308:03, 24 June 2025 diff hist 0 Download →ProB for Rodin

15:3915:39, 18 June 2025 diff hist +94 JSON and Sockets →Client-Server Example Machines current
14:2814:28, 18 June 2025 diff hist +102 VisB No edit summary current
10:3310:33, 18 June 2025 diff hist +173 Bugs →Console Output current
07:4607:46, 18 June 2025 diff hist +2,235 JSON and Sockets →Client-Server Example Machines
07:4407:44, 18 June 2025 diff hist +3,931 JSON and Sockets →Example Machine

11:1311:13, 17 June 2025 diff hist +100 Bugs →Console Output
11:1011:10, 17 June 2025 diff hist +92 Bugs No edit summary
11:0711:07, 17 June 2025 diff hist −1 Bugs No edit summary
11:0711:07, 17 June 2025 diff hist +53 Bugs No edit summary
11:0611:06, 17 June 2025 diff hist +603 Bugs No edit summary
11:0011:00, 17 June 2025 diff hist +408 Bugs No edit summary

07:2207:22, 12 May 2025 diff hist +215 Other languages No edit summary current

13:0113:01, 2 May 2025 diff hist +201 Generating UML Sequence Charts →Specifying the Actors current

13:0513:05, 30 April 2025 diff hist +4,092 Nine Prisoners →Adding graphical visualization current
13:0213:02, 30 April 2025 diff hist 0 Nine Prisoners No edit summary
13:0113:01, 30 April 2025 diff hist +48 Nine Prisoners No edit summary
12:5812:58, 30 April 2025 diff hist −1 m Nine Prisoners No edit summary
12:5812:58, 30 April 2025 diff hist +247 Nine Prisoners No edit summary

14:2214:22, 11 April 2025 diff hist +150 Download →Tcl/Tk from Homebrew or MacPorts

12:4612:46, 3 April 2025 diff hist +1 Implication inside an Existential Quantifier No edit summary current

07:1807:18, 28 March 2025 diff hist +62 JSON and Sockets No edit summary
07:1707:17, 28 March 2025 diff hist 0 N File:Prob drone.jpeg No edit summary current
07:1707:17, 28 March 2025 diff hist +35 JSON and Sockets No edit summary
07:1507:15, 28 March 2025 diff hist −156 JSON and Sockets No edit summary
07:1507:15, 28 March 2025 diff hist −88 External Functions →Standard Libraries provided by ProB
07:1307:13, 28 March 2025 diff hist −1 JSON and Sockets No edit summary
07:1307:13, 28 March 2025 diff hist +1,259 N JSON and Sockets Created page with "ProB contains external functions to read and write JSON data and to communicate via sockets using JSON: * <tt>LibraryJSON.def</tt> and <tt>LibraryJSON.mch</tt> providing the functions <tt>READ_JSON</tt>, <tt>READ_JSON_FROM_STRING</tt>, <tt>WRITE_JSON</tt>, <tt>WRITE_JSON_TO_STRING</tt> and the freetype <tt>JsonValue</tt> to read and write JSON data. * <tt>LibraryZMQ_RPC.def</tt> and <tt>LibraryZMQ_RPC.mch</tt>: providing access to a JSON communication library either ov..."
07:0807:08, 28 March 2025 diff hist +55 External Functions →Standard Libraries provided by ProB
07:0007:00, 28 March 2025 diff hist +350 External Functions →Standard Libraries provided by ProB
06:5706:57, 28 March 2025 diff hist +156 External Functions →Standard Libraries provided by ProB

12:2712:27, 24 March 2025 diff hist +180 Tutorial Directed Model Checking No edit summary current

11:5711:57, 14 March 2025 diff hist +247 Summary of B Syntax →Differences with AtelierB/B4Free current
11:4711:47, 14 March 2025 diff hist −1 Using ProB with Atelier B →Reflexive Closure current
11:4711:47, 14 March 2025 diff hist +403 Using ProB with Atelier B →Reflexive Closure
10:5410:54, 14 March 2025 diff hist −4 Using ProB with Atelier B →Reflexive Closure
10:5410:54, 14 March 2025 diff hist +785 Using ProB with Atelier B →Differences

17:2717:27, 6 March 2025 diff hist +87 Debugging →TRACE_INFO preference current
15:2515:25, 6 March 2025 diff hist −168 Summary of B Syntax →Comments and Pragmas
15:2415:24, 6 March 2025 diff hist +369 Summary of B Syntax →Comments and Pragmas

10:3110:31, 27 February 2025 diff hist −1 ProB REPL No edit summary current
10:3110:31, 27 February 2025 diff hist +121 ProB REPL No edit summary

11:5311:53, 26 February 2025 diff hist +43 ProB REPL No edit summary

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