User contributions for Jan Gruteser

9 July 2025

• 08:0208:02, 9 July 2025 diff hist +1 m ProB's Prolog Datastructures →Data Values current

13 June 2025

• 16:1016:10, 13 June 2025 diff hist +1 m LTL Model Checking No edit summary current
• 15:5415:54, 13 June 2025 diff hist +26 m LTL Model Checking →Summary of CTL Syntax supported by ProB

30 April 2025

• 17:0617:06, 30 April 2025 diff hist +79 m Rules-DSL →Computations current

14 April 2025

• 13:5113:51, 14 April 2025 diff hist 0 m Generating UML Sequence Charts →Installation and Using
• 13:5113:51, 14 April 2025 diff hist +85 m Generating UML Sequence Charts →Installation and Using
• 13:4513:45, 14 April 2025 diff hist +318 m Rules-DSL →Rule Validation with probcli
• 13:0813:08, 14 April 2025 diff hist +115 m Rules-DSL →Rule Validation with probcli
• 12:4112:41, 14 April 2025 diff hist +94 m Using the Command-Line Version of ProB →-rule_report current

4 April 2025

• 09:1009:10, 4 April 2025 diff hist +14 m VisB →VisB DEFINITIONS
• 07:3507:35, 4 April 2025 diff hist −3 m VisB →VisB DEFINITIONS
• 07:2907:29, 4 April 2025 diff hist +2 m VisB →VisB DEFINITIONS
• 07:2807:28, 4 April 2025 diff hist +629 m VisB →VisB DEFINITIONS

2 April 2025

• 05:3605:36, 2 April 2025 diff hist +45 m External Functions →Standard Libraries provided by ProB current

31 March 2025

• 10:2910:29, 31 March 2025 diff hist +30 m Rules-DSL →Rule Validation with probcli
• 10:2910:29, 31 March 2025 diff hist −4 m Rules-DSL →Rule Validation with probcli
• 10:2910:29, 31 March 2025 diff hist +4 m Rules-DSL →Rule Validation with probcli
• 10:2810:28, 31 March 2025 diff hist +173 m Rules-DSL →Rule Validation with probcli
• 07:5607:56, 31 March 2025 diff hist +447 m Using the Command-Line Version of ProB No edit summary
• 07:3707:37, 31 March 2025 diff hist +56 m Using the Command-Line Version of ProB No edit summary