User contributions for Michael Leuschel

11:3811:38, 12 July 2019 diff hist −4‎ Download ‎ →‎Latest Release
11:3611:36, 12 July 2019 diff hist +22‎ Download ‎ →‎Latest Release
11:3511:35, 12 July 2019 diff hist +5‎ Download ‎ →‎Latest Release
11:3411:34, 12 July 2019 diff hist −1‎ Download ‎ →‎Latest Release
11:3411:34, 12 July 2019 diff hist +7‎ Download ‎ →‎Latest Release
11:3311:33, 12 July 2019 diff hist +13‎ Download ‎ →‎Latest Release
10:2910:29, 12 July 2019 diff hist −6‎ The ProB Animator and Model Checker ‎No edit summary
10:2810:28, 12 July 2019 diff hist −25‎ The ProB Animator and Model Checker ‎No edit summary
10:2810:28, 12 July 2019 diff hist +160‎ The ProB Animator and Model Checker ‎No edit summary
10:2710:27, 12 July 2019 diff hist +11‎ Download ‎ →‎Short Release History
10:2710:27, 12 July 2019 diff hist −11‎ Download ‎ →‎Short Release History
10:2710:27, 12 July 2019 diff hist −2‎ Download ‎ →‎Short Release History
10:2610:26, 12 July 2019 diff hist +161‎ Download ‎ →‎Short Release History
10:2310:23, 12 July 2019 diff hist +2,387‎ ProB Release History ‎No edit summary
10:1910:19, 12 July 2019 diff hist −1‎ Download ‎ →‎Latest Release
10:1910:19, 12 July 2019 diff hist −1‎ Download ‎ →‎Latest Release
10:1410:14, 12 July 2019 diff hist −58‎ Download ‎ →‎Latest Release
10:1410:14, 12 July 2019 diff hist +6‎ Download ‎ →‎Latest Release
10:1210:12, 12 July 2019 diff hist +6‎ Download ‎ →‎Latest Release
10:1210:12, 12 July 2019 diff hist +150‎ Download ‎ →‎Latest Release
10:0910:09, 12 July 2019 diff hist −6‎ Download ‎ →‎Latest Release
10:0810:08, 12 July 2019 diff hist +6‎ Download ‎ →‎Latest Release
10:0610:06, 12 July 2019 diff hist −87‎ Download ‎ →‎Latest Release
08:5008:50, 12 July 2019 diff hist +1,805‎ DownloadPriorVersions ‎No edit summary
08:4808:48, 12 July 2019 diff hist −1‎ Download ‎ →‎Latest Release

13:1113:11, 9 July 2019 diff hist −20‎ The ProB Animator and Model Checker ‎No edit summary
13:1113:11, 9 July 2019 diff hist −8‎ The ProB Animator and Model Checker ‎No edit summary
13:1013:10, 9 July 2019 diff hist −28‎ The ProB Animator and Model Checker ‎No edit summary
13:0913:09, 9 July 2019 diff hist −15‎ The ProB Animator and Model Checker ‎No edit summary
12:5312:53, 9 July 2019 diff hist +39‎ Template:User Manual Index ‎No edit summary
12:5212:52, 9 July 2019 diff hist +162‎ Template:User Manual Index ‎No edit summary
12:4812:48, 9 July 2019 diff hist +89‎ Tutorial ‎No edit summary
12:4612:46, 9 July 2019 diff hist +74‎ Tutorial ‎No edit summary
12:4412:44, 9 July 2019 diff hist +40‎ Tutorial ‎No edit summary

09:2709:27, 5 June 2019 diff hist +49‎ Using the Command-Line Version of ProB ‎ →‎Environment Variables

06:4306:43, 24 May 2019 diff hist +843‎ Memoization for Functions ‎No edit summary current
06:4006:40, 24 May 2019 diff hist +1‎ Memoization for Functions ‎No edit summary
06:4006:40, 24 May 2019 diff hist +3‎ Memoization for Functions ‎No edit summary
06:3406:34, 24 May 2019 diff hist +1,502‎ Memoization for Functions ‎No edit summary

11:0511:05, 17 May 2019 diff hist +2‎ Download ‎ →‎Latest Beta Release

16:2216:22, 9 May 2019 diff hist +3‎ Memoization for Functions ‎No edit summary
16:2216:22, 9 May 2019 diff hist +156‎ Memoization for Functions ‎No edit summary
15:1415:14, 9 May 2019 diff hist +274‎ Memoization for Functions ‎No edit summary

10:4510:45, 7 May 2019 diff hist +18‎ Memoization for Functions ‎No edit summary
10:4010:40, 7 May 2019 diff hist +926‎ Memoization for Functions ‎No edit summary

10:5410:54, 29 April 2019 diff hist +353‎ LTL Model Checking ‎No edit summary

10:0610:06, 16 April 2019 diff hist +127‎ Memoization for Functions ‎No edit summary
10:0110:01, 16 April 2019 diff hist −34‎ Memoization for Functions ‎No edit summary
10:0010:00, 16 April 2019 diff hist +462‎ Memoization for Functions ‎No edit summary
09:5809: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..."

User contributions for Michael Leuschel

12 July 2019

9 July 2019

5 June 2019

24 May 2019

17 May 2019

9 May 2019

7 May 2019

29 April 2019

16 April 2019