User contributions for Joy Clark

14 April 2011

• 14:0514:05, 14 April 2011 diff hist −1 m FAQ →Finding Multiple Assertion Violations
• 14:0414:04, 14 April 2011 diff hist 0 m FAQ →How does ProB treat INT and NAT as opposed to INTEGER and NATURAL?
• 14:0414:04, 14 April 2011 diff hist −4 m FAQ →Some of my machines do not behave as expected.
• 14:0314:03, 14 April 2011 diff hist −9 m FAQ →I cannot visualise the state space: grammar, punctuation
• 14:0114:01, 14 April 2011 diff hist −2 m FAQ →ProB complains that some variables are not given a proper type
• 14:0014:00, 14 April 2011 diff hist +6 FAQ →The constraint based checker is very slow and does not always work: grammar, punctuation
• 13:5813:58, 14 April 2011 diff hist −5 m FAQ →What do the funny question marks in the Operations Pane mean?: grammar, punctuation
• 13:5713:57, 14 April 2011 diff hist −1 m FAQ →Which Features of B are covered?
• 13:5613:56, 14 April 2011 diff hist 0 FAQ →Is there support for Refinement?
• 13:5613:56, 14 April 2011 diff hist −6 FAQ →What about the support for Refinement?: title change from "What about support for Refinement"
• 13:5513:55, 14 April 2011 diff hist +1 m FAQ →What about the support for Refinement?: punctuation
• 13:5413:54, 14 April 2011 diff hist 0 m FAQ →ProB seems stuck when loading a machine: punctuation
• 13:5313:53, 14 April 2011 diff hist −1 m FAQ →How do I perform a self-check of ProB?: comma
• 13:5013:50, 14 April 2011 diff hist +1 m Recursively Defined Functions grammatical edits, punctuation edits
• 13:4713:47, 14 April 2011 diff hist +8 m Other languages grammatical edits, punctuation edits
• 13:4513:45, 14 April 2011 diff hist +65 m ProZ grammatical edits, punctuation edits
• 13:3413:34, 14 April 2011 diff hist +26 m CSP-M grammatical edits, punctuation edits
• 13:2713:27, 14 April 2011 diff hist +1 m Using ProB with Atelier B No edit summary
• 13:2713:27, 14 April 2011 diff hist +30 m Using ProB with Atelier B grammatical edits, punctuation edits, changed "well-definedness" to "clarity"
• 13:1213:12, 14 April 2011 diff hist +18 m LTL Model Checking grammatical edits, punctuation edits
• 13:0513:05, 14 April 2011 diff hist −2 m Constraint Based Checking grammatical edits, punctuation edits
• 12:5812:58, 14 April 2011 diff hist +14 m Consistency Checking grammatical edits, punctuation edits
• 12:1812:18, 14 April 2011 diff hist +18 m State Space Visualization grammar and punctuation edits
• 11:5011:50, 14 April 2011 diff hist −13 m Graphical Visualization →The Graphical Animation Model: word choice edited
• 09:1209:12, 14 April 2011 diff hist +68 m Graphical Visualization grammatical edits, punctuation edits
• 08:4908:49, 14 April 2011 diff hist −7 m Graphical Viewer grammatical edits, punctuation edits
• 08:4408:44, 14 April 2011 diff hist +15 m General Presentation (tcl/tk) →Preferences: changed sentence structure
• 08:3708:37, 14 April 2011 diff hist −16 m General Presentation (tcl/tk) →The ProB Main Window: grammatical edits, punctuation edits
• 08:2208:22, 14 April 2011 diff hist +10 m Current Limitations grammar edits, punctuation edits
• 08:1408:14, 14 April 2011 diff hist 0 m Installation →Installation Instruction for ProB (Rodin Plugin): spelling error
• 08:1408:14, 14 April 2011 diff hist −2 m Installation →Checklist/Troubleshooting: punctuation edits
• 08:1108:11, 14 April 2011 diff hist +2 m Installation →Installation Instruction for ProB (Standalone): minor edits
• 08:0608:06, 14 April 2011 diff hist +1 Installation →Which version shall I use?: changed heading
• 08:0508:05, 14 April 2011 diff hist +7 Installation →Which versions are there?: changed heading

12 April 2011

• 14:5814:58, 12 April 2011 diff hist −2 m Other languages changed commas
• 14:5514:55, 12 April 2011 diff hist +16 m ProZ →Preferences: changed "often" to frequently, changed word order
• 14:5114:51, 12 April 2011 diff hist 0 CSP-M →Limitations of CSP-M Support: changed comma to semi-colon
• 14:5014:50, 12 April 2011 diff hist +3 m CSP-M →Limitations of CSP-M Support: added a but
• 14:4714:47, 12 April 2011 diff hist +2 m Tutorial First Step →Starting ProB: changed list in parentheses
• 14:4414:44, 12 April 2011 diff hist 0 m Tutorial Understanding the Complexity of B Animation →Complexity of Animation: fixed grammatical errors, changed word order, changed "possible enablings of the operation" to "possible ways to enable the operation"
• 14:2614:26, 12 April 2011 diff hist +1 m Tutorial Setup Phases →1. Loading: added a space
• 14:2214:22, 12 April 2011 diff hist +5 m Tips: Writing Models for ProB added a space, changed sentence order, added "the"
• 14:1914:19, 12 April 2011 diff hist −5 m FAQ →Some of my machines do not behave as expected.: changed myself to me
• 14:1514:15, 12 April 2011 diff hist +1 m FAQ →I cannot visualise the state space: changed + to and
• 14:0214:02, 12 April 2011 diff hist 0 m Tutorial Understanding ProB's Constraint Solver →Adding universally quantified formulas: changed sentence structure
• 13:4713:47, 12 April 2011 diff hist −11 m Tutorial Understanding ProB's Constraint Solver No edit summary
• 13:3713:37, 12 April 2011 diff hist +5 m Tutorial Understanding ProB's Constraint Solver changed "grasped" to "have grasped"
• 13:3613:36, 12 April 2011 diff hist +1 m Tutorial Understanding the Complexity of B Animation →Complexity of Animation: changed sentence order
• 13:3213:32, 12 April 2011 diff hist +3 m Tutorial Understanding the Complexity of B Animation →Undecidability: edited commas, changed "requires" to "is required"
• 13:2513:25, 12 April 2011 diff hist +5 m Tutorial Understanding the Complexity of B Animation grasped to have grasped