| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | FOL test with program instantiationrelation-bipartite-registration | Marcos Magueta | 2026-10-02 | 1 | -1/+93 |
| * | ephemeral relations as outputs of FOL and program overhaul | Marcos Magueta | 2026-09-26 | 2 | -164/+94 |
| * | dune fmt | Marcos Magueta | 2026-09-25 | 2 | -33/+21 |
| * | fix tests | Marcos Magueta | 2026-09-23 | 2 | -8/+4 |
| * | make substantial relation use merkle.interface | Marcos Magueta | 2026-09-18 | 2 | -4/+2 |
| * | substantial relation context removal and test fix | Marcos Magueta | 2026-09-18 | 1 | -4/+9 |
| * | fix lambda test and execute | Marcos Magueta | 2026-09-18 | 1 | -5/+13 |
| * | lambda latin | Marcos Magueta | 2026-09-13 | 1 | -0/+142 |
| * | fol evaluator | Marcos Magueta | 2026-09-13 | 1 | -0/+71 |
 |
index : RNT | |
| git repositories |
| aboutsummaryrefslogtreecommitdiffstats |