User contributions for Bivab

3 March 2016

• 09:3009:30, 3 March 2016 diff hist +1‎ ProB Logic Calculator ‎No edit summary

26 February 2016

• 14:0514:05, 26 February 2016 diff hist +114‎ Editors for ProB ‎ →‎VIM

2 February 2016

• 10:5110:51, 2 February 2016 diff hist +22‎ User Manual ‎ →‎Sample Models
• 10:4910:49, 2 February 2016 diff hist +253‎ The Jobs Puzzle ‎No edit summary
• 10:4710:47, 2 February 2016 diff hist +29‎ N TheJobsPuzzle ‎ Bivab moved page TheJobsPuzzle to The Jobs Puzzle current
• 10:4710:47, 2 February 2016 diff hist 0‎ m The Jobs Puzzle ‎ Bivab moved page TheJobsPuzzle to The Jobs Puzzle
• 10:4610:46, 2 February 2016 diff hist +1,429‎ The Jobs Puzzle ‎No edit summary
• 10:3610:36, 2 February 2016 diff hist +14,832‎ N The Jobs Puzzle ‎ Created page with "This puzzle was originally published in 1984 by Wos et al. <ref>L. Wos, R. Overbeek, E. Lusk, and J. Boyle. Automated Reasoning: Introduction and Applications. Prentice-Hall,..."
• 10:1010:10, 2 February 2016 diff hist 0‎ N File:JobsPuzzleSolutionAsGraph.png ‎No edit summary current

20 February 2015

• 11:3711:37, 20 February 2015 diff hist +36‎ ProB Cli ‎ Link to prob.vim on github
• 11:3511:35, 20 February 2015 diff hist +27‎ m Bash Completion ‎ →‎Installation
• 11:3411:34, 20 February 2015 diff hist −7‎ m Bash Completion ‎ →‎Installation
• 11:1711:17, 20 February 2015 diff hist +12‎ PROBPATH ‎No edit summary
• 11:1011:10, 20 February 2015 diff hist −17‎ PROBPATH ‎No edit summary
• 11:0611:06, 20 February 2015 diff hist +955‎ N PROBPATH ‎ Created page with '{{DISPLAYTITLE:The ProB Search Path}} Starting with version 1.5 of ProB, how the parser resolves files references from machines can be customized. By default ProB will try to f…'
• 11:0111:01, 20 February 2015 diff hist −1‎ m External Functions ‎ →‎Standard Libraries provided by ProB
• 11:0011:00, 20 February 2015 diff hist +253‎ External Functions ‎ →‎Standard Libraries provided by ProB

19 February 2015

• 14:3214:32, 19 February 2015 diff hist +51‎ Bash Completion ‎No edit summary
• 14:3114:31, 19 February 2015 diff hist +770‎ N Bash Completion ‎ Created page with 'Category:User Manual Category:ProB Cli For the [http://en.wikipedia.org/wiki/Bash_(Unix_shell) Bash] Unix Shell we provide command completions support. == Installation…'
• 13:5913:59, 19 February 2015 diff hist +75‎ Using the Command-Line Version of ProB ‎No edit summary

28 February 2012

• 09:5909:59, 28 February 2012 diff hist +27‎ Template:User Manual Index ‎ Link to test case generation
• 09:5809:58, 28 February 2012 diff hist +26‎ Test Case Generation ‎ Add to user manual category
• 09:5409:54, 28 February 2012 diff hist +34‎ N Bivab:Testcase Generation ‎ moved Bivab:Testcase Generation to Test Case Generation current
• 09:5409:54, 28 February 2012 diff hist 0‎ m Test Case Generation ‎ moved Bivab:Testcase Generation to Test Case Generation
• 09:5309:53, 28 February 2012 diff hist +173‎ Test Case Generation ‎No edit summary
• 09:4809:48, 28 February 2012 diff hist −1‎ Test Case Generation ‎No edit summary
• 09:4709:47, 28 February 2012 diff hist 0‎ Test Case Generation ‎ →‎Test Generation Description
• 09:4709:47, 28 February 2012 diff hist +268‎ Test Case Generation ‎No edit summary
• 09:3609:36, 28 February 2012 diff hist +3,335‎ N Test Case Generation ‎ Created page with ' Constraint Based Test case generation allows to explore the state space for a machine and generate traces of operations that cover certain user defined operations and meet a giv…'

27 February 2012

• 16:0816:08, 27 February 2012 diff hist 0‎ File:ProB While INV Violation.png ‎ uploaded a new version of "File:ProB While INV Violation.png" current
• 15:4715:47, 27 February 2012 diff hist 0‎ File:GraphicalViewerSiemensSaoPauloL9.png ‎ uploaded a new version of "File:GraphicalViewerSiemensSaoPauloL9.png" current
• 15:4315:43, 27 February 2012 diff hist 0‎ File:GraphicalViewerSiemensSaoPauloL9.png ‎ uploaded a new version of "File:GraphicalViewerSiemensSaoPauloL9.png": Reverted to version as of 12:58, 25 October 2010
• 15:4215:42, 27 February 2012 diff hist 0‎ File:GraphicalViewerSiemensSaoPauloL9.png ‎ uploaded a new version of "File:GraphicalViewerSiemensSaoPauloL9.png": Reverted to version as of 12:58, 25 October 2010
• 15:3515:35, 27 February 2012 diff hist 0‎ File:ClicknProveDoubleCounter.png ‎ uploaded a new version of "File:ClicknProveDoubleCounter.png": Reverted to version as of 13:23, 1 March 2011 current
• 15:3415:34, 27 February 2012 diff hist 0‎ File:ClicknProveDoubleCounter.png ‎ uploaded a new version of "File:ClicknProveDoubleCounter.png"
• 15:2915:29, 27 February 2012 diff hist 0‎ File:GraphicalViewerSiemensSaoPauloL9.png ‎ uploaded a new version of "File:GraphicalViewerSiemensSaoPauloL9.png"
• 15:2715:27, 27 February 2012 diff hist 0‎ File:GraphicalViewerSiemensSaoPauloL9.png ‎ uploaded a new version of "File:GraphicalViewerSiemensSaoPauloL9.png"
• 15:2615:26, 27 February 2012 diff hist 0‎ File:GraphicalViewerSiemensSaoPauloL9.png ‎ uploaded a new version of "File:GraphicalViewerSiemensSaoPauloL9.png"
• 15:0215:02, 27 February 2012 diff hist 0‎ File:ProB WhileAfterLoad.png ‎ uploaded a new version of "File:ProB WhileAfterLoad.png" current
• 14:5914:59, 27 February 2012 diff hist 0‎ File:ProBRodinAfterOpChoose.png ‎ uploaded a new version of "File:ProBRodinAfterOpChoose.png" current
• 14:5914:59, 27 February 2012 diff hist 0‎ File:ProBRodinOpChoose.png ‎ uploaded a new version of "File:ProBRodinOpChoose.png" current
• 14:5814:58, 27 February 2012 diff hist 0‎ File:ProBRodinInit.png ‎ uploaded a new version of "File:ProBRodinInit.png" current
• 14:5714:57, 27 February 2012 diff hist 0‎ File:ProBRodinStart.png ‎ uploaded a new version of "File:ProBRodinStart.png" current
• 14:5614:56, 27 February 2012 diff hist 0‎ File:ProBRodinPrefs.png ‎ uploaded a new version of "File:ProBRodinPrefs.png" current
• 14:5514:55, 27 February 2012 diff hist 0‎ File:RodinPrefs.png ‎ uploaded a new version of "File:RodinPrefs.png" current
• 14:5314:53, 27 February 2012 diff hist 0‎ File:ProBSimpleCountDefSet BeforeInit.png ‎ uploaded a new version of "File:ProBSimpleCountDefSet BeforeInit.png" current
• 14:5214:52, 27 February 2012 diff hist 0‎ File:ProBModelCheckNoCounterExampleFound Unbounded.png ‎ uploaded a new version of "File:ProBModelCheckNoCounterExampleFound Unbounded.png" current
• 14:5114:51, 27 February 2012 diff hist 0‎ File:ProBSimpleCounterForMC InvViol.png ‎ uploaded a new version of "File:ProBSimpleCounterForMC InvViol.png" current
• 14:5014:50, 27 February 2012 diff hist 0‎ File:ProBSimpleCounterForMC Max.png ‎ uploaded a new version of "File:ProBSimpleCounterForMC Max.png" current
• 14:4714:47, 27 February 2012 diff hist 0‎ File:ProBSimpleCountDefSet InvViol.png ‎ uploaded a new version of "File:ProBSimpleCountDefSet InvViol.png" current