Sakura/lib/dune, branch rnt-integrationnew shrunk API for RNT on sakura2026-09-27T01:09:11+00:00Marcos Maguetamaguetamarcos@gmail.com2026-09-27T01:09:11+00:00320954996e921d7b34eb61f462799b5c6ab8ee09
further deletions on drl and prelude2026-09-26T18:35:39+00:00Marcos Maguetamaguetamarcos@gmail.com2026-09-26T18:35:39+00:00b555c28c7e6c315fc0394baf213ecb08b21ed959
Link against RNT directly, rather than `dlopen`ing at runtime2026-05-28T01:15:11+00:00Estevan Castilhotevo@riajuu.net2026-05-28T00:31:11+00:001378202e6b0b51d7d338a1042824860f19fcbc9b
Multigroup unified reference for hierarchical access2026-05-12T02:10:27+00:00Marcos Maguetamaguetamarcos@gmail.com2026-05-12T02:10:27+00:00e3d3e20dfea253de291d5b31059cd55c0eaabf02
Foreign call PRL (#67)2026-04-28T02:24:19+00:00Marcos Maguetamaguetamarcos@gmail.com2026-04-28T02:24:19+00:0097960adb8426e5270fe16b027e82a2c61674f821
Prototype for configuration2026-04-23T01:46:41+00:00Marcos Maguetamaguetamarcos@gmail.com2026-04-23T01:46:41+00:0029e00769046cbc8cd020b2b7c47448d89f21ab39
remove interop with c2026-04-04T20:10:32+00:00Marcos Maguetamaguetamarcos@gmail.com2026-04-04T20:10:32+00:00d3708bb28adcd0220142f1890ab96bfd2df637d3
Polarity walker, constraint and manipulation refactor with batteries2026-04-03T19:04:05+00:00Marcos Maguetamaguetamarcos@gmail.com2026-04-03T19:04:05+00:00c5bc3a4992b4968780c286a084ad7c02b2b58f1e
encode relations on module base2026-03-06T07:10:31+00:00Marcos Maguetamaguetamarcos@gmail.com2026-03-06T07:10:31+00:005bbbbc976d25859082014f3720b82bcd2d05a2f0