Code

Add CaDiCaL 1.3.0 based on PR 184#20

Code

Closed

trz42 wants to merge 11 commits intotrz42:maintrz42/software-layer:mainfrom poksumdo:add-CaDiCaL-1.3.0-GCC-9.3.0-from-pr-184poksumdo/software-layer:add-CaDiCaL-1.3.0-GCC-9.3.0-from-pr-184Copy head branch name to clipboard

+94-15

Commits

Commits on Sep 9, 2022

• Adjustments to scripts necessary for bot PR24

  Show description for 1659ca9
  truib

  committed
  1659ca9

  Copy full SHA for 1659ca9

• Add CaDiCaL 1.3.0 to EESSI pilot with updated bot

  Show description for 123e00e
  truib

  committed
  123e00e

  Copy full SHA for 123e00e

• More debug output for create_tarball.sh

  truib

  committed
  47e6397

  Copy full SHA for 47e6397

• Preserve pwd at start and change back before tar'ing

  truib

  committed
  e413000

  Copy full SHA for e413000

• Revert "Preserve pwd at start and change back before tar'ing"

  Show description for 4de6657
  truib

  committed
  4de6657

  Copy full SHA for 4de6657

• Revert "More debug output for create_tarball.sh"

  Show description for 3f5180b
  truib

  committed
  3f5180b

  Copy full SHA for 3f5180b

Commits on Sep 13, 2022

• Discard today's changes

  truib

  committed
  51c178e

  Copy full SHA for 51c178e

• The missing check also needs Java 11.0.16 now

  truib

  committed
  f5812da

  Copy full SHA for f5812da

Commits on Sep 14, 2022

• Print more debug messages

  truib

  committed
  a99eef6

  Copy full SHA for a99eef6

• Revert back to original versions, add more debug info

  truib

  committed
  f80f983

  Copy full SHA for f80f983

• Java 11.0.16 is not available with EB 4.5.0

  Show description for a64d4b7
  truib

  committed
  a64d4b7

  Copy full SHA for a64d4b7