User contributions for David Geleßus

22 July 2021

• 11:0711:07, 22 July 2021 diff hist +186 Running ProB from source →Running ProB with SWI-Prolog: SWI no longer needs to be patched for running ProB

8 July 2021

• 15:0415:04, 8 July 2021 diff hist −26 m Running ProB from source →Running ProB Tests with SWI-Prolog
• 15:0315:03, 8 July 2021 diff hist −18 Running ProB from source →Starting ProB with SWI-Prolog: myheap is now disabled automatically on SWI
• 15:0315:03, 8 July 2021 diff hist −175 Running ProB from source →Starting ProB with SWI-Prolog: Remove rlwrap - SWI natively supports line editing
• 15:0115:01, 8 July 2021 diff hist −6 Running ProB from source →Running ProB with SWI-Prolog
• 15:0015:00, 8 July 2021 diff hist +245 Running ProB from source →Running ProB with SWI-Prolog
• 14:5214:52, 8 July 2021 diff hist −1 m Running ProB from source →Compiling SWI Prolog
• 14:5214:52, 8 July 2021 diff hist 0 m Running ProB from source →Running ProB with SWI Prolog: Formatting

15 June 2021

• 15:5915:59, 15 June 2021 diff hist +445 N Handbook/ProB Prolog Guide Created page with "__TOC__ = Running ProB from source = {{:Running ProB from source}} = Building ProB on Windows = {{:Building ProB on Windows}} = Organization of ProB Sources = {..."
• 15:5315:53, 15 June 2021 diff hist +146 N Handbook/ProB 2 Java API Created page with "= ProB Java API = {{:ProB Java API}} = Programmatic Abstractions in the ProB 2.0 API = {{:Programmatic Abstractions in the ProB 2.0 API}}" current
• 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

14 June 2021

• 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

18 May 2021

• 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