aboutsummaryrefslogtreecommitdiffstats
path: root/bin/dune (unfollow)
Commit message (Expand)AuthorFilesLines
2026-04-03Polarity walker, constraint and manipulation refactor with batteriesMarcos Magueta1-6/+0
2026-03-23Constraint walker and polarity analysisMarcos Magueta1-0/+6
2026-03-08serverMarcos Magueta1-0/+6
2026-03-06relation typeMarcos Magueta1-1/+1
2026-03-05ocaml re-migrationMarcos Magueta1-0/+7
2025-11-11migrating to erlang to attach to mnesiaMarcos Magueta1-4/+0
2024-10-27State of the world with Merkle Tree composition of files (#2)Marcos Magueta1-1/+0
2024-10-16dune environment vars with flake and C++ interop with stubsMarcos Magueta1-0/+1