Code

Cmakeupdates#46

Code

Open

sjunges wants to merge 23 commits intomoves-rwth:mastermoves-rwth/carl-storm:masterfrom sjunges:cmakeupdatessjunges/carl-storm:cmakeupdatesCopy head branch name to clipboard

+133-3,461

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 20, 2024

• cmake to project

  sjunges

  committed
  6b6b9a1

  Copy full SHA for 6b6b9a1

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 26, 2024

• towards carl for fetchcontent

  sjunges

  committed
  73e5394

  Copy full SHA for 73e5394

Commits on Aug 28, 2024

• updates

  sjunges

  committed
  eaaffc7

  Copy full SHA for eaaffc7

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

  sjunges

  committed
  8ec7070

  Copy full SHA for 8ec7070

• Merge branch 'master' into cmakeupdates

  sjunges

  committed
  7cc22f7

  Copy full SHA for 7cc22f7

Commits on Sep 3, 2024

• updates regarding ginac and what we install

  sjunges

  committed
  e1f43a2

  Copy full SHA for e1f43a2

Commits on Sep 25, 2024

• remove comment

  sjunges

  committed
  f7c20b8

  Copy full SHA for f7c20b8

Commits on Nov 13, 2024

• Added carl prefix to more messages

  volkm

  committed
  c25b8ac

  Copy full SHA for c25b8ac