User contributions for Michael Leuschel

2 February 2021

• 09:3909:39, 2 February 2021 diff hist +1‎ VisB ‎ →‎VisB Tips and Tricks
• 09:3909:39, 2 February 2021 diff hist +223‎ VisB ‎ →‎VisB Tips and Tricks
• 09:3609:36, 2 February 2021 diff hist +823‎ VisB ‎ →‎VisB Tips and Tricks
• 09:3409:34, 2 February 2021 diff hist −1‎ VisB ‎ →‎VisB Examples
• 09:3309:33, 2 February 2021 diff hist +434‎ VisB ‎ →‎VisB Tips and Tricks
• 09:2909:29, 2 February 2021 diff hist +970‎ VisB ‎ →‎VisB Examples
• 09:2409:24, 2 February 2021 diff hist +2‎ ProB2-UI Release History ‎ →‎Version 1.1.0 (26th of January 2021)
• 09:2409:24, 2 February 2021 diff hist +7‎ ProB2-UI Release History ‎ →‎Version 1.1.0 (26th of January 2021)
• 09:2309:23, 2 February 2021 diff hist +106‎ The ProB Animator and Model Checker ‎No edit summary

29 January 2021

• 09:0509:05, 29 January 2021 diff hist +135‎ Download ‎ →‎Latest Release
• 08:3508:35, 29 January 2021 diff hist +55‎ Download ‎ →‎Latest Release
• 08:3508:35, 29 January 2021 diff hist +146‎ Download ‎ →‎Latest Release

28 January 2021

• 18:0418:04, 28 January 2021 diff hist −14‎ State Space Visualization ‎ →‎Preferences of the Visualization
• 18:0218:02, 28 January 2021 diff hist −85‎ Team ‎No edit summary
• 09:3809:38, 28 January 2021 diff hist +72‎ Summary of B Syntax ‎ →‎Machine header:
• 09:3609:36, 28 January 2021 diff hist +1‎ Download ‎ →‎Latest Release
• 09:3609:36, 28 January 2021 diff hist −114‎ Download ‎ →‎Latest Release
• 09:3509:35, 28 January 2021 diff hist +451‎ Download ‎ →‎Latest Release

27 January 2021

• 17:4317:43, 27 January 2021 diff hist +103‎ Links ‎ →‎Tools using ProB
• 17:3417:34, 27 January 2021 diff hist +18‎ BSynthesis ‎No edit summary
• 17:3217:32, 27 January 2021 diff hist +3‎ BSynthesis ‎ →‎Program Synthesis
• 17:3217:32, 27 January 2021 diff hist −50‎ BSynthesis ‎ →‎Program Synthesis
• 17:3117:31, 27 January 2021 diff hist −101‎ BSynthesis ‎ →‎Program Synthesis
• 17:3017:30, 27 January 2021 diff hist +3‎ BSynthesis ‎No edit summary
• 17:2717:27, 27 January 2021 diff hist +2‎ BSynthesis ‎No edit summary
• 17:2717:27, 27 January 2021 diff hist +10,821‎ N BSynthesis ‎ Created page with "= Program Synthesis Program synthesis is the task of generating executable programs from a given specification usually considering a domain specific language. There are many..."
• 17:2717:27, 27 January 2021 diff hist +2‎ Developer Manual ‎ →‎ProB Java API (aka ProB 2.0)
• 17:2717:27, 27 January 2021 diff hist +56‎ Developer Manual ‎ →‎ProB Java API (aka ProB 2.0)
• 17:1217:12, 27 January 2021 diff hist −56‎ Team ‎No edit summary
• 17:1017:10, 27 January 2021 diff hist −13‎ Team ‎No edit summary
• 17:0717:07, 27 January 2021 diff hist +1‎ Euler Problem 67 - Maximum Path Sum II ‎No edit summary current
• 17:0217:02, 27 January 2021 diff hist +49‎ ProB Java API Developer Manual ‎No edit summary current
• 16:5816:58, 27 January 2021 diff hist +6‎ Tutorial Various Optimizations ‎No edit summary
• 16:5016:50, 27 January 2021 diff hist 0‎ ProBLicence ‎ →‎ProB Licence
• 16:3716:37, 27 January 2021 diff hist −12‎ Using ProB with KODKOD ‎No edit summary current
• 16:3316:33, 27 January 2021 diff hist −10‎ Peaceable Armies of Queens ‎No edit summary current
• 16:3116:31, 27 January 2021 diff hist −5‎ Alloy ‎No edit summary
• 16:3016:30, 27 January 2021 diff hist −1‎ Download ‎ →‎Latest Release
• 16:2916:29, 27 January 2021 diff hist −64‎ Download ‎ →‎Latest Release
• 16:2716:27, 27 January 2021 diff hist +63‎ Tutorial ‎No edit summary
• 14:2914:29, 27 January 2021 diff hist +21‎ The ProB Animator and Model Checker ‎ →‎Versions of ProB
• 14:2814:28, 27 January 2021 diff hist +11‎ The ProB Animator and Model Checker ‎ →‎Versions of ProB
• 14:2214:22, 27 January 2021 diff hist −43‎ ProB2-UI ‎No edit summary
• 14:2014:20, 27 January 2021 diff hist +1‎ VisB ‎ →‎Installing VisB Plugin for older ProB2UI versions
• 14:2014:20, 27 January 2021 diff hist 0‎ ProB2-UI Release History ‎No edit summary
• 14:1914:19, 27 January 2021 diff hist +3‎ Download ‎ →‎ProB2 UI using Java FX
• 14:0514:05, 27 January 2021 diff hist +2‎ Download ‎ →‎ProB2 UI using Java FX
• 14:0514:05, 27 January 2021 diff hist +9‎ Download ‎ →‎ProB2 UI using Java FX
• 14:0314:03, 27 January 2021 diff hist 0‎ Download ‎ →‎ProB2 UI using Java FX
• 14:0314:03, 27 January 2021 diff hist +91‎ Download ‎ →‎ProB2 UI using Java FX