Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Cmakeupdates #46

Open
wants to merge 23 commits into
base: master
Choose a base branch
from
Open

Cmakeupdates #46

wants to merge 23 commits into from

Commits on Mar 27, 2023

  1. remove some irrelevant tests

    @sjunges
    sjunges committed Mar 27, 2023
    Configuration menu
    Copy the full SHA
    cce6210 View commit details
    Browse the repository at this point in the history

Commits on Mar 28, 2023

  1. typetraits.h specifies it should not be included directly, so lets no… 

    …t do that
    @sjunges
    sjunges committed Mar 28, 2023
    Configuration menu
    Copy the full SHA
    343df83 View commit details
    Browse the repository at this point in the history

  2. updates regarding logging (use a more descriptive ifdef to avoid dupl… 

    …icates, avoid including carlLogging header if not necessary)
    @sjunges
    sjunges committed Mar 28, 2023
    Configuration menu
    Copy the full SHA
    702cb66 View commit details
    Browse the repository at this point in the history

  3. remove cad

    @sjunges
    sjunges committed Mar 28, 2023
    Configuration menu
    Copy the full SHA
    12c9bdb View commit details
    Browse the repository at this point in the history

  4. avoid code that cannot compile

    @sjunges
    sjunges committed Mar 28, 2023
    Configuration menu
    Copy the full SHA
    8f4a187 View commit details
    Browse the repository at this point in the history

  5. fix ordering for polynomials to GrLexOrdering, thereby paving the way… 

    … to effective forward declarations
    @sjunges
    sjunges committed Mar 28, 2023
    Configuration menu
    Copy the full SHA
    05ae723 View commit details
    Browse the repository at this point in the history

  6. version includes patch versions now, update to version 14.24.0

    @sjunges
    sjunges committed Mar 28, 2023
    Configuration menu
    Copy the full SHA
    6ee4b6c View commit details
    Browse the repository at this point in the history

Commits on Apr 3, 2023

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

    @sjunges
    sjunges committed Apr 3, 2023
    Configuration menu
    Copy the full SHA
    8320577 View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2023

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

    @sjunges
    sjunges committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    8f6ed12 View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2023

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

    @sjunges
    sjunges committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    63d3461 View commit details
    Browse the repository at this point in the history

Commits on Dec 10, 2023

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

    @sjunges
    sjunges committed Dec 10, 2023
    Configuration menu
    Copy the full SHA
    8104453 View commit details
    Browse the repository at this point in the history

Commits on May 22, 2024

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

    @sjunges
    sjunges committed May 22, 2024
    Configuration menu
    Copy the full SHA
    b1b5da1 View commit details
    Browse the repository at this point in the history

  2. fixes moves-rwth#27

    @sjunges
    sjunges committed May 22, 2024
    Configuration menu
    Copy the full SHA
    0753294 View commit details
    Browse the repository at this point in the history

  3. move ifdef up

    @sjunges
    sjunges committed May 22, 2024
    Configuration menu
    Copy the full SHA
    deb591d View commit details
    Browse the repository at this point in the history

Commits on Aug 20, 2024

  1. cmake to project

    @sjunges
    sjunges committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    6b6b9a1 View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2024

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

    @sjunges
    sjunges committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    d493e43 View commit details
    Browse the repository at this point in the history

Commits on Aug 26, 2024

  1. towards carl for fetchcontent

    @sjunges
    sjunges committed Aug 26, 2024
    Configuration menu
    Copy the full SHA
    73e5394 View commit details
    Browse the repository at this point in the history

Commits on Aug 28, 2024

  1. updates

    @sjunges
    sjunges committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    eaaffc7 View commit details
    Browse the repository at this point in the history

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

    @sjunges
    sjunges committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    8ec7070 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into cmakeupdates

    @sjunges
    sjunges committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    7cc22f7 View commit details
    Browse the repository at this point in the history

Commits on Sep 3, 2024

  1. updates regarding ginac and what we install

    @sjunges
    sjunges committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    e1f43a2 View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2024

  1. remove comment

    @sjunges
    sjunges committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    f7c20b8 View commit details
    Browse the repository at this point in the history

Commits on Nov 13, 2024

  1. Added carl prefix to more messages

    @volkm
    volkm committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    c25b8ac View commit details
    Browse the repository at this point in the history