aboutsummaryrefslogtreecommitdiffstats
path: root/flake.nix (unfollow)
Commit message (Expand)AuthorFilesLines
2026-05-30Pull RNT from the `project-c-interface` branchtest-scaffoldingEstevan Castilho1-2/+2
2026-05-18RNT interfaceMarcos Magueta1-87/+19
2026-05-11Multigroup unified reference for hierarchical accessMarcos Magueta1-0/+8
2026-04-04remove interop with cMarcos Magueta1-41/+2
2026-04-03Polarity walker, constraint and manipulation refactor with batteriesMarcos Magueta1-0/+5
2026-03-22Sublanguages improvement & Coq experiment (#53)Marcos Magueta1-0/+4
2026-03-07erlang port commands and generated testsMarcos Magueta1-1/+1
2026-03-05ocaml re-migrationMarcos Magueta1-66/+279
2026-02-06Fix comparison relation order, rebranding & roadmap (#50)Marcos Magueta1-3/+3
2025-12-07#37 ADD Rebar3 Release and other minor refactors (#38)Marcos Benevides1-22/+33
2025-12-07#24 ADD Pure nix builds (#36)pebble1-39/+48
2025-12-04#32 REFACTOR Nix setup (#33)Marcos Benevides1-29/+55
2025-11-11migrating to erlang to attach to mnesiaMarcos Magueta1-260/+26
2024-11-02CI workflows and flake update (#3)Marcos Magueta1-1/+1
2024-10-27State of the world with Merkle Tree composition of files (#2)Marcos Magueta1-126/+140
2024-10-26Basic storage with C interop (#1)Marcos Magueta1-4/+23
2024-10-16cmake for c devMarcos Magueta1-0/+2
2024-10-16dune build with foreign stubsMarcos Magueta1-2/+7
2024-10-16dune environment vars with flake and C++ interop with stubsMarcos Magueta1-16/+29
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 15:23:39 +0000