User contributions for Michael Leuschel

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