User contributions for David Geleßus

4 February 2021

• 17:1117:11, 4 February 2021 diff hist −22‎ Tutorial Various Optimizations ‎ Update PDF link current
• 16:2816:28, 4 February 2021 diff hist +2‎ m Test Case Generation ‎ →‎With a test description file: Fix heading level current
• 16:2716:27, 4 February 2021 diff hist +5,672‎ Test Case Generation ‎ Update with content from prob2-doc (originally written by Jessica Petrasch)
• 16:0716:07, 4 February 2021 diff hist +2,318‎ Tutorial Model-Based Testing ‎ Update with content from prob2-doc (originally written by Jessica Petrasch) current
• 16:0616:06, 4 February 2021 diff hist +63‎ N File:MBT-MCM-Result-SC.png ‎ Originally added by Jessica Petrasch in prob2-doc current
• 16:0616:06, 4 February 2021 diff hist +63‎ N File:MBT-MCM-Result-Acc.png ‎ Originally added by Jessica Petrasch in prob2-doc current
• 16:0516:05, 4 February 2021 diff hist +63‎ N File:MBT-MCM-Dialog-SC.png ‎ Originally added by Jessica Petrasch in prob2-doc current
• 16:0516:05, 4 February 2021 diff hist +63‎ N File:MBT-MCM-Dialog-Acc.png ‎ Originally added by Jessica Petrasch in prob2-doc current
• 16:0516:05, 4 February 2021 diff hist +63‎ N File:MBT-CBC-Tree-SC.png ‎ Originally added by Jessica Petrasch in prob2-doc current
• 16:0516:05, 4 February 2021 diff hist +63‎ N File:MBT-CBC-Tree-DC.png ‎ Originally added by Jessica Petrasch in prob2-doc current
• 16:0416:04, 4 February 2021 diff hist +63‎ N File:MBT-CBC-Tree-Acc.png ‎ Originally added by Jessica Petrasch in prob2-doc current
• 16:0416:04, 4 February 2021 diff hist +63‎ N File:MBT-CBC-Result-SC.png ‎ Originally added by Jessica Petrasch in prob2-doc current
• 16:0416:04, 4 February 2021 diff hist +63‎ N File:MBT-CBC-Menu-SC.png ‎ Originally added by Jessica Petrasch in prob2-doc current
• 16:0416:04, 4 February 2021 diff hist +63‎ N File:MBT-CBC-Dialog-SC.png ‎ Originally added by Jessica Petrasch in prob2-doc current
• 15:5215:52, 4 February 2021 diff hist −54‎ State Space Visualization ‎ Update paper link
• 15:5015:50, 4 February 2021 diff hist −50‎ Eval Console ‎ Update download page link current
• 15:4515:45, 4 February 2021 diff hist +698‎ Using the Command-Line Version of ProB ‎ Document -pref_group (from prob2-doc, originally added by Michael Leuschel)
• 15:3315:33, 4 February 2021 diff hist −21‎ CSP-M ‎ Update paper link current
• 14:5114:51, 4 February 2021 diff hist +28‎ ProB for Event-B ‎ Update Rodin handbook links current
• 14:4814:48, 4 February 2021 diff hist −260‎ ProB for Rodin ‎ Update Camille update sites (there seems to be just the nightly update site now) current
• 14:3914:39, 4 February 2021 diff hist −8‎ Tutorial Disprover ‎ Update paper links
• 14:3614:36, 4 February 2021 diff hist −50‎ Tutorial Rodin Exporting ‎ Update download page link current
• 14:3414:34, 4 February 2021 diff hist −43‎ Tutorial Rodin First Step ‎ Update release update site link

3 February 2021

• 17:1217:12, 3 February 2021 diff hist +502‎ Other languages ‎ Add new section from prob2-doc (originally added by Michael Leuschel) current
• 17:1017:10, 3 February 2021 diff hist +1,892‎ Alloy ‎ Add updated syntax overview (from prob2-doc, originally added by Joshua Schmidt) current
• 17:0617:06, 3 February 2021 diff hist −14‎ ProZ ‎ Fix article PDF link current
• 17:0617:06, 3 February 2021 diff hist −14‎ TLA ‎ Fix paper PDF link
• 17:0217:02, 3 February 2021 diff hist −14‎ TLC ‎ Update article PDF link
• 16:4716:47, 3 February 2021 diff hist +12‎ Prolog Coding Guidelines ‎ Fix plcoding.pdf link
• 16:4516:45, 3 February 2021 diff hist −25‎ Why Prolog? ‎ Update SICStus link
• 16:3916:39, 3 February 2021 diff hist −228‎ ProB Java API ‎ Remove broken custom formatting around documentation links
• 16:0516:05, 3 February 2021 diff hist −54‎ Tutorial Unit Plugin With Rodin ‎ Update installation screencast link current
• 15:5615:56, 3 February 2021 diff hist −149‎ Troubleshooting ‎ Replace outdated Java requirements with link to info on download page current
• 15:5015:50, 3 February 2021 diff hist +150‎ Troubleshooting ‎ Add missing troubleshooting item from prob2-doc
• 15:4815:48, 3 February 2021 diff hist −120‎ Bugs ‎ Reduce scope of custom HTML to just the JIRA bug report link (where it's actually needed) current
• 15:4215:42, 3 February 2021 diff hist −20‎ ProB Release History ‎ Remove incorrect version number in lead (it's obvious from the changelog what the latest version is)
• 15:4115:41, 3 February 2021 diff hist −30‎ Links ‎ Fix publications link
• 15:3115:31, 3 February 2021 diff hist +13‎ ABZ16 ‎ Fix Rodin Handbook link
• 15:3015:30, 3 February 2021 diff hist −260‎ Sefm2015 ‎ Update links current
• 15:2815:28, 3 February 2021 diff hist −144‎ FormalPrototyping ‎ Update some links current
• 15:2715:27, 3 February 2021 diff hist −76‎ ABZ16 ‎ Update some links
• 15:2615:26, 3 February 2021 diff hist −57‎ ABZ14 ‎ Update some links
• 15:2215:22, 3 February 2021 diff hist −3‎ Jens Bendisposto:Conferences ‎ Update FTSCS link current
• 13:5613:56, 3 February 2021 diff hist −47‎ The Jobs Puzzle ‎ Update link to ProB Logic Calculator current
• 13:5413:54, 3 February 2021 diff hist −3‎ Rush Hour XTL ‎ Update Wikipedia link current
• 13:5313:53, 3 February 2021 diff hist −3‎ Rush Hour Puzzle ‎ Update Wikipedia link current
• 13:4913:49, 3 February 2021 diff hist +1‎ Nine Prisoners ‎ Update Quanta Magazine link current
• 13:4013:40, 3 February 2021 diff hist +75‎ Gilbreath Card Trick ‎ Update some links current
• 13:3013:30, 3 February 2021 diff hist −42‎ m Siemens Data Validation with ProB ‎ Fix publication links current
• 13:2913:29, 3 February 2021 diff hist −14‎ Blocks World (Directed Model Checking) ‎ Fix PDF link in reference current