aboutsummaryrefslogtreecommitdiffstats
path: root/lib/drl/executor.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2026-05-27Improve the error handling situation (#71)Estevan Castilho1-24/+13
2026-05-18RNT interfaceMarcos Magueta1-61/+52
2026-05-11Multigroup unified reference for hierarchical accessMarcos Magueta1-6/+6
2026-04-27FormatMarcos Magueta1-14/+10
2026-04-27Foreign call PRL (#67)Marcos Magueta1-17/+22
2026-04-03formatMarcos Magueta1-50/+50
2026-03-22Sublanguages improvement & Coq experiment (#53)Marcos Magueta1-1/+10
2026-03-08dml and dclMarcos Magueta1-6/+1
2026-03-07wip: drl executorMarcos Magueta1-0/+70