Code to Models

Timeline
Login

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

50 most recent check-ins

2025-06-09
17:13
Checkpoint. Rearranged association adjacency matrices to accept type information for the participating relation variables. This results in a more consistent interface throughout. Leaf check-in: ce77acf770 user: andrewm tags: domain-rework
2025-06-08
17:34
Checkpoint. Relational class unit tests are now passing. Working on Association tests. check-in: ef8a76f078 user: andrewm tags: domain-rework
2025-06-07
12:50
Checkpoint. Generalization adjacency matrices are back working with all their test cases. check-in: b9aa46bfea user: andrewm tags: domain-rework
2025-06-06
18:02
Added native unit test for binary relations. It was somehow missing. check-in: e59b006768 user: andrewm tags: domain-rework
16:35
Checkpoint. Extensive rework for relvars and binary relations. These are the type functions for both produce namespace structs. These type are then instantiated into memory objects of 0 size and used like any other variable. This approach removes many complications compared to using just the raw namespace types themselves. More work remains on generalizations. check-in: 37f454a6da user: andrewm tags: domain-rework
2025-06-02
16:54
Continuing work on domain. Working through relational class join points to report create, destroy, etc. check-in: 82c8d38df4 user: andrewm tags: domain-rework
2025-06-01
14:01
Checkpoint. Name changes and better structure between relational classes and relational variables. check-in: f027b8a94b user: andrewm tags: domain-rework
2025-05-30
16:42
Checkpoint. Exploring idea of creating all the classes, associations, and generalizations from comptime arguments to the Domain type function. check-in: 9ff95f0c49 user: andrewm tags: domain-rework
2025-05-27
17:42
Checkpoint. Continuing work on domain level processing. check-in: 9c4b7604d5 user: andrewm tags: domain-rework
2025-05-26
17:03
Removed the tagged catalog from the generalization adjacency matrix. Turns out that an EnumArray whose values are *const type works just fine. In other words, it is not necessary to create a tagged union of namespace types just to hold pointers to them. check-in: 7874e2d432 user: andrewm tags: domain-rework
16:18
Checkpoint. Rework done on generalizations to adapt to new generalization adjacency matrix interfaces. check-in: 24cedc21ab user: andrewm tags: domain-rework
2025-05-25
17:26
Checkpoint. Many function name changes and more to come. Finished testing for generalization adjacency matrices. Relation class generalization fails unit tests and needs rework to accommodate the adjacency matrix changes. check-in: 6c2ad77c80 user: andrewm tags: domain-rework
2025-05-24
17:32
Checkpoint. Finishing testing on generalization adjacency matrices. check-in: 5ead70e666 user: andrewm tags: domain-rework
2025-05-23
17:18
Checkpoint. Continuing work on generalization adjacency matrices. Overcame most of the problems using a tagged catalog to hold the various associations for the domain partitions. check-in: 55b7c6bc11 user: andrewm tags: domain-rework
2025-05-21
17:15
Continuing work on generalization adjacency matrices. Bringing them up to the same design concepts as for association adjacency matrices. check-in: cfe95893eb user: andrewm tags: domain-rework
2025-05-20
16:55
Backed out and cleaned up attempts to make association traversal be ignorant of the domain or codomain direction. There's some deep polymorphism that may be required, but haven't figured it out yet. Turning attentions to get generalizations back working. check-in: f3fee4149d user: andrewm tags: domain-rework
13:32
Checkpoint. Heading in a new direction. Intend to make TupleSet a polymorphically dispatched interface. check-in: 7a68b09799 user: andrewm tags: domain-rework
2025-05-18
17:31
Continuing work on associations. Adding functions that can be used without keeping track of whic instance is from the domain and which is from the codomain. check-in: 348a4bac01 user: andrewm tags: domain-rework
2025-05-17
17:00
Checkpoint. Reworking association code to accommodate other changes. check-in: 7c84d6a1b6 user: andrewm tags: domain-rework
11:10
Checkpoint. Relvar, class and state models working in the new regime. Association matrices need substantial rework. check-in: cdda6aeee8 user: andrewm tags: domain-rework
2025-05-16
17:56
Copy edit. check-in: 3d0fdc343c user: andrewm tags: domain-rework
17:12
Checkpoint. Finished relvar rework. Now propagating changes though the RelClass code. check-in: d7867fdef6 user: andrewm tags: domain-rework
12:00
Checkpoint. Reworking relvar to move tuple set functions into a type. check-in: 51ba5d18af user: andrewm tags: domain-rework
2025-05-15
14:44
Starting work on domain level code on a new branch. This branch will include experiments to implement the +--1 association between domains and classes and relationships. Also going to attempt relvar rework to make clearer the 1--1 association between relvars and relclasses. check-in: c63718cbfe user: andrewm tags: domain-rework
2025-05-11
13:08
Changes to accommodate zig version 0.15.0-dev.483+837e0f9c3 Leaf check-in: da441bd12f user: andrewm tags: trunk
2025-05-10
17:26
Checkpoint. Preparing for release of the assigner state model sections. check-in: 6687e6dc29 user: andrewm tags: trunk
2025-05-09
16:54
Checkpoint. More copy editing and code scrubbing. check-in: 54b88fc4e5 user: andrewm tags: trunk
2025-05-08
17:29
Copy editing and code scrubbing on the assigner state model section. check-in: 06be0b5334 user: andrewm tags: trunk
2025-05-07
20:06
Copy editing. check-in: f1811ce62f user: andrewm tags: trunk
17:51
Completing work on assigner state model tests. Changed some function interfaces for better egonomics. check-in: 5140204b45 user: andrewm tags: trunk
2025-05-05
17:08
Finishing up multiple assigner tests. check-in: 9fea528af2 user: andrewm tags: trunk
2025-05-04
17:20
Checkpoint. Still working on multiple assigner. check-in: 222451b27f user: andrewm tags: trunk
2025-05-03
17:34
Checkpoint. Continuing work on multiple assigners. check-in: a4e62f752a user: andrewm tags: trunk
2025-05-01
16:54
Minor correction. check-in: 7a9e7dacbb user: andrewm tags: trunk
16:52
Copy editing and continuing work on assigner state models. check-in: 0b8f623a80 user: andrewm tags: trunk
2025-04-29
17:28
Checkpoint. Reworked some of the comptime validation code used with RelVar's to use EnumSet as a way of reasoning about identifiers. Cleaned up some of the function names for RelClass's to better reflect their RelVar counterparts. check-in: b09b5950cf user: andrewm tags: trunk
2025-04-28
17:14
Reorganizing state model and assigner code. check-in: 1bf0dfb38c user: andrewm tags: trunk
10:31
Copy editing and code scrubbing. check-in: 07ea930b5f user: andrewm tags: trunk
2025-04-27
15:21
Added missing source file. check-in: f54269e83e user: andrewm tags: trunk
15:20
Checkpoint. Cleaned up names of some of the specialized selection functions. Added a limit function for InstanceSet to return specific count of tuples in the set. check-in: 056bce6e61 user: andrewm tags: trunk
2025-04-26
17:09
Checkpoint. Refining the printout of state model test output. check-in: 77f9839eb7 user: andrewm tags: trunk
16:25
Checkpoint. Many changes: (1) For relvars, improved the way initial instance populations are handled. Initial instances now use an enum literal to identify them for later use. (2) For classes, expanded the way an instance can be selected. (3) For associations, can now specify a set of initiallly related instances from the initial instance population. Integrated assigner state models into associations. check-in: c95da94011 user: andrewm tags: trunk
2025-04-24
17:06
Cleaned up generation counter. Now that is a separate counter for each tuple in a relvar. Added functions to improve the ergonomics of dealing with class generated identifiers and being able to relate in association initial instance populations using the generated identifier. check-in: 6e7e96baea user: andrewm tags: trunk
2025-04-22
17:15
Checkpoint. Changed the interface to selectByIdentifier to accept a tuple. The previous interface worked only at compile time. Added relateBySelection() function to support building up a set of association instances at initialization time. Finished multi-assigner state model. Began the process of integrating assigners into the association code. check-in: b8b96e8065 user: andrewm tags: trunk
2025-04-20
16:42
Checkpoint. Continuing work on assigners. check-in: a99451d5be user: andrewm tags: trunk
2025-04-18
10:22
Clean up some name changes for the state model unit tests. Also encountered the problem with dblatex generating an error on some inputs that are in code sections. In this case it was a test and after some fiddling it turned out to require deleting a blank line to satisfy dblatex. Very strange indeed. check-in: 38e8bf68cc user: andrewm tags: trunk
2025-04-17
15:59
Changing function names. check-in: 7620279a79 user: andrewm tags: trunk
14:36
Reworked some of the association test cases to use the initial population of a relational class to set up the test. Changed relvalue algebra operations to take a "*const Self" method argument in anticipation of the location optimization going away. check-in: 15e218d46e user: andrewm tags: trunk
2025-04-16
17:23
Addition state model clean up and argument validation. check-in: 7935c30c1c user: andrewm tags: trunk
2025-04-15
16:17
Completed work on state models for relational classes. Released as version 4.0.0. check-in: bb58488f6c user: andrewm tags: trunk, ctom-version-4.0.0