Code to Models

Timeline
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

50 most recent check-ins

2026-06-27
11:55
Checkpoint. Button / LED example is now properly bridged. Leaf check-in: b52b8d9f0b user: andrewm tags: trunk
2026-06-25
17:23
Checkpoint. Reorganizing code in the button / led example. check-in: ebb248853d user: andrewm tags: trunk
14:48
Adjacency matrix rework complete. Merging changes back onto the trunk. check-in: e5979dce0d user: andrewm tags: trunk
11:32
Copy editing. Closed-Leaf check-in: 9ea2d18eb8 user: andrewm tags: adj-matrix-rework
2026-06-23
15:19
Checkpoint. Bouncy button / blinky LED limping along on the Linux interface. check-in: 1d232e3a0d user: andrewm tags: adj-matrix-rework
2026-06-16
16:41
Checkpoint. Continuing work on generalization code. check-in: 3a0d7c2cbf user: andrewm tags: adj-matrix-rework
2026-06-15
17:04
Checkpoint. Continuing rework of generalization adjacency matrices. check-in: 5777b58a8c user: andrewm tags: adj-matrix-rework
10:27
Copy editing. check-in: 33c38b5864 user: andrewm tags: adj-matrix-rework
2026-06-14
16:33
Checkpoint. Adjacency matrices were reworked to simplfy the interface types and, for generalizations, remove comptime parameters as much as possible. Deferred event dispatch was affected and it has also been reworked. check-in: c77429d76e user: andrewm tags: adj-matrix-rework
2026-06-13
14:49
Copy editing. check-in: 31d2e6788b user: andrewm tags: adj-matrix-rework
12:34
Checkpoint. binary_relations.zig passing unit tests. Generalization rework mainly complete. check-in: ed7a78b065 user: andrewm tags: adj-matrix-rework
09:35
Checkpoint. Association adjacency matrix rework is done. Moving on to generalizations. check-in: eb5fb316a8 user: andrewm tags: adj-matrix-rework
2026-06-11
15:50
Create new branch named "adj-matrix-rework" check-in: e8b949d3ec user: andrewm tags: adj-matrix-rework
15:49
Checkpoint. Preparing to branch for adjacency matrix rework. check-in: f743a67fa9 user: andrewm tags: trunk
2026-06-08
10:43
Merging state-model-event-payload branch back onto the trunk. check-in: 27fa7205ea user: andrewm tags: trunk
10:40
Copy editing. Closed-Leaf check-in: 17421786f2 user: andrewm tags: state-model-event-payload
2026-06-07
17:18
Checkpoint. Reorganized tangled output. check-in: 693db58439 user: andrewm tags: state-model-event-payload
2026-06-06
17:00
Checkpoint. Additional work on execution control and delayed events timing. check-in: 854ab47591 user: andrewm tags: state-model-event-payload
11:05
Continuing work on the system level code. Reworked the Linux file descriptor registry and execution control to use an iterator design on the polled file descriptors. check-in: e1508bf4be user: andrewm tags: state-model-event-payload
2026-06-05
15:28
Copy editing. check-in: dab7fbbe56 user: andrewm tags: state-model-event-payload
2026-06-04
16:55
Checkpoint. Converted the timing interface code that is used by delayed events to use a RelVar to hold the mapping from delayed event to timing handle. check-in: d5e16f9841 user: andrewm tags: state-model-event-payload
2026-06-03
12:35
Checkpoint. Continued work on the resee system chapter. Changed a file name. check-in: fbbde58061 user: andrewm tags: state-model-event-payload
2026-05-30
16:57
Checkpoint. Completed work on test cases for event dispatch. Added description of many functions in domain.zig. Moving on to the system level chapter. check-in: 425d80ed21 user: andrewm tags: state-model-event-payload
2026-05-28
13:55
Minor code clean up. Removed duplicated code in association and generalization services. check-in: fe1b8915a0 user: andrewm tags: state-model-event-payload
11:36
Adding explanation of polymorphic events and rules for determining deferred and effective events. check-in: 7fc3b4f6c4 user: andrewm tags: state-model-event-payload
2026-05-27
16:31
Checkpoint. Additional copy editing and rework for relational classes. Added diagram showing event dispatch logic. check-in: ebcc97af63 user: andrewm tags: state-model-event-payload
2026-05-26
13:32
Copy editing. check-in: 779e7383c1 user: andrewm tags: state-model-event-payload
2026-05-25
11:12
Checkpoint. All 6 event dispatch tests now have a class diagram to make understanding the event polymorphism easier. check-in: a2b94a9446 user: andrewm tags: state-model-event-payload
2026-05-24
13:00
Checkpoint. Passing 6 polymorphic event test cases. check-in: 053aba5029 user: andrewm tags: state-model-event-payload
2026-05-22
16:53
Completed validation of the deferred events. check-in: 59717747f5 user: andrewm tags: state-model-event-payload
2026-05-21
17:12
Adding missing files. Making domain level signal functions public. check-in: dff21ffae7 user: andrewm tags: state-model-event-payload
2026-05-20
16:54
Checkpoint. Contining work on docs and organization. check-in: 84395c6808 user: andrewm tags: state-model-event-payload
09:35
Checkpoint. Five polymorphic event tests are running. check-in: 73fac4b74d user: andrewm tags: state-model-event-payload
2026-05-18
16:17
Checkpoint. Second polymorphic event test passing. Still needs work refactoring the code. check-in: bcfec0c83c user: andrewm tags: state-model-event-payload
2026-05-16
10:58
Checkpoint. Preparing for code changes in poly morphic event dispatch. check-in: 74b2fab80a user: andrewm tags: state-model-event-payload
2026-05-14
16:10
Copy editing. check-in: 9c39daf6f1 user: andrewm tags: state-model-event-payload
2026-05-13
16:11
Continuing work on specifying event signatures. Things are back functioning, but with complete detection of signature mismatches between event payloads and state activity function signatures. check-in: da1199d402 user: andrewm tags: state-model-event-payload
2026-05-11
14:27
Create new branch named "state-model-event-payload" check-in: d19f7b81de user: andrewm tags: state-model-event-payload
14:23
Code formatting. check-in: 9aa4a76800 user: andrewm tags: trunk
2026-05-10
11:56
Copy editing. check-in: 3194bc6e1b user: andrewm tags: trunk
2026-05-09
17:07
Continuing work on polymorphic events and expanding the example tests. check-in: ac9a9dd0d0 user: andrewm tags: trunk
09:37
Copy editing. check-in: 59238e24ff user: andrewm tags: trunk
2026-05-08
17:01
Tracing for Polymorphic event forwarding in place. check-in: 600de93b37 user: andrewm tags: trunk
16:12
Polymorphic events are running. More testing necessary. check-in: 696a68ad92 user: andrewm tags: trunk
13:59
Checkpoint. Polymorphic events can be dispatched for a simple test case. Addition work and test cases needed. check-in: ac2b85004a user: andrewm tags: trunk
10:59
Copy editing. check-in: 5731b060c0 user: andrewm tags: trunk
2026-05-02
17:43
Checkpoint. Deferred event dispatch is limping along. check-in: 2cf22c733e user: andrewm tags: trunk
2026-04-29
17:09
Checkpoint. Added beginnings of a test case about a temperature controlled oven. Tested code that generates Deferred events and event ids. check-in: 226decf460 user: andrewm tags: trunk
2026-04-28
13:07
Copy editing. check-in: 72e9e413cb user: andrewm tags: trunk
2026-04-25
15:25
Changes to use new switch feature from Zig 0.16.0 that allows switching on packed structure values. check-in: 67b34e7484 user: andrewm tags: trunk