| Commit message (Expand) | Author | Files | Lines | |
|---|---|---|---|---|
| 12 days | Formatting | Estevan Castilho | 1 | -6/+9 |
| 2026-10-12 | temporary handle instead of type description everywhere | Marcos Magueta | 1 | -2/+2 |
| 2026-10-12 | relation scan with enumerable and release | Marcos Magueta | 1 | -10/+3 |
| 2026-10-11 | tests and some pointer for program on ephemeral | Marcos Magueta | 1 | -96/+142 |
| 2026-10-08 | fix testsdrop-journal | Marcos Magueta | 1 | -5/+38 |
| 2026-10-02 | FOL test with program instantiationrelation-bipartite-registration | Marcos Magueta | 1 | -1/+93 |
| 2026-09-26 | ephemeral relations as outputs of FOL and program overhaul | Marcos Magueta | 1 | -25/+94 |
| 2026-09-25 | dune fmt | Marcos Magueta | 1 | -9/+6 |
| 2026-09-23 | fix tests | Marcos Magueta | 1 | -4/+2 |
| 2026-09-18 | make substantial relation use merkle.interface | Marcos Magueta | 1 | -3/+1 |
| 2026-09-18 | substantial relation context removal and test fix | Marcos Magueta | 1 | -4/+9 |
| 2026-09-13 | fol evaluator | Marcos Magueta | 1 | -0/+71 |
 |
index : RNT | |
| git repositories |
| aboutsummaryrefslogtreecommitdiffstats |