Code

Parallel proofs#103

Code

Merged

conp-solutions merged 23 commits intomasterconp-solutions/mergesat:masterfrom parallel-proofsconp-solutions/mergesat:parallel-proofsCopy head branch name to clipboardJan 15, 2022

+680-126

Commits

Commits on Jan 15, 2022

• test,cadical: add multi constrain test

  Show description for 3ef97b4
  conp-solutions

  committed
  3ef97b4

  Copy full SHA for 3ef97b4

• parallel,pcs: add more un-tunable parameter

  Show description for 8db8f07
  conp-solutions

  committed
  8db8f07

  Copy full SHA for 8db8f07

• parallel: fix casting nit

  Show description for f3b8285
  conp-solutions

  committed
  f3b8285

  Copy full SHA for f3b8285

• parallel,simplification: listen to CLI

  Show description for d77c42c
  conp-solutions

  committed
  d77c42c

  Copy full SHA for d77c42c

• parallel: add activatable lockguard

  Show description for 3798211
  conp-solutions

  committed
  3798211

  Copy full SHA for 3798211

• proof,parallel: support subproofs

  Show description for bdee7ea
  conp-solutions

  committed
  bdee7ea

  Copy full SHA for bdee7ea

• parallel,proof: implement stubs

  Show description for e67dd48
  conp-solutions

  committed
  e67dd48

  Copy full SHA for e67dd48

• ipasir: initialize constrain member

  Show description for ba5e6b6
  conp-solutions

  committed
  ba5e6b6

  Copy full SHA for ba5e6b6

• proof: prepare for parallel use

  Show description for c757150
  conp-solutions

  committed
  c757150

  Copy full SHA for c757150

• proof: select whether to add shared clauses

  Show description for ac0243a
  conp-solutions

  committed
  ac0243a

  Copy full SHA for ac0243a

• parallel,sync: consider proof

  Show description for 9a788f4
  conp-solutions

  committed
  9a788f4

  Copy full SHA for 9a788f4

• parallel,solver: check enablement

  Show description for 03ca309
  conp-solutions

  committed
  03ca309

  Copy full SHA for 03ca309

• parallel,proof: add CLI

  Show description for 546f1dc
  conp-solutions

  committed
  546f1dc

  Copy full SHA for 546f1dc

• tests: link with CXXFLAGS

  Show description for 94e096b
  conp-solutions

  committed
  94e096b

  Copy full SHA for 94e096b

• tests: add proof checking

  Show description for 21a5eb9
  conp-solutions

  committed
  21a5eb9

  Copy full SHA for 21a5eb9

• locking: lock mutex directly

  Show description for 501514f
  conp-solutions

  committed
  501514f

  Copy full SHA for 501514f

• prrof: fix freeing buffer

  Show description for 3d9a442
  conp-solutions

  committed
  3d9a442

  Copy full SHA for 3d9a442

• proof: properly check for being enabled

  Show description for 85f5a12
  conp-solutions

  committed
  85f5a12

  Copy full SHA for 85f5a12

• build: fix parallel linking

  Show description for af757b7
  conp-solutions

  committed
  af757b7

  Copy full SHA for af757b7

• check-drat: support multi parameter solver

  Show description for e8c8a03
  conp-solutions

  committed
  e8c8a03

  Copy full SHA for e8c8a03

• ci,parallel: test proof generation

  Show description for 05538f9
  conp-solutions

  committed
  05538f9

  Copy full SHA for 05538f9

• ci,parallel: also check parallel proof generation

  Show description for 847d021
  conp-solutions

  committed
  847d021

  Copy full SHA for 847d021

• ci,cadical: do not test interface yet

  Show description for bf248a1
  conp-solutions

  committed
  bf248a1

  Copy full SHA for bf248a1