aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dune (follow)
Commit message (Expand)AuthorAgeFilesLines
* Link against RNT directly, rather than `dlopen`ing at runtimeEstevan Castilho2026-05-281-1/+2
* Multigroup unified reference for hierarchical accessMarcos Magueta2026-05-111-1/+3
* Foreign call PRL (#67)Marcos Magueta2026-04-271-0/+2
* Prototype for configurationMarcos Magueta2026-04-221-0/+1
* remove interop with cMarcos Magueta2026-04-041-28/+2
* formatMarcos Magueta2026-04-031-0/+1
* Polarity walker, constraint and manipulation refactor with batteriesMarcos Magueta2026-04-031-0/+1
* encode relations on module baseMarcos Magueta2026-03-061-3/+2
* ocaml re-migrationMarcos Magueta2026-03-051-0/+40
* migrating to erlang to attach to mnesiaMarcos Magueta2025-11-111-28/+0
* State of the world with Merkle Tree composition of files (#2)Marcos Magueta2024-10-271-4/+3
* Basic storage with C interop (#1)Marcos Magueta2024-10-261-29/+27
* dune build with foreign stubsMarcos Magueta2024-10-161-8/+29
* dune environment vars with flake and C++ interop with stubsMarcos Magueta2024-10-161-1/+9
* bootstrap project with flake and duneMarcos Magueta2024-10-161-0/+2
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 08:10:32 +0000