| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | check tuples against the heading before storing | Marcos Magueta | 5 days | 1 | -9/+13 |
| * | update tests and add beam tests | Marcos Magueta | 5 days | 1 | -1/+62 |
| * | relation scan with enumerable and release | Marcos Magueta | 2026-10-12 | 1 | -5/+3 |
| * | ephemeral relations as outputs of FOL and program overhaul | Marcos Magueta | 2026-09-26 | 1 | -22/+32 |
| * | dune fmt | Marcos Magueta | 2026-09-25 | 1 | -7/+5 |
| * | make substantial relation use merkle.interface | Marcos Magueta | 2026-09-18 | 1 | -4/+3 |
| * | fol evaluator | Marcos Magueta | 2026-09-13 | 1 | -20/+31 |
| * | appropriate enumeration for tuple split on object and resident | Marcos Magueta | 2026-09-13 | 1 | -1/+1 |
| * | Substantial relation kernel object | Marcos Magueta | 2026-09-03 | 1 | -0/+44 |
 |
index : RNT | |
| git repositories |
| aboutsummaryrefslogtreecommitdiffstats |