aboutsummaryrefslogtreecommitdiffstats
path: root/lib/drl (follow)
Commit message (Expand)AuthorAgeFilesLines
* `Project` plan nodeEstevan Castilho2026-06-131-2/+6
* Improve the error handling situation (#71)Estevan Castilho2026-05-273-34/+20
* RNT interfaceMarcos Magueta2026-05-182-70/+55
* Multigroup unified reference for hierarchical accessMarcos Magueta2026-05-113-91/+9
* FormatMarcos Magueta2026-04-271-14/+10
* Foreign call PRL (#67)Marcos Magueta2026-04-271-17/+22
* Add build deps and sublanguage directory struct for duneMarcos Magueta2026-04-231-1/+1
* Prototype for configurationMarcos Magueta2026-04-221-0/+2
* formatMarcos Magueta2026-04-035-124/+116
* Sublanguages improvement & Coq experiment (#53)Marcos Magueta2026-03-224-1/+123
* dml and dclMarcos Magueta2026-03-082-6/+8
* wip: drl executorMarcos Magueta2026-03-073-0/+104