User contributions for Jan Gruteser

11 January 2024

• 16:3816:38, 11 January 2024 diff hist +19‎ m Rules-DSL ‎ →‎Rule Validation in ProB2-UI
• 16:3716:37, 11 January 2024 diff hist −4‎ m Rules-DSL ‎ →‎Rule Validation in ProB2-UI
• 16:3616:36, 11 January 2024 diff hist +241‎ m Rules-DSL ‎ →‎Rule Validation in ProB2-UI
• 16:2616:26, 11 January 2024 diff hist +48‎ m Summary of B Syntax ‎ →‎LET and IF-THEN-ELSE: add ELSIF for predicates

8 January 2024

• 13:2313:23, 8 January 2024 diff hist +36‎ m Handbook/Other Languages ‎No edit summary current
• 09:4109:41, 8 January 2024 diff hist +60‎ m Rules-DSL ‎ →‎Rule Validation in ProB2-UI
• 09:3709:37, 8 January 2024 diff hist 0‎ N File:ProB2 UI Rules View.png ‎No edit summary current

29 December 2023

• 17:3017:30, 29 December 2023 diff hist +1‎ m External Functions ‎ →‎Standard Libraries provided by ProB

1 December 2023

• 11:0211:02, 1 December 2023 diff hist +33‎ m Rules-DSL ‎ →‎B-Rules DSL
• 10:5410:54, 1 December 2023 diff hist +111‎ m Rules-DSL ‎ →‎Rules
• 10:5010:50, 1 December 2023 diff hist +276‎ m Rules-DSL ‎ →‎B-Rules DSL: mention ProB2-UI

8 November 2023

• 13:1313:13, 8 November 2023 diff hist −1‎ m Rules-DSL ‎ →‎Rules

25 October 2023

• 15:1815:18, 25 October 2023 diff hist −18‎ m Rules-DSL ‎ →‎Use Rules for Data Validation
• 15:0715:07, 25 October 2023 diff hist +5‎ m Rules-DSL ‎ →‎Include Rules Machines into other Projects
• 15:0415:04, 25 October 2023 diff hist +1,316‎ Rules-DSL ‎ →‎B-Rules DSL: add internal representation
• 14:4514:45, 25 October 2023 diff hist −22‎ m Rules-DSL ‎ →‎Additional Syntax
• 14:4114:41, 25 October 2023 diff hist +13‎ m Rules-DSL ‎ →‎Functions
• 14:3914:39, 25 October 2023 diff hist −103‎ m Rules-DSL ‎ →‎Computations
• 14:3814:38, 25 October 2023 diff hist −28‎ m Rules-DSL ‎ →‎Computations
• 14:3714:37, 25 October 2023 diff hist +279‎ m Rules-DSL ‎ →‎Computations
• 14:3614:36, 25 October 2023 diff hist +5‎ m Rules-DSL ‎ →‎Rules
• 14:3514:35, 25 October 2023 diff hist +175‎ m Rules-DSL ‎ →‎Computations
• 14:3214:32, 25 October 2023 diff hist +178‎ m Rules-DSL ‎ →‎Computations
• 14:2514:25, 25 October 2023 diff hist −3‎ m Rules-DSL ‎ →‎Rules
• 14:2414:24, 25 October 2023 diff hist −8‎ m Rules-DSL ‎ →‎Rules
• 14:2114:21, 25 October 2023 diff hist +144‎ m Rules-DSL ‎ →‎Rules
• 13:5413:54, 25 October 2023 diff hist +323‎ m Rules-DSL ‎ →‎Rules
• 13:4713:47, 25 October 2023 diff hist +104‎ m Rules-DSL ‎ →‎Rules
• 13:3513:35, 25 October 2023 diff hist 0‎ m Rules-DSL ‎ →‎Setting up a Rules Machine
• 13:3413:34, 25 October 2023 diff hist +90‎ m Rules-DSL ‎ →‎Setting up a Rules Machine
• 13:3013:30, 25 October 2023 diff hist +2‎ m Rules-DSL ‎ →‎Rules DSL
• 13:2913:29, 25 October 2023 diff hist +14‎ m Rules-DSL ‎ →‎Rules DSL

15 September 2023

• 14:1314:13, 15 September 2023 diff hist +242‎ m Using the Command-Line Version of ProB ‎ →‎Options: add description of -property current

10 August 2023

• 12:1812:18, 10 August 2023 diff hist −12‎ m Rules-DSL ‎ →‎Additional Syntax: minor fix

31 May 2023

• 14:5614:56, 31 May 2023 diff hist −1‎ m Rules-DSL ‎ →‎Rules DSL: fix typos
• 14:5514:55, 31 May 2023 diff hist 0‎ m Rules-DSL ‎ →‎Rules: fix typos

15 May 2023

• 16:4116:41, 15 May 2023 diff hist +16‎ m Rules-DSL ‎ →‎Setting up a Rules Machine

14 May 2023

• 18:0718:07, 14 May 2023 diff hist −1‎ m Rules-DSL ‎ →‎Additional Syntax
• 18:0618:06, 14 May 2023 diff hist +3‎ m Rules-DSL ‎ →‎Additional Syntax
• 18:0518:05, 14 May 2023 diff hist +32‎ m Rules-DSL ‎ →‎Additional Syntax
• 17:5217:52, 14 May 2023 diff hist +461‎ m Rules-DSL ‎ →‎Additional Syntax
• 17:3817:38, 14 May 2023 diff hist +335‎ m Rules-DSL ‎ →‎Additional Predicates
• 15:3815:38, 14 May 2023 diff hist +719‎ Rules-DSL ‎ →‎Rules DSL
• 08:3508:35, 14 May 2023 diff hist +115‎ m Rules-DSL ‎ →‎Computations
• 08:3208:32, 14 May 2023 diff hist +131‎ m Rules-DSL ‎ →‎Computations

8 May 2023

• 05:0105:01, 8 May 2023 diff hist +22‎ m Rules-DSL ‎ →‎Use Rules for Data Validation
• 05:0005:00, 8 May 2023 diff hist +540‎ m Rules-DSL ‎ →‎Use Rules for Data Validation

5 May 2023

• 18:2418:24, 5 May 2023 diff hist +1‎ m Rules-DSL ‎ →‎Functions
• 18:2318:23, 5 May 2023 diff hist 0‎ m Rules-DSL ‎ →‎Computations
• 18:2218:22, 5 May 2023 diff hist −99‎ Rules-DSL ‎ →‎Rules DSL