../

Time

2026-04-14

sva_bench

CLOCK: [2026-04-14 Tue 12:13]–[2026-04-14 Tue 13:37] => 1:24

  • Create a script to parse jg output and aggregate them
  • Changed .tcl script to explicitly print out the metrics instead of doing sed black magic
  • Ran claude 5 times on small benchmarks
  • jasper_parse.sh can strip out total, proven, cex, cover

2026-04-11

TODO sva_gen_lean

CLOCK: [2026-04-11 Sat 12:22]–[2026-04-11 Sat 13:28] => 1:06

TODO RE slide prep

CLOCK: [2026-04-11 Sat 13:28]–[2026-04-11 Sat 14:30] => 1:02