Code

Tracking Benchmark Changes for Thesis#65

Code

Closed

michael-schwarz wants to merge 53 commits intomastergoblint/bench:masterfrom michael-schwarz-dissertationgoblint/bench:michael-schwarz-dissertationCopy head branch name to clipboard

+205,922-37,563

Commits

Commits on Apr 17, 2024

• Add more programs

  michael-schwarz

  committed
  5cc983c

• Use --sets exp.priv-prec-dump-suffix interval

  michael-schwarz

  committed
  0fe64da

• Ad minus before interval

  michael-schwarz

  committed
  9541f17

• Rename concrat things to have unique names

  michael-schwarz

  committed
  4ef6587

• Adapt to names

  michael-schwarz

  committed
  3b6a825

• Fix minimap file name

  michael-schwarz

  committed
  536da2d

• Fix proxychains filename

  michael-schwarz

  committed
  bb84ab1

• Fix sysbench

  michael-schwarz

  committed
  3304b3e

• vanitygen

  michael-schwarz

  committed
  adfb925

Commits on Apr 21, 2024

• Save comparison details to separate folder

  michael-schwarz

  committed
  118c66b

• Output details file

  michael-schwarz

  committed
  70c66fe

• Add TID varaints to comparison

  michael-schwarz

  committed
  91e8fb4

• Exclude tasks without main

  michael-schwarz

  committed
  f22aabc

• Fix computation of details path

  michael-schwarz

  committed
  1a67a22

• Forgot tid suffix

  michael-schwarz

  committed
  25c4e6f

Commits on Apr 24, 2024

• Move time-eaters to the end

  michael-schwarz

  committed
  ee41053

• Exclude kona -> Single-Threaded

  michael-schwarz

  committed
  071098d

• Exclude libqrencode -> Single Threaded

  michael-schwarz

  committed
  0fce763

• Exclude pg_repack -> Single Threaded

  michael-schwarz

  committed
  28a7896

• Exclude sc -> Single Threaded

  michael-schwarz

  committed
  d288aaa

• Exclude stud -> Single Threaded

  michael-schwarz

  committed
  d917414

Commits on May 21, 2024

• Add concrat to traces relational

  michael-schwarz

  committed
  0b0f170

• Add mutex-meet-tid

  michael-schwarz

  committed
  a056eff

Commits on Jul 1, 2024

• update_bench_traces_rel: Explain all mutex info in tooltip

  michael-schwarz

  committed
  0da5472

Commits on Jul 6, 2024

• Use config consistent with numbers which we will report

  michael-schwarz

  committed
  e57b42c

• Update loop_invariant to location_invariant

  michael-schwarz

  committed
  99167e6

Commits on Jul 7, 2024

• Bump timeout

  michael-schwarz

  committed
  e47435c

• Add ypbind to index

  michael-schwarz

  committed
  e319a4c

• Generation script

  michael-schwarz

  committed
  166c856

• New YAML witnesses

  michael-schwarz

  committed
  f45d146

Commits on Jul 8, 2024

• Rm invaraint_set entries

  michael-schwarz

  committed
  761f877

Commits on Jul 9, 2024

• Add generate for Concrat

  michael-schwarz

  committed
  e4c4a79

• YAML Generate script for server

  michael-schwarz

  committed
  ed3c168

• Make python happy

  michael-schwarz

  committed
  5b2cdfd

• Add pre.keep to annotate script

  michael-schwarz

  committed
  250dc5a

• Typo

  michael-schwarz

  committed
  6687170

• Instrumentation on server

  

  Testserver

  authored and

  Testserver

  committed
  2413cc4

Commits on Jul 10, 2024

• ESOP23: Update script for Table 2

  michael-schwarz

  committed
  99519e8

Commits on Jul 12, 2024

• Regenerate witnesses after ulong fix

  

  Testserver

  authored and

  Testserver

  committed
  4327f4f

Commits on Jul 24, 2024

• Ignore Watts table

  michael-schwarz

  committed
  60867d0

• Add threadJoinsback to traces-relational.txt index file

  michael-schwarz

  committed
  ca1d975

• Add threadJoins to traces-rel-yaml.txt

  michael-schwarz

  committed
  db89c78

• generate_yaml_ms add threadJoins

  michael-schwarz

  committed
  af3fed7

Commits on Jul 25, 2024

• Regnerate witnesses

  

  Testserver

  authored and

  Testserver

  committed
  c7c1f05

• Watts settings

  michael-schwarz

  committed
  eb26016

Commits on Jul 27, 2024

• Regenerate witnesses

  

  Testserver

  authored and

  Testserver

  committed
  f2233f8

• Order Watts, pruge protection-read usage

  michael-schwarz

  committed
  5b9290f

• Add goblint-w-interval-tid to experiments

  michael-schwarz

  committed
  534cddc

• Ratcop

  michael-schwarz

  committed
  83e44e4

• Ours

  michael-schwarz

  committed
  3663fbb

Commits on Aug 4, 2024

• Re-Generate witnesses

  

  Testserver

  authored and

  Testserver

  committed
  07720fd

Commits on Aug 6, 2024

• Regenerate witnesses

  

  Testserver

  authored and

  Testserver

  committed
  12b310e

Commits on Aug 11, 2024

• Regenerate witnesses

  

  Testserver

  authored and

  Testserver

  committed
  8bd8bcc