BranchCommit messageAuthorAge
mainMerge branch '0.7.1' into 'main'Lars Wirzenius5 months
AgeCommit messageAuthorFilesLines
2022-03-08Merge branch '0.7.1' into 'main'HEADmainLars Wirzenius1-0/+617
2022-03-08Add benchmark result for 0.7.1Lars Wirzenius1-0/+617
2022-01-16Merge branch 'docs' into 'main'Lars Wirzenius1-0/+2
2022-01-16link to websiteLars Wirzenius1-0/+2
2022-01-16Merge branch 'results' into 'main'Lars Wirzenius3-0/+1851
2022-01-16add some benchmark results: 0.5.0, 0.6.0, 0.7.0Lars Wirzenius3-0/+1851
2022-01-16Merge branch 'fixes' into 'main'Lars Wirzenius3-0/+68
2022-01-16feat: add script to produce HTML report from result filesLars Wirzenius3-0/+68
2022-01-15docs: add a READMELars Wirzenius1-0/+6