Code

feat: refactor the setHash function#1006

Code

Merged

PhilippWendler merged 14 commits intomainsosy-lab/benchexec:mainfrom fix-807sosy-lab/benchexec:fix-807Copy head branch name to clipboardMar 5, 2024

+205-135

Commits

Commits on Mar 2, 2024

• feat: refactor the setHash function

  EshaanAgg

  committed
  a98f8ca

  Copy full SHA for a98f8ca

• Merge https://github.com/sosy-lab/benchexec into fix-807

  EshaanAgg

  committed
  d364436

  Copy full SHA for d364436

• fix merge conflicts and rebuild the app

  EshaanAgg

  committed
  0432869

  Copy full SHA for 0432869

• bugfix

  EshaanAgg

  committed
  5b9e2c5

  Copy full SHA for 5b9e2c5

Commits on Mar 4, 2024

• update test suite

  EshaanAgg

  committed
  2f136ee

  Copy full SHA for 2f136ee

• update build

  EshaanAgg

  committed
  ecd4cc5

  Copy full SHA for ecd4cc5

Commits on Mar 5, 2024

• address review comments

  EshaanAgg

  committed
  e6dfa0c

  Copy full SHA for e6dfa0c

• Merge branch 'main' into fix-807

  EshaanAgg

  authored
  702bcdf

  Copy full SHA for 702bcdf

• rebuild the application

  EshaanAgg

  committed
  fbbaede

  Copy full SHA for fbbaede

• refactor

  EshaanAgg

  committed
  ae394f5

  Copy full SHA for ae394f5

• bugfix

  EshaanAgg

  committed
  c36eebc

  Copy full SHA for c36eebc

• address review comments

  EshaanAgg

  committed
  7287736

  Copy full SHA for 7287736

• remove keepOthers in all

  EshaanAgg

  committed
  73e74e5

  Copy full SHA for 73e74e5

• rebuild the application

  EshaanAgg

  committed
  956ca89

  Copy full SHA for 956ca89