| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | admission protocol for multigroup denial checks | Marcos Magueta | 2026-10-09 | 1 | -0/+5 |
| | | |||||
| * | dune fmt | Marcos Magueta | 2026-09-25 | 1 | -15/+11 |
| | | |||||
| * | appropriate enumeration for tuple split on object and resident | Marcos Magueta | 2026-09-13 | 1 | -0/+45 |
| | | |||||
| * | rework on tuple non resident object with schematics as protocol | Marcos Magueta | 2026-09-13 | 1 | -89/+0 |
| | | |||||
| * | tuple concept based atop of maps for attributes | Marcos Magueta | 2026-09-11 | 1 | -0/+89 |
| | | |||||
| * | Tidy up | Estevan Castilho | 2026-08-23 | 1 | -48/+0 |
| | | |||||
| * | architecture diagram on CI | Marcos Magueta | 2026-07-21 | 1 | -0/+2 |
| | | |||||
| * | FOL: First Order Logic Execution Engine | Marcos Magueta | 2026-07-11 | 1 | -0/+46 |
| Co-authored-by: Estevan Castilho <tevo@riajuu.net> | |||||
 |
index : RNT | |
| git repositories |
| aboutsummaryrefslogtreecommitdiffstats |