aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dml/executor.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* FormatMarcos Magueta2026-06-231-97/+75
* RNT ephemeral relations representationMarcos Magueta2026-06-221-1/+86
* Improve the error handling situation (#71)Estevan Castilho2026-05-271-48/+28
* RNT interfaceMarcos Magueta2026-05-181-88/+136
* Multigroup unified reference for hierarchical accessMarcos Magueta2026-05-111-14/+14
* FormatMarcos Magueta2026-04-271-6/+10
* Introduce Multigroups (#65)Marcos Magueta2026-04-271-6/+10
* New Server & Manipulation refactorMarcos Magueta2026-04-201-8/+6
* formatMarcos Magueta2026-04-031-71/+85
* Sublanguages improvement & Coq experiment (#53)Marcos Magueta2026-03-221-69/+81
* dml and dclMarcos Magueta2026-03-081-0/+105
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 03:12:09 +0000