Code

Development#55

Code

Merged

czengler merged 10 commits intomasterlogic-ng/LogicNG:masterfrom developmentlogic-ng/LogicNG:developmentCopy head branch name to clipboardSep 10, 2024

+951-219

Commits

Commits on Jul 30, 2024

• WIP configure optimization in algorithms

  czengler

  committed
  8fb005a

  Copy full SHA for 8fb005a

Commits on Aug 1, 2024

• Merge branch 'master' into feature/optimization-configuration

  czengler

  committed
  cd18a38

  Copy full SHA for cd18a38

• Optimization config in prime compiler

  czengler

  committed
  f72daf2

  Copy full SHA for f72daf2

• Optimization config in advanced simplifier

  czengler

  committed
  18f3c72

  Copy full SHA for 18f3c72

Commits on Aug 2, 2024

• minor refactoring and improvements

  rouven-walter

  committed
  09e61b0

  Copy full SHA for 09e61b0

• bugfix: added backbone literals to intermediate result in AdvancedSimplifier

  rouven-walter

  committed
  b783c19

  Copy full SHA for b783c19

• added minimalDnfCover config flag in AdvancedSimplifierConfig

  rouven-walter

  committed
  c03d342

  Copy full SHA for c03d342

Commits on Aug 3, 2024

• refactoring SmusComputation to avoid redundant code

  rouven-walter

  committed
  84a374c

  Copy full SHA for 84a374c

Commits on Sep 9, 2024

• updated changelog and made some fields private

  SHildebrandt

  committed
  567a53f

  Copy full SHA for 567a53f

• Final 2.6.0

  czengler

  committed
  6fb3568

  Copy full SHA for 6fb3568