aboutsummaryrefslogtreecommitdiffstats
path: root/test (unfollow)
Commit message (Expand)AuthorFilesLines
2026-04-27FormatMarcos Magueta1-280/+107
2026-04-27Foreign call PRL (#67)Marcos Magueta1-0/+70
2026-04-20New Server & Manipulation refactorMarcos Magueta1-318/+320
2026-04-04remove interop with cMarcos Magueta1-1/+1
2026-04-03formatMarcos Magueta1-2481/+3461
2026-04-03Polarity walker, constraint and manipulation refactor with batteriesMarcos Magueta1-2/+2
2026-03-23Constraint walker and polarity analysisMarcos Magueta1-81/+756
2026-03-22Sublanguages improvement & Coq experiment (#53)Marcos Magueta1-33/+33
2026-03-14Branching and naïve merge strategiesMarcos Magueta1-25/+271
2026-03-08dml and dclMarcos Magueta1-0/+300
2026-03-08constraintsMarcos Magueta1-1/+1035
2026-03-07wip: drl executorMarcos Magueta1-0/+308
2026-03-07catalogMarcos Magueta1-23/+192
2026-03-07erlang port commands and generated testsMarcos Magueta1-0/+875
2026-03-05ocaml re-migrationMarcos Magueta2-0/+6
2026-03-04generalize constraints in membership with quantificationMarcos Magueta1-52/+0
2026-03-032OP Constraints and manipulationMarcos Magueta1-0/+52
2025-12-14Ephemeral relations, Refactor & Cleanup (#34)Marcos Magueta6-1717/+0
2025-12-04Infinite domains and membership rework (#22)Marcos Magueta5-114/+77
2025-11-24Joins with provenance and lineage (#11)Marcos Magueta4-33/+758
2025-11-22Infinite relations (#10)Marcos Magueta3-0/+676
2025-11-22Retract tuple, relation and clear relation (truncate) (#9)Marcos Magueta1-0/+353
2025-11-11migrating to erlang to attach to mnesiaMarcos Magueta2-14/+0
2024-10-27State of the world with Merkle Tree composition of files (#2)Marcos Magueta2-2/+14
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 11:23:51 +0000