User contributions for Michael Leuschel

7 October 2024

• 07:0407:04, 7 October 2024 diff hist +131‎ Debugging ‎No edit summary current
• 07:0007:00, 7 October 2024 diff hist +1,312‎ Debugging ‎ →‎Debugging Constants Setup

1 October 2024

• 10:4110:41, 1 October 2024 diff hist +100‎ Links ‎ →‎Tools using ProB current
• 10:4010:40, 1 October 2024 diff hist +67‎ Developer Manual ‎ →‎ProB Java API (aka ProB 2.0) current
• 10:4010:40, 1 October 2024 diff hist +45‎ Developer Manual ‎ →‎ProB Java API (aka ProB 2.0)

30 September 2024

• 11:3611:36, 30 September 2024 diff hist +534‎ Debugging ‎ →‎Debugging Constant Size

28 September 2024

• 06:1206:12, 28 September 2024 diff hist −40‎ Debugging ‎ →‎Profiling External Function Calls
• 06:1106:11, 28 September 2024 diff hist +103‎ Debugging ‎ →‎Profiling External Function Calls

27 September 2024

• 17:3317:33, 27 September 2024 diff hist +332‎ Debugging ‎ →‎Profiling
• 17:3217:32, 27 September 2024 diff hist +2,117‎ Debugging ‎ →‎Profiling

18 September 2024

• 09:1809:18, 18 September 2024 diff hist 0‎ Generating UML Sequence Charts ‎ →‎Using the Command current
• 09:1709:17, 18 September 2024 diff hist 0‎ N File:ProBUMLSeqChartProB2UIDialog.png ‎No edit summary current
• 09:1609:16, 18 September 2024 diff hist 0‎ N File:ProBUMLSeqChartProB2UICmd.png ‎No edit summary current
• 09:0509:05, 18 September 2024 diff hist +112‎ Generating UML Sequence Charts ‎ →‎Using the Command
• 09:0509:05, 18 September 2024 diff hist +129‎ Generating UML Sequence Charts ‎ →‎Installation and Using
• 09:0109:01, 18 September 2024 diff hist +156‎ Generating UML Sequence Charts ‎ →‎Specifying the Actors
• 08:5908:59, 18 September 2024 diff hist +142‎ Generating UML Sequence Charts ‎ →‎Using the Command
• 08:5308:53, 18 September 2024 diff hist −33‎ Generating UML Sequence Charts ‎ →‎Installation and Using
• 08:5308:53, 18 September 2024 diff hist −35‎ Generating UML Sequence Charts ‎ →‎Installation and Using
• 08:5208:52, 18 September 2024 diff hist +486‎ Generating UML Sequence Charts ‎ →‎Installation and Using

12 September 2024

• 07:1607:16, 12 September 2024 diff hist −1‎ TLA ‎ →‎Visualisation current
• 07:1607:16, 12 September 2024 diff hist +2,640‎ TLA ‎ →‎Visualisation
• 07:1407:14, 12 September 2024 diff hist +27‎ TLA ‎ →‎Visualisation
• 07:1107:11, 12 September 2024 diff hist +1,927‎ TLA ‎ →‎Visualisation
• 07:0807:08, 12 September 2024 diff hist +17‎ TLA ‎ →‎Visualisation
• 07:0707:07, 12 September 2024 diff hist +4‎ TLA ‎ →‎Visualisation
• 06:5906:59, 12 September 2024 diff hist +448‎ TLA ‎No edit summary
• 06:5706:57, 12 September 2024 diff hist +42‎ VisB ‎ →‎Examples current

5 September 2024

• 07:4307:43, 5 September 2024 diff hist −20‎ Links ‎ →‎Testimonials
• 07:4207:42, 5 September 2024 diff hist +1‎ Links ‎ →‎Testimonials
• 07:4207:42, 5 September 2024 diff hist 0‎ Links ‎ →‎Testimonials
• 07:4207:42, 5 September 2024 diff hist +389‎ Links ‎ →‎Testimonials
• 07:3707:37, 5 September 2024 diff hist +1,048‎ Links ‎ →‎Testimonials

2 September 2024

• 07:3207:32, 2 September 2024 diff hist +202‎ Debugging ‎ →‎Profiling

16 August 2024

• 12:1212:12, 16 August 2024 diff hist +128‎ The ProB Animator and Model Checker ‎ →‎Features current

9 July 2024

• 09:4509:45, 9 July 2024 diff hist +174‎ TLC ‎ →‎More Information
• 09:4409:44, 9 July 2024 diff hist −157‎ TLC ‎ →‎Translation from B to TLA+
• 09:4409:44, 9 July 2024 diff hist +256‎ TLC ‎ →‎Translation from B to TLA+

1 July 2024

• 10:3110:31, 1 July 2024 diff hist −227‎ Download ‎ →‎Prior Versions current Tag: Manual revert
• 10:3110:31, 1 July 2024 diff hist +225‎ DownloadPriorVersions ‎No edit summary current
• 10:3110:31, 1 July 2024 diff hist +227‎ Download ‎ →‎Prior Versions Tag: Reverted
• 10:3010:30, 1 July 2024 diff hist −226‎ Download ‎ →‎ProB for Rodin

13 June 2024

• 11:0311:03, 13 June 2024 diff hist +2‎ Summary of B Syntax ‎ →‎Sequences:
• 11:0211:02, 13 June 2024 diff hist +27‎ Summary of B Syntax ‎ →‎Functions:

8 June 2024

• 08:4108:41, 8 June 2024 diff hist −71‎ Summary of B Syntax ‎ →‎Strings:
• 08:4108:41, 8 June 2024 diff hist +273‎ Summary of B Syntax ‎ →‎Strings:
• 08:3708:37, 8 June 2024 diff hist +31‎ Summary of B Syntax ‎ →‎Definitions:
• 08:3408:34, 8 June 2024 diff hist +329‎ Summary of B Syntax ‎ →‎Definitions:
• 08:3108:31, 8 June 2024 diff hist +1‎ Summary of B Syntax ‎ →‎Numbers:
• 08:3008:30, 8 June 2024 diff hist +116‎ Summary of B Syntax ‎ →‎Reals: