Code

Use solver result caching in CI#1908

Code

Merged

m-yac merged 34 commits intomasterGaloisInc/saw-script:masterfrom solver-caching-on-ciGaloisInc/saw-script:solver-caching-on-ciCopy head branch name to clipboardSep 14, 2023

+132-26

Commits

Commits on Aug 14, 2023

• first try at turning on solver caching for intTests and s2nTests in CI

  m-yac

  committed
  0fed8d7

  Copy full SHA for 0fed8d7

Commits on Aug 15, 2023

• add intTest which tests whether solver caching is even enabled

  m-yac

  committed
  7fdbd5f

  Copy full SHA for 7fdbd5f

• use absolute paths for solver caching on CI

  m-yac

  committed
  9be89d0

  Copy full SHA for 9be89d0

• fix dummy CI test file so it actually runs

  m-yac

  committed
  ba87f71

  Copy full SHA for ba87f71

• properly set SAW_SOLVER_CACHE_PATH env var in CI

  m-yac

  committed
  d68652a

  Copy full SHA for d68652a

• another attempt at setting SAW_SOLVER_CACHE_PATH on CI

  m-yac

  committed
  c706986

  Copy full SHA for c706986

• use github.ref instead of .sha for caching in CI, fix repeated key bug(?)

  m-yac

  committed
  6f76bea

  Copy full SHA for 6f76bea

• make integration tests aware of SAW_SOLVER_CACHE_PATH env var

  m-yac

  committed
  1993013

  Copy full SHA for 1993013

• enable solver caching for s2n tests; fix typo in ci.yml

  m-yac

  committed
  9e5941e

  Copy full SHA for 9e5941e

• clean up solver caching bits in ci.yml, add debugging to blst

  m-yac

  committed
  38b97b0

  Copy full SHA for 38b97b0

Commits on Aug 16, 2023

• remove debugging from intTests, tweak debugging for s2n-blst

  m-yac

  committed
  4b3e2b7

  Copy full SHA for 4b3e2b7

• more tweaks to CI blst debugging and cache keys

  m-yac

  committed
  db0e530

  Copy full SHA for db0e530

• more CI solver caching debugging for s2n

  m-yac

  committed
  325bb49

  Copy full SHA for 325bb49

• another attempt at enabling solver caching for s2n tests on CI

  m-yac

  committed
  91b4211

  Copy full SHA for 91b4211

• add debugging back to s2n CI tests

  m-yac

  committed
  a885f60

  Copy full SHA for a885f60

Commits on Aug 17, 2023

• even more debugging for s2n CI solver caching

  m-yac

  committed
  09042ad

  Copy full SHA for 09042ad

• tweak debugging for s2n CI solver caching

  m-yac

  committed
  2762cdf

  Copy full SHA for 2762cdf

• the tweaks to s2n CI solver caching just keep coming...

  m-yac

  committed
  69d327e

  Copy full SHA for 69d327e

Commits on Aug 18, 2023

• point the CI solver cache restore/save to the right place for s2n tests

  m-yac

  committed
  358c0dc

  Copy full SHA for 358c0dc

Commits on Sep 5, 2023

• remove github.ref from cache keys, try to fix s2n cache permissions

  m-yac

  committed
  fd847c8

  Copy full SHA for fd847c8

Commits on Sep 6, 2023

• give read permissions to newly created s2n caches

  m-yac

  committed
  c68fcd2

  Copy full SHA for c68fcd2

• a different strategy for getting permissions for s2n solver cache

  m-yac

  committed
  edc3b2d

  Copy full SHA for edc3b2d

• add -p to mkdir in s2n solver caching

  m-yac

  committed
  310e34b

  Copy full SHA for 310e34b

• Merge remote-tracking branch 'origin/master' into solver-caching-on-ci

  m-yac

  committed
  55008bd

  Copy full SHA for 55008bd

• fix typo preventing s2n solver caches from getting restored on CI

  m-yac

  committed
  d54e304

  Copy full SHA for d54e304

Commits on Sep 7, 2023

• set solver cache timeout to 2s, add print_solver_cache_stats to s2n tests

  m-yac

  committed
  9a9763f

  Copy full SHA for 9a9763f

• change debugging method for solver caching on CI

  m-yac

  committed
  289adc6

  Copy full SHA for 289adc6

• remove timeout in solver caching for debugging purposes

  m-yac

  committed
  9707e4d

  Copy full SHA for 9707e4d

• add --clean-solver-cache CLI opt, clean up CI debugging

  m-yac

  committed
  a6d4bcb

  Copy full SHA for a6d4bcb

Commits on Sep 8, 2023

• update manual with --clean-solver-cache

  m-yac

  committed
  4fe74e2

  Copy full SHA for 4fe74e2

• use RME-specific hash for solver versioning

  m-yac

  committed
  3c71516

  Copy full SHA for 3c71516

Commits on Sep 12, 2023

• add docs to CACHE_VERSION env vars, add CABAL_ to original for clarity

  m-yac

  committed
  b042706

  Copy full SHA for b042706

• add "mismatched_versions" to "clean_solver_cache" command name

  m-yac

  committed
  a6600cd

  Copy full SHA for a6600cd

Commits on Sep 13, 2023

• rename cleanSolverCache, cleanCacheOpt to mention mismatched versions

  m-yac

  committed
  498d5d6

  Copy full SHA for 498d5d6