Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
50 most recent check-ins
|
2026-06-06
| ||
| 17:00 | Checkpoint. Additional work on execution control and delayed events timing. Leaf 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. Leaf 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 | |
|
2026-04-24
| ||
| 15:04 | Checkpoint. Have begun adding code to handle polymorphic events. First stage is to have declarations for deferred events for a RelClass. check-in: 1938cd354e user: andrewm tags: trunk | |
| 12:14 | Copy editing. Added drawing showing overall partitioning in the system. check-in: 27d0655358 user: andrewm tags: trunk | |
|
2026-04-20
| ||
| 15:11 | Copy editing. check-in: d82a765b15 user: andrewm tags: trunk | |
|
2026-04-15
| ||
| 17:23 | Checkpoint. Code compiles under newly released Zig 0.16.0. However, target code does not run. check-in: c2487df898 user: andrewm tags: trunk | |
|
2026-04-13
| ||
| 17:31 | Checkpoint. Clean up of comptime code that creates enumerations. Continuing document clean up of relational classes. check-in: ffc8e4ca7f user: andrewm tags: trunk | |
|
2026-04-06
| ||
| 15:59 | Checkpoint. Much clean up. Added sync activities. Completed actions association with deleting instances and referential integrity. check-in: d4310522f6 user: andrewm tags: trunk | |
|
2026-04-03
| ||
| 16:43 | Checkpoint. Reorganization of association and generalization code to rationalize the relationship traversal interface. Now associations and generalization are traversed using the same function. All the cases are handled using optional enumeration literals for the destination class and if necessary the association traversal phrase. check-in: 50b891223b user: andrewm tags: trunk | |
| 14:17 | Added drawings to illustrate the transitive closure test cases. check-in: f72412d38f user: andrewm tags: trunk | |
|
2026-04-01
| ||
| 17:05 | Checkpoint. Beginning work on improving generalization function interfaces to avoid having to specify a subclass id value. check-in: 9b74940794 user: andrewm tags: trunk | |
|
2026-03-30
| ||
| 11:34 | Changed the dynamic memory allocation for relvalue expressions. Now just using a simple fixed sized buffer allocator that is reset at the end of each expression. Buffer size is adjusted depending whether the code is compiled for freestanding. check-in: 6c4fb9cbfd user: andrewm tags: trunk | |
|
2026-03-29
| ||
| 17:51 | Checkpoint. Some clean up in associations and generalizations in preparation for adding domain services for relationships. check-in: 4345481fde user: andrewm tags: trunk | |
|
2026-03-28
| ||
| 17:22 | Documentation correction. check-in: 615ee8cc04 user: andrewm tags: trunk | |
| 17:05 | Checkpoint. Rationalized the interactions between domain, classes, and instances. Made concrete types to handle tuple identifiers, class instances, and domain instances. Bouncy button / blinky LED system now runs. check-in: 22aec28128 user: andrewm tags: trunk | |
|
2026-03-25
| ||
| 17:21 | Checkpoint. Button / LED system is functional. check-in: c473f22812 user: andrewm tags: trunk | |
|
2026-03-24
| ||
| 16:58 | Checkpoint. Bouncy button / blinky LED example now functional under linux. check-in: a47f618f45 user: andrewm tags: trunk | |
|
2026-03-21
| ||
| 17:09 | Checkpoint. Completed first cut at all the delayed event code for both ReSEE and posix. check-in: e0aad94714 user: andrewm tags: trunk | |
|
2026-03-19
| ||
| 17:21 | Checkpoint. Upgraded to 0.16.0-dev.2915+065c6e794. Compiler not segfaults when building Cortex target code. Native code still works. check-in: 1ac3aaff00 user: andrewm tags: trunk | |