aboutsummaryrefslogtreecommitdiffstats
path: root/test/test_relational_engine.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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-051-0/+0
* migrating to erlang to attach to mnesiaMarcos Magueta2025-11-111-8/+0
* State of the world with Merkle Tree composition of files (#2)Marcos Magueta2024-10-271-0/+8
* bootstrap project with flake and duneMarcos Magueta2024-10-161-0/+0
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 10:58:28 +0000