aboutsummaryrefslogtreecommitdiffstats
path: root/dune-project (follow)
Commit message (Expand)AuthorAgeFilesLines
* add partition and debuggerMarcos Magueta2025-02-271-0/+1
* Basic storage with C interop (#1)Marcos Magueta2024-10-261-1/+1
* dune build with foreign stubsMarcos Magueta2024-10-161-0/+2
* bootstrap project with flake and duneMarcos Magueta2024-10-161-0/+26