goblint/bench

Issues

• memcached

  #40 opened 2 years ago by sim642
  7

• git

  #62 opened a year ago by sim642
  1

• Other attempted projects

  #14 opened 3 years ago by michael-schwarz
  12

• redis

  #38 opened 2 years ago by sim642
  2

• nidhugg (atomic operations support)

  #60 opened a year ago by karoliineh
  2

• SCTBench

  #61 opened a year ago by sim642
  0

• CPU Spec as benchmarks?

  #49 opened 2 years ago by michael-schwarz
  3

• Investigate Benchmarks from Hong & Ryu 2023 (ICSE '23)

  #52 opened a year ago by michael-schwarz
  2

• Investigate races and deadlock benchmarks used by DarC

  #56 opened a year ago by michael-schwarz
  0

• Combined pthread programs use 32bit architecture

  #55 opened 2 years ago by sim642
  0

• Failing compilation of random.c during benchmark testing on macOS

  #50 opened 2 years ago by gabryon99
  0

• Add support for chrony to incremental benchmarking scripts

  #48 opened 2 years ago by jerhard
  0

• Add support for figlet to incremental benchmarking scripts

  #47 opened 2 years ago by jerhard
  0

• curl

  #39 opened 2 years ago by sim642
  2

• Structure the repository

  #46 opened 2 years ago by michael-schwarz
  0

• Extend incremental benchmark scripts to allow analyzing local repositories

  #45 opened 2 years ago by jerhard
  0

• chrony

  #17 opened 3 years ago by stilscher
  14

• SQLite Amalgamation

  #19 opened 3 years ago by michael-schwarz
  5

• CProver deadlock benchmarks

  #42 opened 2 years ago by sim642
  0

• libvips

  #36 opened 2 years ago by karoliineh
  3

• netdata

  #37 opened 2 years ago by sim642
  1

• masscan

  #41 opened 2 years ago by sim642
  0

• zstd

  #16 opened 3 years ago by michael-schwarz
  27

• Selfie self-compiling C-compiler

  #34 opened 2 years ago by michael-schwarz
  0

• GNU binutils

  #11 opened 3 years ago by michael-schwarz
  2

• WHOOP data race benchmarks

  #25 opened 3 years ago by sim642
  0

• FFmpeg

  #18 opened 3 years ago by michael-schwarz
  5

• Creating demonstrators for GobPie

  #22 opened 3 years ago by vesalvojdani
  1

• CPALockator's Linux device driver data race detection benchmarks

  #3 opened 3 years ago by sim642
  1

• Creating CVE Race Condition Benchmarks

  #21 opened 3 years ago by vesalvojdani
  0

• Combined programs use outdated headers

  #15 opened 3 years ago by sim642
  3

• MTAR

  #13 opened 3 years ago by michael-schwarz
  3

• WGet2

  #9 opened 3 years ago by michael-schwarz
  7

• Tmux

  #8 opened 3 years ago by stilscher
  11

• OpenSSL

  #7 opened 3 years ago by sim642
  52

• MAOS

  #10 opened 3 years ago by michael-schwarz
  0

• Generating diffs for incremental benchmarks

  #6 opened 3 years ago by vesalvojdani
  0

• Frama-C's case study benchmarks

  #4 opened 3 years ago by michael-schwarz
  0