| 1751827034 | Hans | main | 20.0+0.20 | CREATE P=-5 TP=1000 |
| 1751826976 | Hans | main | 5.0+0.05 | CREATE P=-1 TP=1000 |
| 1751826913 | Hans | main | 8.0+0.08 | MODIFY |
| 1751826908 | Hans | main | 40.0+0.40 | MODIFY |
| 1751826903 | Hans | hans/add-discovered-attacks-terms | 8.0+0.08 | MODIFY |
| 1751826898 | Hans | main | 8.0+0.08 | MODIFY |
| 1751826892 | Hans | main | 40.0+0.40 | CREATE P=0 TP=1000 |
| 1751826865 | Hans | hans/eval-is-checked-aware | 8.0+0.08 | STOP |
| 1751826859 | Hans | main | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1751810184 | Hans | main | 8.0+0.08 | DELETE |
| 1751808749 | Hans | hans/eval-is-checked-aware | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1751807825 | Hans | main | 8.0+0.08 | MODIFY |
| 1751807819 | Hans | hans/add-discovered-attacks-terms | 8.0+0.08 | MODIFY |
| 1751807809 | Hans | main | 8.0+0.08 | MODIFY |
| 1751807787 | Hans | hans/eval-is-checked-aware | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1751807028 | Hans | main | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1751803761 | Hans | hans/migrate-to-llvm-toolchain | 40.0+0.40 | STOP |
| 1751803744 | Hans | hans/add-discovered-attacks-terms | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1751794815 | Hans | hans/migrate-to-llvm-toolchain | 40.0+0.40 | MODIFY |
| 1751792188 | Hans | hans/migrate-to-llvm-toolchain | 40.0+0.40 | CREATE P=0 TP=1000 |
| 1751791363 | Hans | hans/migrate-to-llvm-toolchain | 40.0+0.40 | DELETE |
| 1751790957 | Qlara | clara/combine-picker-phases | 8.0+0.08 | STOP |
| 1751790896 | Hans | hans/migrate-to-llvm-toolchain | 40.0+0.40 | CREATE P=0 TP=1000 |
| 1751789528 | Qlara | clara/combine-picker-phases | 8.0+0.08 | CREATE P=0 TP=1000 |
| 1751789482 | Hans | hans/migrate-to-llvm-toolchain | 8.0+0.08 | CREATE P=0 TP=1000 |