User contributions

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

• 11:27, 5 June 2019 (diff | hist) . . (+49)‎ . . Using the Command-Line Version of ProB ‎ (→‎Environment Variables) (current)
• 08:43, 24 May 2019 (diff | hist) . . (+843)‎ . . Memoization for Functions ‎ (current)
• 08:40, 24 May 2019 (diff | hist) . . (+1)‎ . . Memoization for Functions ‎
• 08:40, 24 May 2019 (diff | hist) . . (+3)‎ . . Memoization for Functions ‎
• 08:34, 24 May 2019 (diff | hist) . . (+1,502)‎ . . Memoization for Functions ‎
• 13:05, 17 May 2019 (diff | hist) . . (+2)‎ . . Download ‎ (→‎Latest Beta Release) (current)
• 18:22, 9 May 2019 (diff | hist) . . (+3)‎ . . Memoization for Functions ‎
• 18:22, 9 May 2019 (diff | hist) . . (+156)‎ . . Memoization for Functions ‎
• 17:14, 9 May 2019 (diff | hist) . . (+274)‎ . . Memoization for Functions ‎
• 12:45, 7 May 2019 (diff | hist) . . (+18)‎ . . Memoization for Functions ‎
• 12:40, 7 May 2019 (diff | hist) . . (+926)‎ . . Memoization for Functions ‎
• 12:54, 29 April 2019 (diff | hist) . . (+353)‎ . . LTL Model Checking ‎ (current)
• 12:06, 16 April 2019 (diff | hist) . . (+127)‎ . . Memoization for Functions ‎
• 12:01, 16 April 2019 (diff | hist) . . (-34)‎ . . Memoization for Functions ‎
• 12:00, 16 April 2019 (diff | hist) . . (+462)‎ . . Memoization for Functions ‎
• 11:58, 16 April 2019 (diff | hist) . . (+885)‎ . . N Memoization for Functions ‎ (Created page with " = Memoization of Function Calls = As of version 1.9.0-beta9 ProB allows you to annotate functions in the ABSTRACT_CONSTANTS section for memoization. To enable memoization yo...")
• 11:53, 16 April 2019 (diff | hist) . . (+32)‎ . . Template:User Manual Index ‎ (current)
• 13:37, 11 April 2019 (diff | hist) . . (+152)‎ . . Download ‎
• 13:33, 11 April 2019 (diff | hist) . . (+518)‎ . . Download ‎ (→‎Latest Release)
• 10:56, 22 March 2019 (diff | hist) . . (+60)‎ . . Tutorial Unit Plugin ‎ (current)
• 09:51, 21 March 2019 (diff | hist) . . (-14)‎ . . User Manual ‎ (→‎New version of ProB user manuals) (current)
• 09:05, 21 March 2019 (diff | hist) . . (+304)‎ . . Tutorial Animation Tips ‎ (→‎Increasing MAX_OPERATIONS) (current)
• 14:56, 26 February 2019 (diff | hist) . . (+137)‎ . . Download ‎ (→‎Nightly Builds)
• 14:55, 26 February 2019 (diff | hist) . . (+30)‎ . . Download ‎ (→‎Nightly Builds)
• 11:45, 22 February 2019 (diff | hist) . . (+1)‎ . . Template:User Manual Index ‎
• 11:44, 22 February 2019 (diff | hist) . . (+37)‎ . . Template:User Manual Index ‎
• 14:10, 18 February 2019 (diff | hist) . . (+170)‎ . . Download ‎ (→‎ProB2 UI using Java FX)
• 13:39, 12 February 2019 (diff | hist) . . (-175)‎ . . Download ‎ (→‎Nightly Builds)
• 11:06, 4 February 2019 (diff | hist) . . (+89)‎ . . Download ‎ (→‎ProB2 UI using Java FX)
• 10:51, 4 February 2019 (diff | hist) . . (+56)‎ . . Download ‎ (→‎ProB2 UI using Java FX)
• 10:39, 8 January 2019 (diff | hist) . . (+440)‎ . . Download ‎ (→‎Sourcecode)
• 11:26, 1 December 2018 (diff | hist) . . (+82)‎ . . External Functions ‎ (current)
• 11:23, 1 December 2018 (diff | hist) . . (0)‎ . . N File:ExternalFunctions.pdf ‎ (current)
• 11:23, 1 December 2018 (diff | hist) . . (-14)‎ . . External Functions ‎
• 11:23, 1 December 2018 (diff | hist) . . (+123)‎ . . External Functions ‎
• 16:47, 7 November 2018 (diff | hist) . . (+12)‎ . . User Manual ‎ (→‎New version of ProB user manuals)
• 11:38, 29 October 2018 (diff | hist) . . (+164)‎ . . Download ‎ (→‎ProB for Rodin)
• 15:09, 23 October 2018 (diff | hist) . . (+87)‎ . . Download ‎ (→‎ProB for Rodin)
• 14:50, 23 October 2018 (diff | hist) . . (+15)‎ . . Download ‎ (→‎ProB for Rodin)
• 14:50, 23 October 2018 (diff | hist) . . (+246)‎ . . Download ‎ (→‎ProB for Rodin)
• 12:57, 22 October 2018 (diff | hist) . . (+93)‎ . . Using the Command-Line Version of ProB ‎ (→‎Preferences)
• 09:51, 22 October 2018 (diff | hist) . . (-2)‎ . . Developer Manual ‎
• 09:50, 22 October 2018 (diff | hist) . . (+143)‎ . . Developer Manual ‎
• 13:16, 12 October 2018 (diff | hist) . . (+67)‎ . . Current Limitations ‎ (current)
• 13:15, 12 October 2018 (diff | hist) . . (+11)‎ . . Current Limitations ‎
• 13:14, 12 October 2018 (diff | hist) . . (-674)‎ . . Current Limitations ‎
• 13:14, 12 October 2018 (diff | hist) . . (-78)‎ . . Current Limitations ‎
• 08:41, 12 October 2018 (diff | hist) . . (+4)‎ . . Graphical Visualization ‎ (→‎Sudoku) (current)
• 08:41, 12 October 2018 (diff | hist) . . (+1,242)‎ . . Graphical Visualization ‎ (→‎Sudoku)
• 08:23, 12 October 2018 (diff | hist) . . (-2)‎ . . User Manual ‎ (→‎Content of this handbook)

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)