aboutsummaryrefslogtreecommitdiffstats
path: root/flake.lock (unfollow)
Commit message (Expand)AuthorFilesLines
2026-06-06Bump `RNT` to a version including the new unified planner interfaceEstevan Castilho1-4/+4
2026-05-18RNT interfaceMarcos Magueta1-3/+42
2026-03-05ocaml re-migrationMarcos Magueta1-54/+35
2025-12-07#24 ADD Pure nix builds (#36)pebble1-3/+3
2025-12-04#32 REFACTOR Nix setup (#33)Marcos Benevides1-1/+70
2025-11-11migrating to erlang to attach to mnesiaMarcos Magueta1-55/+5
2024-11-02CI workflows and flake update (#3)Marcos Magueta1-6/+6
2024-10-16dune environment vars with flake and C++ interop with stubsMarcos Magueta1-6/+10