Commit Graph

9 Commits

Author SHA1 Message Date
joaquintides
106c7eab8e labeling typo 2023-06-01 09:00:57 +02:00
joaquintides
0b9064d4c4 [skip ci] updated README.md 2023-05-31 19:38:07 +02:00
joaquintides
bec94277f1 used proper BNF 2023-02-18 12:35:20 +01:00
joaquintides
61f74460a0 editorial 2023-02-14 17:57:30 +01:00
joaquintides
1a000cdd63 editorial 2022-12-04 13:10:04 +01:00
joaquintides
18668b8e12 changed branch name 2022-12-04 13:09:17 +01:00
joaquintides
46a1083d1d added entry for aggregate benchmarks 2022-12-02 19:45:07 +01:00
joaquintides
2b7c957158 [skip ci] added directory to benchmark branches 2022-11-03 19:13:30 +01:00
joaquintides
65369d80ba added empty README.md 2022-10-24 20:22:11 +02:00