Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Jan Gruteser

For Jan Gruteser talk block log uploads logs

15:1615:16, 26 July 2024 diff hist +175‎ m SimB ‎ →‎SimB current

11:2711:27, 24 July 2024 diff hist +224‎ TLC ‎ →‎Using TLC in probcli current
11:2311:23, 24 July 2024 diff hist +29‎ TLC ‎ →‎Limitations

06:3706:37, 11 May 2024 diff hist +83‎ External Functions ‎ →‎Standard Libraries provided by ProB current

14:1414:14, 10 May 2024 diff hist −1‎ m External Functions ‎ →‎Standard Libraries provided by ProB
11:4211:42, 10 May 2024 diff hist +145‎ m External Functions ‎ →‎Standard Libraries provided by ProB

08:3708:37, 3 May 2024 diff hist 0‎ m TLA ‎ →‎Understanding the type checker

12:2912:29, 2 May 2024 diff hist +45‎ m TLA ‎ →‎Understanding the type checker

07:2907:29, 30 April 2024 diff hist 0‎ m TLA ‎ →‎Supported TLA+ syntax
07:2807:28, 30 April 2024 diff hist +50‎ m TLA ‎ →‎Understanding the type checker
07:2707:27, 30 April 2024 diff hist +103‎ m TLA ‎ →‎Supported TLA+ syntax: add real syntax

12:2912:29, 22 April 2024 diff hist +36‎ m Handbook/B Language ‎ add Freetypes page current

11:3411:34, 15 April 2024 diff hist −11‎ m Summary of B Syntax ‎ →‎Definitions:
11:2911:29, 15 April 2024 diff hist +99‎ Summary of B Syntax ‎ →‎Definitions:: add ref to uml
11:2311:23, 15 April 2024 diff hist +141‎ Summary of B Syntax ‎ →‎Definitions:: add ref to CUSTOM_GRAPH

14:3914:39, 5 March 2024 diff hist −1‎ m Sudoku Solved in the ProB REPL ‎ fix typo current

10:5510:55, 23 February 2024 diff hist +1‎ m Summary of B Syntax ‎ →‎Freetypes: fix typo

14:5514:55, 22 February 2024 diff hist +477‎ Rules-DSL ‎ →‎Internal Representation current
14:4214:42, 22 February 2024 diff hist +149‎ m Rules-DSL ‎ →‎Include Rules Machines into other Projects
14:3914:39, 22 February 2024 diff hist +119‎ m Rules-DSL ‎ →‎Rule Validation in ProB2-UI

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

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

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

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

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

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

Retrieved from "https://prob.hhu.de/w/index.php?title=Special:Contributions/Jan_Gruteser"