aboutsummaryrefslogtreecommitdiff
path: root/.gitignore (unfollow)
Commit message (Expand)AuthorFilesLines
2023-10-31Small change to benchmark script + TODO commentsSebastiano Tronto1-1/+1
2023-10-28Removed config.mkSebastiano Tronto1-0/+1
2023-10-22Preparatory work for benchmarks, little fixesSebastiano Tronto1-1/+2
2023-10-08Added write to SRC formatSebastiano Tronto1-0/+1
2023-10-05Avoid multiple compilation when running testsSebastiano Tronto1-0/+1
2023-10-05Implemented compose; some cleanupSebastiano Tronto1-0/+2

Generated with cgit - Back to sebastiano.tronto.net