aboutsummaryrefslogtreecommitdiffstats
path: root/lib/configuration.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* listener working under RNT with a minimal drlMarcos Magueta2026-09-261-17/+12
* new shrunk API for RNT on sakuraMarcos Magueta2026-09-261-10/+16
* FormatMarcos Magueta2026-06-231-51/+53
* Improve the error handling situation (#71)Estevan Castilho2026-05-271-21/+44
* FormatMarcos Magueta2026-04-271-2/+4
* Prototype for configurationMarcos Magueta2026-04-221-0/+84