aboutsummaryrefslogtreecommitdiffstats
path: root/test (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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 09:26:40 +0000