aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dml/executor.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2026-06-22RNT ephemeral relations representationMarcos Magueta1-1/+86
2026-05-27Improve the error handling situation (#71)Estevan Castilho1-48/+28
2026-05-18RNT interfaceMarcos Magueta1-88/+136
2026-05-11Multigroup unified reference for hierarchical accessMarcos Magueta1-14/+14
2026-04-27FormatMarcos Magueta1-6/+10
2026-04-27Introduce Multigroups (#65)Marcos Magueta1-6/+10
2026-04-20New Server & Manipulation refactorMarcos Magueta1-8/+6
2026-04-03formatMarcos Magueta1-71/+85
2026-03-22Sublanguages improvement & Coq experiment (#53)Marcos Magueta1-69/+81
2026-03-08dml and dclMarcos Magueta1-0/+105