| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Branching and naïve merge strategies | Marcos Magueta | 2026-03-14 | 5 | -11/+240 |
| * | lack of provenance on shadowing of tuple merge quantification fix | Marcos Magueta | 2026-03-11 | 2 | -0/+686 |
| * | relational algebra docs | Marcos Magueta | 2026-03-10 | 1 | -0/+191 |
| * | constraints | Marcos Magueta | 2026-03-08 | 1 | -0/+403 |
| * | erlang port commands and generated tests | Marcos Magueta | 2026-03-07 | 1 | -0/+282 |
| * | wip: docs update | Marcos Magueta | 2026-03-06 | 4 | -84/+177 |
| * | ocaml re-migration | Marcos Magueta | 2026-03-05 | 25 | -2876/+84 |
| * | Fix comparison relation order, rebranding & roadmap (#50) | Marcos Magueta | 2026-02-06 | 1 | -0/+223 |
| * | 1OPs, bound context and domain constraints (#46) | Marcos Magueta | 2025-12-31 | 1 | -0/+97 |
| * | Diagrams (#18) | Marcos Magueta | 2025-12-01 | 18 | -0/+1507 |
| * | Joins with provenance and lineage (#11) | Marcos Magueta | 2025-11-24 | 1 | -7/+165 |
| * | Infinite relations (#10) | Marcos Magueta | 2025-11-22 | 1 | -0/+348 |
| * | Retract tuple, relation and clear relation (truncate) (#9) | Marcos Magueta | 2025-11-22 | 2 | -65/+512 |
| * | migrating to erlang to attach to mnesia | Marcos Magueta | 2025-11-11 | 2 | -72/+96 |
| * | Basic storage with C interop (#1) | Marcos Magueta | 2024-10-26 | 1 | -0/+72 |
