Code

fix: segfault in minisat#75

Code

Merged

chrjabs merged 4 commits intomainchrjabs/rustsat:mainfrom bugfix/minisat-simp-segfaultchrjabs/rustsat:bugfix/minisat-simp-segfaultCopy head branch name to clipboardApr 4, 2024

+625-11

Commits

Commits on Mar 29, 2024

• fix: segfault in minisat

  Show description for e09121e
  chrjabs

  committed
  e09121e

  Copy full SHA for e09121e

Commits on Apr 4, 2024

• test: minisat segfault tests

  Show description for 341d979
  chrjabs

  committed
  341d979

  Copy full SHA for 341d979

• perf: add BufWriter when writing to file

  Show description for 0ea68ca
  chrjabs

  committed
  0ea68ca

  Copy full SHA for 0ea68ca

• chore: clippy lints

  chrjabs

  committed
  f78c6d2

  Copy full SHA for f78c6d2