Code

Support multithreading#145

Code

Merged

ZachJHansen merged 8 commits intomasterpotassco/anthem:masterfrom tobias/multithreading_v3potassco/anthem:tobias/multithreading_v3Copy head branch name to clipboardAug 24, 2024

+153-13

Commits

Commits on Aug 24, 2024

• Enhance documentation

  teiesti

  committed
  cca72bb

  Copy full SHA for cca72bb

• Add CLI options to customize the number of prover instances and cores

  teiesti

  committed
  820faed

  Copy full SHA for 820faed

• Pass the number cores to vampire

  teiesti

  committed
  c4d17da

  Copy full SHA for c4d17da

• Add a prove_all method to the Prover trait

  teiesti

  committed
  f523cb0

  Copy full SHA for f523cb0

• Use prove_all in the command line procedures

  teiesti

  committed
  4d61c85

  Copy full SHA for 4d61c85

• Determine the number of instances and cores to use if 0 are requested

  teiesti

  committed
  0ae4b10

  Copy full SHA for 0ae4b10

• Run multiple prover instances simultaneously

  teiesti

  committed
  31ae0eb

  Copy full SHA for 31ae0eb

• cargo clippy --fix

  teiesti

  committed
  914e5b7

  Copy full SHA for 914e5b7