RNT/lib/kernel, branch constraintstests for the constraint system2026-09-25T00:27:45+00:00Marcos Maguetamaguetamarcos@gmail.com2026-09-21T01:01:52+00:00b69e62775b6e390b15105ce5af76961f3a38ce14
constraint system from decker2026-09-25T00:27:41+00:00Marcos Maguetamaguetamarcos@gmail.com2026-09-21T00:39:41+00:0055bac460c1a366c9e85c69287936af69a864c3b5
remove dead API2026-09-23T06:35:36+00:00Marcos Maguetamaguetamarcos@gmail.com2026-09-23T06:35:36+00:0028c55a730d9a0a19a62d85c166dc879aebd7b772
lift retaining, membership and mode checks out of ephemeral relation2026-09-23T06:32:15+00:00Marcos Maguetamaguetamarcos@gmail.com2026-09-23T06:32:15+00:00882511dc8c0abded18ba6abdca64938db2652771
refactor ephemeral and subs relations2026-09-23T06:23:40+00:00Marcos Maguetamaguetamarcos@gmail.com2026-09-23T06:23:40+00:00b4422c99e10a8daee452b22aea84cb1f68ae54bc
make subst relation carry the modes instead of build on every call2026-09-23T06:01:40+00:00Marcos Maguetamaguetamarcos@gmail.com2026-09-23T06:01:40+00:00f88aeff9f7a673e945484a31fbcaed647bb3d2fa
release edges on mode failure2026-09-23T05:55:02+00:00Marcos Maguetamaguetamarcos@gmail.com2026-09-23T05:55:02+00:0051980807ec189732c8fcfa7b37855f29a2630559
stop treating tuple as a partial bind and consider type2026-09-23T05:53:18+00:00Marcos Maguetamaguetamarcos@gmail.com2026-09-23T05:53:18+00:006663c20f3cd07a4ce8ff76453baa03e5b9ef6f6e
generate and contains ignoring declared enumeration mode2026-09-23T05:51:31+00:00Marcos Maguetamaguetamarcos@gmail.com2026-09-23T05:51:31+00:0071e0bb9ffe0a049bf69296d3a6719e8956752014