summaryrefslogtreecommitdiffstats
path: root/bin
Commit message (Expand)AuthorAgeFilesLines
* Add time measurement and ocamlformatAlexandre Jesus2025-12-012-2/+4
* Initial commitAlexandre Jesus2025-12-012-0/+51