| Commit | Date | |
|---|---|---|
| 2023-04-12 23:08:21 | Tree | |
| 2023-04-12 23:07:24 | Tree | |
| 2023-04-12 22:17:38 | Tree | |
| 2023-04-12 21:21:27 | Tree | |
| 2023-04-12 20:40:59 | Tree | |
| 2023-04-12 19:50:53 | Tree | |
|
[r402]
by
nerius
Renaming heightMetric() to oldHeightMetric(). Want to preserve this code as |
2023-04-12 19:03:43 | Tree |
| 2023-04-12 18:58:05 | Tree | |
|
[r400]
by
nerius
Linear scaling of coveredHoleMetric() is extremely important. We want to |
2023-04-12 00:10:30 | Tree |
|
[r399]
by
nerius
Fixing heightMetric(). The rest of the metrics need the same sort of analysis, |
2023-04-11 23:39:13 | Tree |