aboutsummaryrefslogtreecommitdiffstats
path: root/test (follow)
Commit message (Expand)AuthorAgeFilesLines
* Scaffolding for a test suitedrl-plan-opsEstevan Castilho2026-05-303-4492/+113
* Multigroup unified reference for hierarchical accessMarcos Magueta2026-05-112-127/+127
* FormatMarcos Magueta2026-04-271-280/+107
* Foreign call PRL (#67)Marcos Magueta2026-04-271-0/+70
* New Server & Manipulation refactorMarcos Magueta2026-04-201-318/+320
* remove interop with cMarcos Magueta2026-04-041-1/+1
* formatMarcos Magueta2026-04-031-2481/+3461
* Polarity walker, constraint and manipulation refactor with batteriesMarcos Magueta2026-04-031-2/+2
* Constraint walker and polarity analysisMarcos Magueta2026-03-231-81/+756
* Sublanguages improvement & Coq experiment (#53)Marcos Magueta2026-03-221-33/+33
* Branching and naïve merge strategiesMarcos Magueta2026-03-141-25/+271
* dml and dclMarcos Magueta2026-03-081-0/+300
* constraintsMarcos Magueta2026-03-081-1/+1035
* wip: drl executorMarcos Magueta2026-03-071-0/+308
* catalogMarcos Magueta2026-03-071-23/+192
* erlang port commands and generated testsMarcos Magueta2026-03-071-0/+875
* ocaml re-migrationMarcos Magueta2026-03-052-0/+6
* generalize constraints in membership with quantificationMarcos Magueta2026-03-041-52/+0
* 2OP Constraints and manipulationMarcos Magueta2026-03-031-0/+52
* Ephemeral relations, Refactor & Cleanup (#34)Marcos Magueta2025-12-146-1717/+0
* Infinite domains and membership rework (#22)Marcos Magueta2025-12-045-114/+77
* Joins with provenance and lineage (#11)Marcos Magueta2025-11-244-33/+758
* Infinite relations (#10)Marcos Magueta2025-11-223-0/+676
* Retract tuple, relation and clear relation (truncate) (#9)Marcos Magueta2025-11-221-0/+353
* migrating to erlang to attach to mnesiaMarcos Magueta2025-11-112-14/+0
* State of the world with Merkle Tree composition of files (#2)Marcos Magueta2024-10-272-2/+14
* bootstrap project with flake and duneMarcos Magueta2024-10-162-0/+2
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 03:18:27 +0000