Code

Out of memory errors#87

Code

Merged

chrjabs merged 10 commits intomainchrjabs/rustsat:mainfrom feature/catch-memoutchrjabs/rustsat:feature/catch-memoutCopy head branch name to clipboardApr 26, 2024

+2,072-612

Commits

Commits on Apr 25, 2024

• example: minisat-cli tool

  chrjabs

  committed
  e8f0157

  Copy full SHA for e8f0157

Commits on Apr 26, 2024

• feat: catch memory out in solvers

  Show description for abe61be
  chrjabs

  committed
  abe61be

  Copy full SHA for abe61be

• chore: cleanup feature-dependent compilation

  Show description for b6e566f
  chrjabs

  committed
  b6e566f

  Copy full SHA for b6e566f

• example: cadical-cli tool

  chrjabs

  committed
  2825904

  Copy full SHA for 2825904

• feat: allow for abort hooks

  Show description for cb0f34c
  chrjabs

  committed
  cb0f34c

  Copy full SHA for cb0f34c

• example: kissat-cli tool

  chrjabs

  committed
  6a68c8f

  Copy full SHA for 6a68c8f

• build: cleanup build script

  chrjabs

  committed
  1ddfd9f

  Copy full SHA for 1ddfd9f

• feat: catch memory outs in clause collector

  Show description for 13b0a9a
  chrjabs

  committed
  13b0a9a

  Copy full SHA for 13b0a9a

• docs: add memory error section to migration guide

  chrjabs

  committed
  85337a2

  Copy full SHA for 85337a2

• build: fix external api version checks

  chrjabs

  committed
  286f92a

  Copy full SHA for 286f92a