aboutsummaryrefslogtreecommitdiff
path: root/.gitignore (follow)
Commit message (Expand)AuthorAgeFilesLines
* Small change to benchmark script + TODO commentsSebastiano Tronto2023-10-311-1/+1
* Removed config.mkSebastiano Tronto2023-10-281-0/+1
* Preparatory work for benchmarks, little fixesSebastiano Tronto2023-10-221-1/+2
* Added write to SRC formatSebastiano Tronto2023-10-081-0/+1
* Avoid multiple compilation when running testsSebastiano Tronto2023-10-051-0/+1
* Implemented compose; some cleanupSebastiano Tronto2023-10-051-0/+2
* Initial commitSebastiano Tronto2023-05-291-0/+1

Generated with cgit - Back to sebastiano.tronto.net