Code

Allow creation of &dyn ClauseDatabase#78

Code

Draft

Dekker1 wants to merge 5 commits intopindakaashq:developpindakaashq/pindakaas:developfrom Dekker1:feat/dyn_clausedbDekker1/pindakaas:feat/dyn_clausedbCopy head branch name to clipboard

+437-517

Commits

Commits on Jan 17, 2025

• Allow creation of &dyn ClauseDatabase

  Show description for 3eaf7b3
  Dekker1

  committed
  3eaf7b3

  Copy full SHA for 3eaf7b3

• Remove unnecessary macro emit_clauses!

  Dekker1

  committed
  d78a37b

  Copy full SHA for d78a37b

• Lock iset version to 0.3.0 to resolve failing tests

  Dekker1

  committed
  e3be479

  Copy full SHA for e3be479

• Allow external usage of named variables for tracing

  Dekker1

  committed
  089da43

  Copy full SHA for 089da43

• Avoid full paths from the standard library

  Dekker1

  committed
  0507024

  Copy full SHA for 0507024