Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
50 most recent check-ins
|
2026-07-14
| ||
| 17:19 | Diagram copy editing. Leaf check-in: ad08ec0306 user: andrewm tags: trunk | |
| 13:31 | Checkpoint. Brushing up details of the Bouncy Button / Blinky LED application. check-in: b68d6f5e82 user: andrewm tags: trunk | |
| 08:18 | Copy editing. check-in: f0187a9699 user: andrewm tags: trunk | |
|
2026-07-13
| ||
| 15:00 | Copy editing. check-in: bb7d6fa19d user: andrewm tags: trunk | |
|
2026-07-12
| ||
| 16:41 | Copy editing. check-in: a928324b15 user: andrewm tags: trunk | |
|
2026-07-11
| ||
| 17:43 | Checkpoint. Updated timer queue unit tests. check-in: 459c269688 user: andrewm tags: trunk | |
|
2026-07-10
| ||
| 16:37 | Checkpoint. Further code clean up. check-in: aabe4da119 user: andrewm tags: trunk | |
| 14:56 | Checkpoint. Code clean up and work on the lighting application. Tested on actual hardware. Things working as expected. check-in: 1c3396e6c6 user: andrewm tags: trunk | |
| 14:52 | Changed the manner in which timer queue elements were allocated. Previously, a bit set was used and the first unallocated element was selected. This can result in a race condition where the element expires and is freed, but before it can be acted on in the background, another create request arrives. That results in the same element being allocated to the second request. This means the element number is being reused and is not unique in the background. The chosen solution was to cycle through all the elements during allocation and _not_ just take the smallest element number. This gives time for the background to react, althought it does _not_ guarantee the element id number is unique to the background. Considered a number of alternatives like requiring another system call for the background code to "free" the timer queue element. This is more complicated and opens the possibility of loosing timer queue elements. Also considered using a "generation" counter for each element, much like is used for relvar tuple storage. Discarded as too complicated. check-in: c2e62da97c user: andrewm tags: trunk | |
|
2026-07-09
| ||
| 18:15 | Copy editing. check-in: 56afb8664b user: andrewm tags: trunk | |
|
2026-07-07
| ||
| 11:15 | Corrections to the weather station application to account for changes in the device notification issued by the timer queue. check-in: 71944617c4 user: andrewm tags: trunk | |
|
2026-07-05
| ||
| 17:25 | Checkpoint. Further work on the 0.17-dev changes. Can build both native and target unit tests. Need further work on the native version of the lighting app. Target version builds but not yet tested. check-in: a613ca5967 user: andrewm tags: trunk | |
|
2026-07-03
| ||
| 12:23 | Checkpoint. Able to build target executable for Lighting application. Updated Zig compiler to 0.17.0-dev.1158+1d1193aa7. A lot of small changes to update from 0.16. check-in: 8c7401f409 user: andrewm tags: trunk | |
|
2026-07-01
| ||
| 14:58 | Checkpoint. Continued adding tests and copy editing docs. check-in: b9fc697604 user: andrewm tags: trunk | |
|
2026-06-27
| ||
| 11:55 | Checkpoint. Button / LED example is now properly bridged. 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 | |