Code

AWS selection and scrambling#98

Code

Merged

bobot merged 9 commits intoSMT-COMP:masterSMT-COMP/smt-comp.github.io:masterfrom bobot:more_docbobot/smt-comp.github.io:more_docCopy head branch name to clipboardJun 19, 2024

+416-88

Commits

Commits on Jun 19, 2024

• Set missing seeds to zero.

  

  Martin Jonáš

  authored and

  bobot

  committed
  02d8b93

• Set NYSE index.

  

  Martin Jonáš

  authored and

  bobot

  committed
  f161ae7

• Fix typing

  bobot

  committed
  2de70a5

• Fix AWS selection

  bobot

  committed
  f38b552

• Fix non-determinism in aws selection

  Show description for c2c7851
  bobot

  committed
  c2c7851

• More determinism

  bobot

  committed
  318a505

• Fix naming convention

  bobot

  committed
  2b299ec

• Scramble raises in case of execution error

  bobot

  committed
  baa2561

• Remove a benchmarks for aws that make the scrambler segfault

  bobot

  committed
  192d936