RNT/lib/kernel/EphemeralRelation.ml, branch constraintslift 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
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
appropriate enumeration for tuple split on object and resident2026-09-13T06:19:46+00:00Marcos Maguetamaguetamarcos@gmail.com2026-09-13T06:19:46+00:009b9eab0bb54ed951c56eb6551d9ee470dc5b43aa
ephemeral relation and generator at the kernel2026-09-11T04:10:28+00:00Marcos Maguetamaguetamarcos@gmail.com2026-09-10T03:20:27+00:00e3d42d5074be054c2f6a2e9f02805ab047f07db9