aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dune (unfollow)
Commit message (Expand)AuthorFilesLines
2025-07-02implement join and fix serializationMarcos Magueta1-1/+2
2025-01-19cleanup and formatMarcos Magueta1-2/+10
2024-11-26send XML through socketsMarcos Magueta1-2/+2
2024-11-25socket serverMarcos Magueta1-1/+1
2024-11-25lwt socket serverMarcos Magueta1-1/+1
2024-11-24relation buildingMarcos Magueta1-1/+1
2024-11-24write and read from diskMarcos Magueta1-0/+1
2024-10-27State of the world with Merkle Tree composition of files (#2)Marcos Magueta1-4/+3
2024-10-26Basic storage with C interop (#1)Marcos Magueta1-29/+27
2024-10-16dune build with foreign stubsMarcos Magueta1-8/+29
2024-10-16dune environment vars with flake and C++ interop with stubsMarcos Magueta1-1/+9