Code

New main + old plumelib version#358

Code

Closed

benedikt-schesch wants to merge 7 commits intomainbenedikt-schesch/AST-Merging-Evaluation:mainfrom revert_plumelib_2benedikt-schesch/AST-Merging-Evaluation:revert_plumelib_2Copy head branch name to clipboard

+87-87

Commits

Commits on Sep 20, 2024

• Update plumelib

  benedikt-schesch

  committed
  42d05d7

  Copy full SHA for 42d05d7

• Update test data

  benedikt-schesch

  committed
  89a1c3e

  Copy full SHA for 89a1c3e

Commits on Sep 22, 2024

• Merge branch 'main' into revert_plumelib_2

  benedikt-schesch

  committed
  bbf4804

  Copy full SHA for bbf4804

• correct compile

  benedikt-schesch

  committed
  2e5751c

  Copy full SHA for 2e5751c

• Added latest test results

  benedikt-schesch

  committed
  c0a452c

  Copy full SHA for c0a452c

• Merge branch 'main' into revert_plumelib_2

  benedikt-schesch

  committed
  dbead71

  Copy full SHA for dbead71

• Added latest figures

  benedikt-schesch

  committed
  af700ce

  Copy full SHA for af700ce