aboutsummaryrefslogtreecommitdiffstats
path: root/lib/drl/executor.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* `Project` plan nodeEstevan Castilho2026-05-301-2/+6
* Improve the error handling situation (#71)Estevan Castilho2026-05-271-24/+13
* RNT interfaceMarcos Magueta2026-05-181-61/+52
* Multigroup unified reference for hierarchical accessMarcos Magueta2026-05-111-6/+6
* FormatMarcos Magueta2026-04-271-14/+10
* Foreign call PRL (#67)Marcos Magueta2026-04-271-17/+22
* formatMarcos Magueta2026-04-031-50/+50
* Sublanguages improvement & Coq experiment (#53)Marcos Magueta2026-03-221-1/+10
* dml and dclMarcos Magueta2026-03-081-6/+1
* wip: drl executorMarcos Magueta2026-03-071-0/+70