Code

Lsids#41

Code

Open

conp-solutions wants to merge 5 commits intomasterconp-solutions/mergesat:masterfrom lsidsconp-solutions/mergesat:lsidsCopy head branch name to clipboard

+88-4

Commits

Commits on Jun 14, 2020

• Showing number of decisions taken by CBT and NCBT

  

  arijitsh

  authored and

  conp-solutions

  committed
  c726330

  Copy full SHA for c726330

• Putting LSIDS to Devel (#3)

  Show description for b1e989d
  

  arijitsh

  authored and

  conp-solutions

  committed
  b1e989d

  Copy full SHA for b1e989d

• LSIDS phase selections in CB only

  

  arijitsh

  authored and

  conp-solutions

  committed
  ca8cd93

  Copy full SHA for ca8cd93

• lsids: allow to activate separately

  Show description for e36cb60
  conp-solutions

  committed
  e36cb60

  Copy full SHA for e36cb60

• lsids: fix 'no-lsids' case

  Show description for f3cf842
  conp-solutions

  committed
  f3cf842

  Copy full SHA for f3cf842