Code

Remove thom groebner#47

Code

Draft

sjunges wants to merge 17 commits intomoves-rwth:mastermoves-rwth/carl-storm:masterfrom sjunges:remove_thom_groebnersjunges/carl-storm:remove_thom_groebnerCopy head branch name to clipboard

+42-5,143

Commits

Commits on Mar 27, 2023

• remove some irrelevant tests

  sjunges

  committed
  cce6210

  Copy full SHA for cce6210

Commits on Mar 28, 2023

• typetraits.h specifies it should not be included directly, so lets not do that

  sjunges

  committed
  343df83

  Copy full SHA for 343df83

• updates regarding logging (use a more descriptive ifdef to avoid duplicates, avoid including carlLogging header if not necessary)

  sjunges

  committed
  702cb66

  Copy full SHA for 702cb66

• remove cad

  sjunges

  committed
  12c9bdb

  Copy full SHA for 12c9bdb

• avoid code that cannot compile

  sjunges

  committed
  8f4a187

  Copy full SHA for 8f4a187

• fix ordering for polynomials to GrLexOrdering, thereby paving the way to effective forward declarations

  sjunges

  committed
  05ae723

  Copy full SHA for 05ae723

• version includes patch versions now, update to version 14.24.0

  sjunges

  committed
  6ee4b6c

  Copy full SHA for 6ee4b6c

Commits on Apr 3, 2023

• Merge branch 'master' of https://github.com/moves-rwth/carl-storm

  sjunges

  committed
  8320577

  Copy full SHA for 8320577

Commits on Apr 16, 2023

• Merge branch 'master' of https://github.com/moves-rwth/carl-storm

  sjunges

  committed
  8f6ed12

  Copy full SHA for 8f6ed12

Commits on Jun 27, 2023

• Merge branch 'master' of https://github.com/moves-rwth/carl-storm

  sjunges

  committed
  63d3461

  Copy full SHA for 63d3461

Commits on Dec 10, 2023

• Merge branch 'master' of https://github.com/moves-rwth/carl-storm

  sjunges

  committed
  8104453

  Copy full SHA for 8104453

Commits on May 22, 2024

• Merge branch 'master' of https://github.com/moves-rwth/carl-storm

  sjunges

  committed
  b1b5da1

  Copy full SHA for b1b5da1

• fixes moves-rwth#27

  sjunges

  committed
  0753294

  Copy full SHA for 0753294

• move ifdef up

  sjunges

  committed
  deb591d

  Copy full SHA for deb591d

Commits on Aug 22, 2024

• Merge branch 'master' of https://github.com/moves-rwth/carl-storm

  sjunges

  committed
  d493e43

  Copy full SHA for d493e43

Commits on Aug 28, 2024

• Merge branch 'master' of https://github.com/moves-rwth/carl-storm

  sjunges

  committed
  8ec7070

  Copy full SHA for 8ec7070

• remove groebner and thom encodings assuming we dont need them

  sjunges

  committed
  5dcb876

  Copy full SHA for 5dcb876