| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Modernize and improve benchmark | Anthony Wang | 4 days | |
| Age | Commit message | Author | ||
| 4 days | Modernize and improve benchmarkHEADmaster | Anthony Wang | ||
| 2021-01-06 | improve c++ perf w o flag | Kevin Lacker | ||
| 2021-01-06 | remove the insert_n function for a more fair comparison. doesnt change timing... | Kevin Lacker | ||
| 2021-01-06 | c++ benchmark | Kevin Lacker | ||
| 2021-01-06 | soime c++ | Kevin Lacker | ||
| 2021-01-06 | basic map insert benchmark | Kevin Lacker | ||
| 2021-01-06 | Initial commit | Kevin Lacker | ||
| Clone | ||||
| https://git.unnamed.website/lean4perf | ||||
 |
index : lean4perf | |
| Silly Lean vs C++ benchmark | Anthony Wang |
| aboutsummaryrefslogtreecommitdiff |