aboutsummaryrefslogtreecommitdiff
path: root/.gitignore (follow)
Commit message (Collapse)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