aboutsummaryrefslogtreecommitdiffstats
path: root/flake.nix (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Polarity walker, constraint and manipulation refactor with batteriesMarcos Magueta2026-04-031-0/+5
|
* Sublanguages improvement & Coq experiment (#53)Marcos Magueta2026-03-221-0/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | * separation and functor for sublanguages * add coq experiment for termination * fix tests with envelopes * add timestamp and print responses to server on terminal * remove coq experiment for trivial cases and rework gate * refactor nesting with let* * remove non-envelope sublang support and tests on server * manip_err duplication purge and better format as s-expr * abstract storage with dispatch for sublanguages * dead code and minor refactor due to old non-envelope parsing on subl * refactor server to use proper dml alg error and wire ephem relations * remove (schema) * change .gitignore to blacklist folders
* erlang port commands and generated testsMarcos Magueta2026-03-071-1/+1
|
* ocaml re-migrationMarcos Magueta2026-03-051-66/+279
|
* Fix comparison relation order, rebranding & roadmap (#50)Marcos Magueta2026-02-061-3/+3
|
* #37 ADD Rebar3 Release and other minor refactors (#38)Marcos Benevides2025-12-071-22/+33
|
* #24 ADD Pure nix builds (#36)pebble2025-12-071-39/+48
| | | * #24 ADD Pure nix builds
* #32 REFACTOR Nix setup (#33)Marcos Benevides2025-12-041-29/+55
|
* migrating to erlang to attach to mnesiaMarcos Magueta2025-11-111-260/+26
|
* CI workflows and flake update (#3)Marcos Magueta2024-11-021-1/+1
|
* State of the world with Merkle Tree composition of files (#2)Marcos Magueta2024-10-271-126/+140
| | | | | | | | | | | | | | | | | * file state hash calculation with history on replace and insert * add state transitions with linear hashing * add test * format dune files * nix format * delete shared flake * disable fmt check on flake * add nix formatter to flake shell
* Basic storage with C interop (#1)Marcos Magueta2024-10-261-4/+23
| | | | | | | | | | | | | | | | | | | | | | | | | * writer command design * dune build with shared core lib * port c lib project inside ocaml * os specific dynamic link * fix project name on flake * fix: cmake cxx version breaking merklecpp * finish write to disk and update maps func * add non atomic commit to transaction graph * merkle tree binding for generating root hash * disk module refactor --------- Co-authored-by: Renan Lopes <renans.l@icloud.com>
* cmake for c devMarcos Magueta2024-10-161-0/+2
|
* dune build with foreign stubsMarcos Magueta2024-10-161-2/+7
|
* dune environment vars with flake and C++ interop with stubsMarcos Magueta2024-10-161-16/+29
|
* bootstrap project with flake and duneMarcos Magueta2024-10-161-0/+217
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 05:59:40 +0000