Code

Wip support#68

Code

Merged

conp-solutions merged 12 commits intomasterconp-solutions/mergesat:masterfrom wip-supportconp-solutions/mergesat:wip-supportCopy head branch name to clipboardApr 13, 2021

+165-51

Commits

Commits on Mar 25, 2021

• starexec: add unsat and no-simp configuration

  Show description for f6404eb
  conp-solutions

  committed
  f6404eb

Commits on Mar 28, 2021

• docker: mergesat can decompress

  Show description for c9f0355
  conp-solutions

  committed
  c9f0355

• docker: use hugepage from packages

  Show description for a852620
  conp-solutions

  committed
  a852620

• starexec: use package name base on git describe

  Show description for 9e0f9fd
  conp-solutions

  committed
  9e0f9fd

Commits on Apr 6, 2021

• diversify: fix variable assignment

  Show description for a81ee25
  conp-solutions

  committed
  a81ee25

• diversify: allow to select configuration

  Show description for 2a69061
  conp-solutions

  committed
  2a69061

• diversity: support fuzzing

  Show description for a8ef3d0
  conp-solutions

  committed
  a8ef3d0

• ci: allow to test diversity, disabled by default

  Show description for d3ea363
  conp-solutions

  committed
  d3ea363

• ci: enable diversity checking

  Show description for 7cd553f
  conp-solutions

  committed
  7cd553f

Commits on Apr 7, 2021

• fuzzcheck: disable output for each attempt

  Show description for 6d90aea
  conp-solutions

  committed
  6d90aea

Commits on Apr 8, 2021

• ci: wrap in functions

  Show description for a27f611
  conp-solutions

  committed
  a27f611

• ci: add time stamps per section

  Show description for 65dcd76
  conp-solutions

  committed
  65dcd76