Navigation
Special Pages
- Recent changes

User
- Log in

Using the Command-Line Version of ProB: Revision history

View logs for this page

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

curprev 08:3708:37, 16 January 2015‎ Michael Leuschel talk contribs‎ 31,928 bytes +207‎ →‎-test_description File
curprev 07:0907:09, 16 January 2015‎ Michael Leuschel talk contribs‎ 31,721 bytes +43‎ →‎-cbc_sequence
curprev 07:0807:08, 16 January 2015‎ Michael Leuschel talk contribs‎ 31,678 bytes −2‎ →‎-cbc_deadlock_pred >
curprev 07:0707:07, 16 January 2015‎ Michael Leuschel talk contribs‎ 31,680 bytes +427‎ →‎-cbc_assertions

curprev 06:2506:25, 12 December 2014‎ Michael Leuschel talk contribs‎ 31,253 bytes +419‎ →‎-cbc_deadlock_pred >

curprev 18:1818:18, 24 November 2014‎ Michael Leuschel talk contribs‎ 30,834 bytes +125‎ →‎-cbc_cover Operation
curprev 18:1718:17, 24 November 2014‎ Michael Leuschel talk contribs‎ 30,709 bytes +160‎ →‎-cb_tests Depth EndPredicate File
curprev 18:1518:15, 24 November 2014‎ Michael Leuschel talk contribs‎ 30,549 bytes +51‎ →‎-cb_cover Operation

curprev 14:4214:42, 30 October 2014‎ Lukas Ladenberger talk contribs‎ 30,498 bytes +22‎ No edit summary

curprev 10:4010:40, 23 July 2014‎ Michael Leuschel talk contribs‎ 29,795 bytes +24‎ No edit summary

curprev 16:3516:35, 8 July 2014‎ Michael Leuschel talk contribs‎ 29,771 bytes +1‎ →‎-repl
curprev 16:3416:34, 8 July 2014‎ Michael Leuschel talk contribs‎ 29,770 bytes +241‎ →‎-repl

curprev 12:2812:28, 26 June 2014‎ Michael Leuschel talk contribs‎ 29,529 bytes +240‎ →‎-c

curprev 14:0514:05, 20 May 2014‎ Dominik Hansen talk contribs‎ 29,289 bytes +1‎ →‎--timeout

curprev 10:0410:04, 21 June 2013‎ Michael Leuschel talk contribs‎ 29,288 bytes +14‎ No edit summary

curprev 10:4710:47, 27 November 2012‎ Michael Leuschel talk contribs‎ 29,274 bytes +113‎ →‎-repl
curprev 10:4510:45, 27 November 2012‎ Michael Leuschel talk contribs‎ 29,161 bytes +214‎ →‎-eval

curprev 08:4108:41, 19 September 2012‎ Michael Leuschel talk contribs‎ 28,947 bytes +232‎ No edit summary

curprev 13:4613:46, 7 September 2012‎ Michael Leuschel talk contribs‎ 28,715 bytes +119‎ →‎-cache

curprev 08:5508:55, 18 July 2012‎ Michael Leuschel talk contribs‎ 28,596 bytes +229‎ →‎-cache
curprev 08:4708:47, 18 July 2012‎ Michael Leuschel talk contribs‎ 28,367 bytes +524‎ No edit summary

curprev 05:3905:39, 16 June 2012‎ Michael Leuschel talk contribs‎ 27,843 bytes +175‎ No edit summary

curprev 07:3407:34, 3 June 2012‎ Michael Leuschel talk contribs‎ 27,668 bytes +47‎ →‎Preferences

curprev 16:3516:35, 3 May 2012‎ Michael Leuschel talk contribs‎ 27,621 bytes +30‎ →‎Preferences

curprev 06:1506:15, 20 March 2012‎ Daniel Plagge talk contribs‎ 27,591 bytes +54‎ →‎-csp-guide File
curprev 06:1506:15, 20 March 2012‎ Daniel Plagge talk contribs‎ 27,537 bytes +87‎ →‎-test_description File

curprev 14:5414:54, 10 February 2012‎ Michael Leuschel talk contribs‎ 27,450 bytes +80‎ →‎Preferences

curprev 07:0407:04, 5 October 2011‎ Michael Leuschel talk contribs‎ 25,652 bytes +219‎ →‎-sptxt
curprev 06:5906:59, 5 October 2011‎ Michael Leuschel talk contribs‎ 25,433 bytes +287‎ →‎-his

curprev 09:2109:21, 25 September 2011‎ Michael Leuschel talk contribs‎ 25,146 bytes +238‎ →‎-mc

curprev 12:4912:49, 20 September 2011‎ Michael Leuschel talk contribs‎ 24,908 bytes +187‎ →‎-animate

curprev 15:3615:36, 15 September 2011‎ Michael Leuschel talk contribs‎ 24,721 bytes +160‎ →‎-assertions
curprev 15:3515:35, 15 September 2011‎ Michael Leuschel talk contribs‎ 24,561 bytes +373‎ →‎-assertions

curprev 11:3211:32, 23 August 2011‎ Daniel Plagge talk contribs‎ 24,188 bytes +546‎ No edit summary

curprev 07:3207:32, 30 July 2011‎ Michael Leuschel talk contribs‎ 23,642 bytes +87‎ No edit summary

Retrieved from "https://prob.hhu.de/w/index.php?title=Using_the_Command-Line_Version_of_ProB"