aboutsummaryrefslogtreecommitdiffstats
path: root/test/test_relational_engine.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Some scaffolding for sublanguage tests (#72)Estevan Castilho2026-05-301-4486/+0
* Multigroup unified reference for hierarchical accessMarcos Magueta2026-05-111-121/+121
* 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-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 02:47:19 +0000