User contributions for David Geleßus

15:5215:52, 15 June 2021 diff hist +207 N Handbook/ProB 2 UI Created page with "= ProB2-UI = {{:ProB2-UI}} = History View = {{:History View}} = Project View = {{:Project View}} = Verification View = {{:Verification View}} = Statistic..." current
15:5115:51, 15 June 2021 diff hist +363 N Handbook/ProB 2 Created page with "= ProB 2.0 Development = {{:ProB 2.0 Development}} = ProB 2.0 within Rodin and a HTML Visualization Example = {{:ProB 2.0 within Rodin and a HTML Visualization Exampl..." current
15:4915:49, 15 June 2021 diff hist +574 N Handbook/Advanced Features Created page with "= Bash Completion = {{:Bash Completion}} = Common Subexpression Elimination = {{:Common Subexpression Elimination}} = The ProB Search Path = {{:PROBPAT..." current
15:4615:46, 15 June 2021 diff hist +644 N Handbook/Other Languages Created page with "Also see the following tutorials: * Tutorial Rodin First Step * Tutorial Rodin Parameters * Tutorial Rodin Exporting * Tutorial Symbolic Constants * Tutoria..."
15:3815:38, 15 June 2021 diff hist +122 N Handbook/Command Line Created page with "= ProB Cli = {{:ProB Cli}} = Using the Command-Line Version of ProB = {{:Using the Command-Line Version of ProB}}" current
15:3615:36, 15 June 2021 diff hist +353 N Handbook/Visualisation Created page with "__TOC__ = Graphical Viewer = {{:Graphical Viewer}} = State Space Visualization = {{:State Space Visualization}} = State space visualization examples = {{:State..." current
15:3115:31, 15 June 2021 diff hist +172 N Handbook/Testing Created page with "Also see Tutorial Model-Based Testing. = State Space Coverage Analyses = {{:State Space Coverage Analyses}} = Test Case Generation = {{:Test Case Generation}}" current
15:2315:23, 15 June 2021 diff hist +1,130 N Handbook Created page with "This page lets you read the wiki content in a more traditional '''handbook''' format. Each section linked below is a collection of wiki pages related to that topic, combined i..."
15:0515:05, 15 June 2021 diff hist +986 N Handbook/Validation Created page with "Also see the following tutorials: * Tutorial First Model Checking * Tutorial Complete Model Checking * Tutorial Directed Model Checking * Tutorial Various Optim..." current

11:5011:50, 14 June 2021 diff hist +576 N Handbook/B Language Created page with "= Current Limitations = {{:Current Limitations}} = Summary of B Syntax = {{:Summary of B Syntax}} = Types = {{:Types}} = Deferred Sets = {{:Deferred Sets}}..."
11:5011:50, 14 June 2021 diff hist +452 N Handbook/Animation Created page with "Also see the following tutorials: * Tutorial First Step * Tutorial Animation Tips * Tutorial Setup Phases * Tutorial Understanding the Complexity of B Animation..." current
11:5011:50, 14 June 2021 diff hist +177 N Handbook/General Created page with "__TOC__ = Installation = {{:Installation}} = Windows Installation Instructions = {{:Windows Installation Instructions}} = Editors for ProB = {{:Editors for ProB}}" current

11:4411:44, 18 May 2021 diff hist +41 Download →ProB2-UI using Java FX: Update download links for snapshots and old versions
11:3811:38, 18 May 2021 diff hist +878 ProB2-UI Release History Added download links for old versions
11:2911:29, 18 May 2021 diff hist 0 m ProB2-UI Release History Fix link to download page
11:2811:28, 18 May 2021 diff hist +24 ProB2-UI →Features: Move features in a more logical order
11:2611:26, 18 May 2021 diff hist −38 ProB2-UI →Features: Remove duplicate bullet point for VisB
11:2411:24, 18 May 2021 diff hist 0 ProB2-UI →Features: Clarify that VisB is no longer a plugin
11:2211:22, 18 May 2021 diff hist −1 m VisB →VisB Definitions: Typo
11:2211:22, 18 May 2021 diff hist +262 VisB Clarify that VisB is included in newer versions of ProB2-UI
11:0511:05, 18 May 2021 diff hist −16 m Well-Definedness Checking Update ProB2-UI link
11:0511:05, 18 May 2021 diff hist −35 m Template:User Manual Index Update ProB2-UI link
11:0411:04, 18 May 2021 diff hist −17 m ProB Java API Update ProB2-UI link current
11:0311:03, 18 May 2021 diff hist −16 m SimB Update ProB2-UI link
11:0211:02, 18 May 2021 diff hist −17 m VisB Update ProB2-UI link
11:0211:02, 18 May 2021 diff hist +1 m Download →ProB2-UI using Java FX: Update release history link
11:0111:01, 18 May 2021 diff hist −17 m ProB2-UI Release History Update ProB2-UI link
11:0111:01, 18 May 2021 diff hist +1 m ProB2-UI →Download: Update release history link
11:0011:00, 18 May 2021 diff hist +38 N ProB2UI Release History David Geleßus moved page ProB2UI Release History to ProB2-UI Release History: Consistent spelling current Tag: New redirect
11:0011:00, 18 May 2021 diff hist 0 m ProB2-UI Release History David Geleßus moved page ProB2UI Release History to ProB2-UI Release History: Consistent spelling
10:5910:59, 18 May 2021 diff hist −17 m Download →ProB2-UI using Java FX: Update ProB2-UI link
10:5310:53, 18 May 2021 diff hist −7 m The ProB Animator and Model Checker Update ProB2-UI link
10:5310:53, 18 May 2021 diff hist +22 N ProB2 JavaFX UI David Geleßus moved page ProB2 JavaFX UI to ProB2-UI current Tag: New redirect
10:5310:53, 18 May 2021 diff hist 0 m ProB2-UI David Geleßus moved page ProB2 JavaFX UI to ProB2-UI
10:5110:51, 18 May 2021 diff hist −45 VisB Remove top-level "VisB" section - there's nothing on this page other than VisB
10:3610:36, 18 May 2021 diff hist −26 ProB2-UI →Download: Make download link more obvious
10:3410:34, 18 May 2021 diff hist −250 ProB2-UI →Download: Link to build instructions on download page instead of repeating them
10:2910:29, 18 May 2021 diff hist +120 Download →Building ProB2-UI from source: Update build instructions
10:2310:23, 18 May 2021 diff hist −458 Download →Building ProB2-UI from source: Remove outdated comment
10:2310:23, 18 May 2021 diff hist +42 m Download →ProB2-UI using Java FX: Put source building instructions into a subsection
10:2110:21, 18 May 2021 diff hist −1 m ProB2-UI Fix download link
10:1710:17, 18 May 2021 diff hist +10 m ProB2-UI Suppress table of contents
10:1610:16, 18 May 2021 diff hist +95 ProB2-UI Sections
10:1010:10, 18 May 2021 diff hist 0 m ProB2-UI Fix text wrapping around images

17:5117:51, 4 February 2021 diff hist −197 Windows Installation Instructions Update ProB download links current
17:3817:38, 4 February 2021 diff hist −73 Summary of B Syntax Update wiki links
17:3017:30, 4 February 2021 diff hist −50 Tutorial Modeling Infinite Datatypes Update download link
17:2317:23, 4 February 2021 diff hist −25 Refinement Checking Update wiki link current
17:2217:22, 4 February 2021 diff hist −54 Consistency Checking Update PDF link current
17:2017:20, 4 February 2021 diff hist −38 DMC Update links current
17:1817:18, 4 February 2021 diff hist −104 LTL Model Checking Update wiki links
17:1517:15, 4 February 2021 diff hist −31 Symmetry Reduction Update PDF links current
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

17:1217:12, 3 February 2021 diff hist +502 Other languages Add new section from prob2-doc (originally added by Michael Leuschel)
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)
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
13:4013:40, 3 February 2021 diff hist +75 Gilbreath Card Trick Update some links current

User contributions for David Geleßus

15 June 2021

14 June 2021

18 May 2021

4 February 2021

3 February 2021