aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* lack of provenance on shadowing of tuple merge quantification fixMarcos Magueta2026-03-113-2/+708
* relational algebra docsMarcos Magueta2026-03-101-0/+191
* defenestrate jsonMarcos Magueta2026-03-095-71/+95
* format todos and comment improvementMarcos Magueta2026-03-086-238/+89
* serverMarcos Magueta2026-03-085-18/+290
* dml and dclMarcos Magueta2026-03-089-6/+530
* constraintsMarcos Magueta2026-03-089-61/+2417
* wip: drl executorMarcos Magueta2026-03-075-0/+641
* catalogMarcos Magueta2026-03-073-139/+652
* domainsMarcos Magueta2026-03-073-5/+153
* erlang port commands and generated testsMarcos Magueta2026-03-0714-29/+2236
* wip: docs updateMarcos Magueta2026-03-066-107/+190
* wip: physicalMarcos Magueta2026-03-064-8/+36
* use magic to cast types to opaque attributesMarcos Magueta2026-03-065-40/+26
* encode relations on module baseMarcos Magueta2026-03-0611-74/+165
* relation typeMarcos Magueta2026-03-066-9/+124
* ocaml re-migrationMarcos Magueta2026-03-0574-8866/+761
* delete xml serverMarcos Magueta2026-03-042-540/+0
* generalize constraints in membership with quantificationMarcos Magueta2026-03-045-1023/+494
* 2OP Constraints and manipulationMarcos Magueta2026-03-034-61/+777
* Fix comparison relation order, rebranding & roadmap (#50)Marcos Magueta2026-02-069-172/+411
* Refactor constraint system (#49)Marcos Magueta2026-01-035-418/+334
* 1OPs, bound context and domain constraints (#46)Marcos Magueta2025-12-315-34/+1466
* Ephemeral relations, Refactor & Cleanup (#34)Marcos Magueta2025-12-1418-2294/+924
* #37 ADD Rebar3 Release and other minor refactors (#38)Marcos Benevides2025-12-079-27/+250
* #24 ADD Pure nix builds (#36)pebble2025-12-073-43/+57
* #32 REFACTOR Nix setup (#33)Marcos Benevides2025-12-043-30/+134
* Infinite domains and membership rework (#22)Marcos Magueta2025-12-0413-530/+433
* #21 FIX made the problematic line conditional to avoid 404 error code (#23)pebble2025-12-031-31/+47
* Diagrams (#18)Marcos Magueta2025-12-0118-0/+1507
* XML Server (#16)Marcos Magueta2025-11-283-1/+541
* Pseudo-REPL and sketch planner (#12)Marcos Magueta2025-11-255-4/+1066
* Joins with provenance and lineage (#11)Marcos Magueta2025-11-248-66/+1376
* Infinite relations (#10)Marcos Magueta2025-11-228-21/+2187
* Retract tuple, relation and clear relation (truncate) (#9)Marcos Magueta2025-11-2210-127/+1540
* Versioning sketch with actor model lazy iterators (#8)Marcos Magueta2025-11-203-13/+290
* proof of concept of the volcano model with processesMarcos Magueta2025-11-121-0/+167
* fix startup crashMarcos Magueta2025-11-123-6/+26
* migrating to erlang to attach to mnesiaMarcos Magueta2025-11-1133-963/+304
* CI workflows and flake update (#3)Marcos Magueta2024-11-024-7/+36
* State of the world with Merkle Tree composition of files (#2)Marcos Magueta2024-10-2715-186/+290
* Basic storage with C interop (#1)Marcos Magueta2024-10-2619-60/+443
* cmake for c devMarcos Magueta2024-10-162-0/+18
* dune build with foreign stubsMarcos Magueta2024-10-163-10/+38
* dune environment vars with flake and C++ interop with stubsMarcos Magueta2024-10-1610-24/+105
* bootstrap project with flake and duneMarcos Magueta2024-10-169-0/+356
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 09:08:40 +0000