Jump to content

User contributions for Vella

Results for Vella talk block log uploads logs

A user with 65 edits. Account created on 18 April 2024.

20:5220:52, 1 July 2026 diff hist −15 m The ProB Animator and Model Checker No edit summary

13:5413:54, 18 July 2025 diff hist +45 ProBLicence No edit summary

08:5908:59, 18 June 2025 diff hist +125 Bugs →Version Information

12:0912:09, 4 April 2025 diff hist +187 JSON and Sockets →Example Machine
12:0512:05, 4 April 2025 diff hist +3,411 JSON and Sockets No edit summary
11:4811:48, 4 April 2025 diff hist +4,168 JSON and Sockets No edit summary

18:4618:46, 19 February 2025 diff hist +31 SimB →Direct Activation
18:4518:45, 19 February 2025 diff hist −47 SimB →Probabilistic and Timing Elements in SimB
18:4518:45, 19 February 2025 diff hist +7 m SimB →Direct Activation
18:4418:44, 19 February 2025 diff hist +168 SimB →Probabilistic Choice
18:4318:43, 19 February 2025 diff hist 0 m SimB →Direct Activation
18:4318:43, 19 February 2025 diff hist +8 SimB →Direct Activation

13:0713:07, 13 June 2024 diff hist +93 Summary of B Syntax →Differences with AtelierB/B4Free
12:5112:51, 13 June 2024 diff hist +85 Summary of B Syntax →Other notes
12:4812:48, 13 June 2024 diff hist −10 Summary of B Syntax →File Extensions
12:4812:48, 13 June 2024 diff hist +360 Summary of B Syntax →Comments and Pragmas
12:4312:43, 13 June 2024 diff hist +868 Summary of B Syntax →Definitions
12:3512:35, 13 June 2024 diff hist +16 Summary of B Syntax →Machine inclusion
12:3512:35, 13 June 2024 diff hist −6 Summary of B Syntax →Machine inclusion
12:3412:34, 13 June 2024 diff hist +178 Summary of B Syntax →Machine sections
12:3212:32, 13 June 2024 diff hist −27 Summary of B Syntax →Machine header
12:3112:31, 13 June 2024 diff hist +7 Summary of B Syntax →Statements (aka Substitutions)
12:3012:30, 13 June 2024 diff hist +1 Summary of B Syntax →Statements (aka Substitutions)
12:3012:30, 13 June 2024 diff hist +533 Summary of B Syntax →Statements (aka Substitutions)
12:2712:27, 13 June 2024 diff hist −6 Summary of B Syntax →LET and IF-THEN-ELSE
12:2712:27, 13 June 2024 diff hist +341 Summary of B Syntax →LET and IF-THEN-ELSE
12:1812:18, 13 June 2024 diff hist +6 Summary of B Syntax →Trees
12:1612:16, 13 June 2024 diff hist +64 Summary of B Syntax →Reals
12:1612:16, 13 June 2024 diff hist +18 Summary of B Syntax →Reals
12:1612:16, 13 June 2024 diff hist +162 Summary of B Syntax →Reals
12:1312:13, 13 June 2024 diff hist +3 Summary of B Syntax →Strings
12:1312:13, 13 June 2024 diff hist +9 Summary of B Syntax →Strings
12:1312:13, 13 June 2024 diff hist −14 Summary of B Syntax →Strings
12:0812:08, 13 June 2024 diff hist −1 Summary of B Syntax →Strings
12:0612:06, 13 June 2024 diff hist −25 Summary of B Syntax →Summary of B Syntax
12:0512:05, 13 June 2024 diff hist +25 Summary of B Syntax →Summary of B Syntax
12:0312:03, 13 June 2024 diff hist +390 Summary of B Syntax →Summary of B Syntax
12:0112:01, 13 June 2024 diff hist −6 Summary of B Syntax →Records:
12:0112:01, 13 June 2024 diff hist −40 Summary of B Syntax →Sequences:
12:0012:00, 13 June 2024 diff hist 0 Summary of B Syntax →Functions:
11:5911:59, 13 June 2024 diff hist +88 Summary of B Syntax →Relations:
11:5911:59, 13 June 2024 diff hist −24 Summary of B Syntax →Sets:
11:5811:58, 13 June 2024 diff hist +24 Summary of B Syntax →Sets:
11:5811:58, 13 June 2024 diff hist +98 Summary of B Syntax →Integers:
11:5711:57, 13 June 2024 diff hist +11 Summary of B Syntax →Booleans:
11:5611:56, 13 June 2024 diff hist +75 Summary of B Syntax →Booleans:
11:5611:56, 13 June 2024 diff hist −6 Summary of B Syntax →Equality:
11:5511:55, 13 June 2024 diff hist +9 Summary of B Syntax →Logical predicates:
11:5511:55, 13 June 2024 diff hist +84 Summary of B Syntax →Logical predicates:
11:4011:40, 13 June 2024 diff hist +38 Summary of B Syntax →Sets:

Retrieved from "https://prob.hhu.de/w/index.php/Special:Contributions/Vella"