Code

Added latest timing data#379

Code

Merged

benedikt-schesch merged 7 commits intomainbenedikt-schesch/AST-Merging-Evaluation:mainfrom full_timing_resultsbenedikt-schesch/AST-Merging-Evaluation:full_timing_resultsCopy head branch name to clipboardSep 27, 2024

+2,261-10,571

Commits

Commits on Sep 27, 2024

• Remove parallel support

  benedikt-schesch

  committed
  6aea58a

  Copy full SHA for 6aea58a

• More fixes

  benedikt-schesch

  committed
  5db440a

  Copy full SHA for 5db440a

• Added latest timing data

  benedikt-schesch

  committed
  d1518f0

  Copy full SHA for d1518f0

• Fix for github actions

  benedikt-schesch

  committed
  7bf21c1

  Copy full SHA for 7bf21c1

• Merge remote-tracking branch 'origin/remove_parallel_support' into full_timing_results

  benedikt-schesch

  committed
  5960c32

  Copy full SHA for 5960c32

• Update test results

  benedikt-schesch

  committed
  d34ba8d

  Copy full SHA for d34ba8d

• Merge remote-tracking branch 'origin/remove_parallel_support' into full_timing_results

  benedikt-schesch

  committed
  ddb5685

  Copy full SHA for ddb5685