Code

Enable pcasso#136

Code

Open

conp-solutions wants to merge 43 commits intomasterconp-solutions/mergesat:masterfrom enable-pcassoconp-solutions/mergesat:enable-pcassoCopy head branch name to clipboard

+952-54

Commits

Commits on Apr 27, 2023

• docker: only copy relevant files

  Show description for 253e736
  conp-solutions

  committed
  253e736

  Copy full SHA for 253e736

• docker: use default Dockerfile, and customize

  Show description for 614205e
  conp-solutions

  committed
  614205e

  Copy full SHA for 614205e

• parallel: count actual syncs

  Show description for 4d88d2f
  conp-solutions

  committed
  4d88d2f

  Copy full SHA for 4d88d2f

• partition: add tree type

  Show description for 07d559c
  conp-solutions

  committed
  07d559c

  Copy full SHA for 07d559c

• parallel,tree: implement basics

  Show description for 4ce6988
  conp-solutions

  committed
  4ce6988

  Copy full SHA for 4ce6988

• parallel: assign tasks after delay

  Show description for 84c65a4
  conp-solutions

  committed
  84c65a4

  Copy full SHA for 84c65a4

• parallel: fail hard on unimplemented methods

  Show description for 52d6d22
  conp-solutions

  committed
  52d6d22

  Copy full SHA for 52d6d22

• parallel: partition nodes stubs

  Show description for 0e23bb0
  conp-solutions

  committed
  0e23bb0

  Copy full SHA for 0e23bb0

• parallel,partition: stub unsat partition handling

  Show description for bdf446e
  conp-solutions

  committed
  bdf446e

  Copy full SHA for bdf446e

• partition,tree: only create nodes via tree

  Show description for 8a57f18
  conp-solutions

  committed
  8a57f18

  Copy full SHA for 8a57f18

• partition,tree: create node signature

  Show description for 8d40d32
  conp-solutions

  committed
  8d40d32

  Copy full SHA for 8d40d32

• partition,node: load path assumptions for a node

  Show description for d723786
  conp-solutions

  committed
  d723786

  Copy full SHA for d723786

• parallel,partition: partition assigned node

  Show description for 5207d52
  conp-solutions

  committed
  5207d52

  Copy full SHA for 5207d52

• WIP, parallel: start using partitions during search

  Show description for a4d7cf6
  conp-solutions

  committed
  a4d7cf6

  Copy full SHA for a4d7cf6

• parallel,partition: add tracking to tree

  Show description for aa1500d
  conp-solutions

  committed
  aa1500d

  Copy full SHA for aa1500d

• parallel: add partition handling

  Show description for c2cc593
  conp-solutions

  committed
  c2cc593

  Copy full SHA for c2cc593

• ci,configs: test parittioning

  Show description for 5479559
  conp-solutions

  committed
  5479559

  Copy full SHA for 5479559

• partition,evaluate: do not process empty tree

  Show description for bf61f07
  conp-solutions

  committed
  bf61f07

  Copy full SHA for bf61f07

• parallel,sync: handle UNSAT after partitioning

  Show description for 5a63d58
  conp-solutions

  committed
  5a63d58

  Copy full SHA for 5a63d58

• parttionTree: allow to retrieve position

  Show description for 8fb9a67
  conp-solutions

  committed
  8fb9a67

  Copy full SHA for 8fb9a67

• partitionTree: print tree properly

  Show description for 5f7ccee
  conp-solutions

  committed
  5f7ccee

  Copy full SHA for 5f7ccee

Commits on Apr 28, 2023

• partitionTree: formatting

  Show description for 5e0af39
  conp-solutions

  committed
  5e0af39

  Copy full SHA for 5e0af39

• partition,reset: also clear status and assumptions

  Show description for 6a63cf5
  conp-solutions

  committed
  6a63cf5

  Copy full SHA for 6a63cf5

• parallel,conflict: check for incremental mode

  Show description for 7433b97
  conp-solutions

  committed
  7433b97

  Copy full SHA for 7433b97

• parallel,status: override independently on previous status

  Show description for 25d49a8
  conp-solutions

  committed
  25d49a8

  Copy full SHA for 25d49a8

• partitioning,evaluation: fix implementation

  Show description for a7ea54c
  conp-solutions

  committed
  a7ea54c

  Copy full SHA for a7ea54c

• parallel,sync: always sync on unsat node

  Show description for 5c36bc7
  conp-solutions

  committed
  5c36bc7

  Copy full SHA for 5c36bc7

• parallel,unassign: backtrack to level 0

  Show description for 7a1e10d
  conp-solutions

  committed
  7a1e10d

  Copy full SHA for 7a1e10d

• parallel,incremental: make conflict available

  Show description for 55edb29
  conp-solutions

  committed
  55edb29

  Copy full SHA for 55edb29

• tests,parallel: add simple inc unit test

  Show description for 7af363f
  conp-solutions

  committed
  7af363f

  Copy full SHA for 7af363f

• parallel,partitioning: allow to fully disable

  Show description for a2fb163
  conp-solutions

  committed
  a2fb163

  Copy full SHA for a2fb163

• parallel,partitioning: do not use elimination

  Show description for dfa0b9c
  conp-solutions

  committed
  dfa0b9c

  Copy full SHA for dfa0b9c

• parallel,stats: print cpu efficiency

  Show description for 3ed35dd
  conp-solutions

  committed
  3ed35dd

  Copy full SHA for 3ed35dd

• parallel,stats: only print tree on verb

  Show description for a1bdfe9
  conp-solutions

  committed
  a1bdfe9

  Copy full SHA for a1bdfe9

• parallel,UNSAT: assign from global to thread status

  Show description for 0b4f38c
  conp-solutions

  committed
  0b4f38c

  Copy full SHA for 0b4f38c

• solver,solve: always start on level 0

  Show description for e6e996b
  conp-solutions

  committed
  e6e996b

  Copy full SHA for e6e996b

• parallel: signal detected only-childs

  Show description for 601b967
  conp-solutions

  committed
  601b967

  Copy full SHA for 601b967

• throw: use macro with location

  Show description for 09caf03
  conp-solutions

  committed
  09caf03

  Copy full SHA for 09caf03

• tree,stats: print simple stats

  Show description for 077d618
  conp-solutions

  committed
  077d618

  Copy full SHA for 077d618

• parallel,partitioning: disable by default

  Show description for 9534f3d
  conp-solutions

  committed
  9534f3d

  Copy full SHA for 9534f3d

• parallel,pcasso: partition after sync 2

  Show description for 38097d9
  conp-solutions

  committed
  38097d9

  Copy full SHA for 38097d9

• parallel,pcasso: make number of cores dynamic

  Show description for 3f2a5d7
  conp-solutions

  committed
  3f2a5d7

  Copy full SHA for 3f2a5d7

• doc,pcasso: list features

  conp-solutions

  committed
  7af994c

  Copy full SHA for 7af994c