Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 10, 2024

• Merge pull request #55 from logic-ng/development

  Show description for 47d1db3
  czengler

  authored
  47d1db3

  Copy full SHA for 47d1db3

Commits on Sep 9, 2024

• Final 2.6.0

  czengler

  committed
  6fb3568

  Copy full SHA for 6fb3568

• updated changelog and made some fields private

  SHildebrandt

  committed
  567a53f

  Copy full SHA for 567a53f

Commits on Aug 3, 2024

• refactoring SmusComputation to avoid redundant code

  rouven-walter

  committed
  84a374c

  Copy full SHA for 84a374c

Commits on Aug 2, 2024

• added minimalDnfCover config flag in AdvancedSimplifierConfig

  rouven-walter

  committed
  c03d342

  Copy full SHA for c03d342

• bugfix: added backbone literals to intermediate result in AdvancedSimplifier

  rouven-walter

  committed
  b783c19

  Copy full SHA for b783c19

• minor refactoring and improvements

  rouven-walter

  committed
  09e61b0

  Copy full SHA for 09e61b0

Commits on Aug 1, 2024

• Optimization config in advanced simplifier

  czengler

  committed
  18f3c72

  Copy full SHA for 18f3c72

• Optimization config in prime compiler

  czengler

  committed
  f72daf2

  Copy full SHA for f72daf2

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

  czengler

  committed
  cd18a38

  Copy full SHA for cd18a38

Commits on Jul 31, 2024

• Merge pull request #53 from logic-ng/development

  Show description for 42ece18
  czengler

  authored
  42ece18

  Copy full SHA for 42ece18

• Final 2.5.1

  czengler

  committed
  79bb7b0

  Copy full SHA for 79bb7b0

• Prepare 2.5.1 release

  czengler

  committed
  9aa1d29

  Copy full SHA for 9aa1d29

Commits on Jul 30, 2024

• WIP configure optimization in algorithms

  czengler

  committed
  8fb005a

  Copy full SHA for 8fb005a

Commits on Jul 22, 2024

• fixed MiniSatConfig doc for default CNF method

  rouven-walter

  committed
  5ba79db

  Copy full SHA for 5ba79db

Commits on Jul 12, 2024

• Prepare 2.6.0 release

  czengler

  committed
  d77cea2

  Copy full SHA for d77cea2

Commits on May 4, 2024

• Preparations for formula and solver serializiation

  czengler

  committed
  b6e6975

  Copy full SHA for b6e6975

• Next development version

  czengler

  committed
  10ab16e

  Copy full SHA for 10ab16e

Commits on May 2, 2024

• Fixed JaCoCo Plugin

  czengler

  committed
  87a662f

  Copy full SHA for 87a662f

• updated codecov badge

  SHildebrandt

  committed
  e6317bb

  Copy full SHA for e6317bb

• adjust codecov report generation

  SHildebrandt

  committed
  85ef043

  Copy full SHA for 85ef043

• Updated CHANGELOG to 2.5.0

  czengler

  committed
  e6f6024

  Copy full SHA for e6f6024

• Merge pull request #52 from logic-ng/feature/remove-parser

  Show description for 8577da0
  czengler

  authored
  8577da0

  Copy full SHA for 8577da0

• Updated version to 2.5.0

  czengler

  committed
  2b1b827

  Copy full SHA for 2b1b827

Commits on May 1, 2024

• Some clarifications in the CHANGELOG

  czengler

  committed
  4f47fcd

  Copy full SHA for 4f47fcd

Commits on Apr 29, 2024

• adjust changelog

  SHildebrandt

  committed
  81624f1

  Copy full SHA for 81624f1

Commits on Apr 28, 2024

• give surefire tests enough memory

  SHildebrandt

  committed
  201585c

  Copy full SHA for 201585c

• extracted the parser(s) to its own artifact org.logicng.logicng-parser-j8/11 and removed ANTLR as compile dependency (ANTLR and a copy of the parsers is still used in the tests)

  SHildebrandt

  committed
  e17a890

  Copy full SHA for e17a890

Commits on Apr 24, 2024

• Merge branch 'feature/unsafe-dnf' into development

  czengler

  committed
  bb7e1ac

  Copy full SHA for bb7e1ac

• Revert "fixed SATSolver#add: Ensure all variables are added to the internal solver"

  Show description for b2a8e7c
  czengler

  committed
  b2a8e7c

  Copy full SHA for b2a8e7c

Commits on Mar 15, 2024

• added possibility to pass a DNNF handler to the model counter

  SHildebrandt

  committed
  87da23b

  Copy full SHA for 87da23b

• improved performance of DTree generation by removing duplicate egdes

  SHildebrandt

  committed
  f972d93

  Copy full SHA for f972d93

Commits on Mar 14, 2024

• added possibility to pass a DNNF handler in the DNNF factory

  SHildebrandt

  committed
  9fdb76e

  Copy full SHA for 9fdb76e

Commits on Mar 12, 2024

• BDD reordering refactoring

  SHildebrandt

  committed
  fedef46

  Copy full SHA for fedef46

Commits on Mar 11, 2024

• revert to mockito 4.x, since 5.x is not compatible with Java 8

  SHildebrandt

  committed
  f3ef3fe

  Copy full SHA for f3ef3fe

Pagination

Previous

Next