aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dml (follow)
Commit message (Expand)AuthorAgeFilesLines
* RNT ephemeral relations representationMarcos Magueta2026-06-222-1/+94
* Improve the error handling situation (#71)Estevan Castilho2026-05-273-58/+35
* RNT interfaceMarcos Magueta2026-05-182-96/+141
* Multigroup unified reference for hierarchical accessMarcos Magueta2026-05-111-14/+14
* FormatMarcos Magueta2026-04-271-6/+10
* Foreign call PRL (#67)Marcos Magueta2026-04-271-1/+1
* Introduce Multigroups (#65)Marcos Magueta2026-04-271-6/+10
* Add build deps and sublanguage directory struct for duneMarcos Magueta2026-04-231-1/+1
* Prototype for configurationMarcos Magueta2026-04-221-0/+2
* New Server & Manipulation refactorMarcos Magueta2026-04-201-8/+6
* formatMarcos Magueta2026-04-034-87/+99
* Sublanguages improvement & Coq experiment (#53)Marcos Magueta2026-03-224-81/+112
* dml and dclMarcos Magueta2026-03-083-0/+136
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 03:53:12 +0000