Index of /reports/herbie/1753288233:codex_2fplan-removal-of-name-field-from-platform-struct:0feb07ec/haskell/151-ExamplesBasicsProofTestsf4fromsbv44/

../
graph.html.gz                                      23-Jul-2025 16:22                4029
points.json.gz                                     23-Jul-2025 16:30              165677
profile.json.gz                                    23-Jul-2025 16:30                3522
timeline.html.gz                                   23-Jul-2025 16:22               20444
timeline.json.gz                                   23-Jul-2025 16:30               13453