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

Fixing problems with compilation using C++11 compilers #24

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

Fixing problems with compilation using C++11 compilers #24

wants to merge 26 commits into from

Commits on Apr 1, 2015

  1. Fixing problems with compilation with C++11 compilers

    @msoos
    msoos committed Apr 1, 2015
    Configuration menu
    Copy the full SHA
    c554273 View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2015

  1. Remove illegal (and not neccesary) friend definition to fix compilati… 

    …on under clang.
    @jbransen
    jbransen authored and Dan Liew committed Apr 8, 2015
    Configuration menu
    Copy the full SHA
    4d9462e View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2015

  1. Fix declaration of Minisat::memUsedPeak for non-Linux systems

    @rgov
    rgov committed Jun 22, 2015
    Configuration menu
    Copy the full SHA
    3db5894 View commit details
    Browse the repository at this point in the history

Commits on Mar 19, 2016

  1. Specify default argument in the declaration not the friend declaration

    @msoos
    msoos committed Mar 19, 2016
    Configuration menu
    Copy the full SHA
    26b58cf View commit details
    Browse the repository at this point in the history

Commits on Apr 23, 2017

  1. Fixing Visual Studio build issues

    @msoos
    msoos committed Apr 23, 2017
    Configuration menu
    Copy the full SHA
    25ac527 View commit details
    Browse the repository at this point in the history

  2. Adding appveyor for minisat

    @msoos
    msoos committed Apr 23, 2017
    Configuration menu
    Copy the full SHA
    7d4cb54 View commit details
    Browse the repository at this point in the history

  3. Fixing appveyor build

    @msoos
    msoos committed Apr 23, 2017
    Configuration menu
    Copy the full SHA
    5566d44 View commit details
    Browse the repository at this point in the history

Commits on Apr 27, 2017

  1. fixed GCC 6.3 warning: invalid suffix on literal; C++11 requires a sp… 

    …ace between literal and string macro [-Wliteral-suffix]
    @Robbepop
    Robbepop committed Apr 27, 2017
    Configuration menu
    Copy the full SHA
    a98e44f View commit details
    Browse the repository at this point in the history

  2. Merge pull request #1 from Robbepop/master 

    fixed GCC 6.3 warning: invalid suffix on literal; C++11 requires a sp…
    @msoos
    msoos authored Apr 27, 2017
    Configuration menu
    Copy the full SHA
    0662095 View commit details
    Browse the repository at this point in the history

Commits on Mar 7, 2018

  1. Resolve merge conflicts

    @rgov
    rgov committed Mar 7, 2018
    Configuration menu
    Copy the full SHA
    99e19fc View commit details
    Browse the repository at this point in the history

  2. Merge branch 'msoos-master'

    @rgov
    rgov committed Mar 7, 2018
    Configuration menu
    Copy the full SHA
    29bb7bc View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2018

  1. Fix linking of minisat as dependency library on MacOSX 

    RPath needed by MacOSX was not correctly set for minisat.
Therefore it was not correctly linked against STP.
    @MartinNowack
    MartinNowack authored Jun 29, 2018
    Configuration menu
    Copy the full SHA
    1aa1e87 View commit details
    Browse the repository at this point in the history

Commits on Jul 2, 2018

  1. Merge pull request #2 from MartinNowack/patch-1 

    Fix linking of minisat as dependency library on MacOSX
    @rgov
    rgov authored Jul 2, 2018
    Configuration menu
    Copy the full SHA
    a259927 View commit details
    Browse the repository at this point in the history

Commits on Feb 12, 2020

  1. Quell some clang warnings

    @bpfoley
    bpfoley committed Feb 12, 2020
    Configuration menu
    Copy the full SHA
    dbef978 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #4 from bpfoley/clang-warnings 

    Quell some clang warnings
    @msoos
    msoos authored Feb 12, 2020
    Configuration menu
    Copy the full SHA
    47baffb View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2020

  1. Fixing static vs. dynamic compile

    @msoos
    msoos committed Aug 31, 2020
    Configuration menu
    Copy the full SHA
    93da0f0 View commit details
    Browse the repository at this point in the history

  2. Export minisat project for other cmake builds

    @msoos
    msoos committed Aug 31, 2020
    Configuration menu
    Copy the full SHA
    a2c6fe6 View commit details
    Browse the repository at this point in the history

  3. Updating to fix build

    @msoos
    msoos committed Aug 31, 2020
    Configuration menu
    Copy the full SHA
    dd31450 View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2020

  1. Merge pull request #5 from stp/stp-master 

    Adding Export, fixing static libraries and binaries
    @msoos
    msoos authored Sep 1, 2020
    Configuration menu
    Copy the full SHA
    16d13d0 View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2020

  1. CMakeLists: support different lib dirs 

    On 64bit systems, the usual destination for libraries is /usr/lib64,
not /usr/lib. So add CMAKE_INSTALL_LIBDIR and allow overriding the
the default.
    @msoos
    Jiri Slaby authored and msoos committed Sep 2, 2020
    Configuration menu
    Copy the full SHA
    1193f18 View commit details
    Browse the repository at this point in the history

  2. Removing second STATICCOMPILE

    @msoos
    msoos committed Sep 2, 2020
    Configuration menu
    Copy the full SHA
    5f9111f View commit details
    Browse the repository at this point in the history

  3. Revert "CMakeLists: support different lib dirs" 

    This reverts commit 1193f18.
    @msoos
    msoos committed Sep 2, 2020
    Configuration menu
    Copy the full SHA
    5b16571 View commit details
    Browse the repository at this point in the history

  4. Adding uninstall capability

    @msoos
    msoos committed Sep 2, 2020
    Configuration menu
    Copy the full SHA
    5a38d36 View commit details
    Browse the repository at this point in the history

  5. Fixing exported definitions

    @msoos
    msoos committed Sep 2, 2020
    Configuration menu
    Copy the full SHA
    37158a3 View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2023

  1. utils/System.*: use fpu_control only on glibc 

    Bug: vprover/vampire#432
Signed-off-by: Maciej Barć <[email protected]>
    @xgqt
    xgqt committed Feb 6, 2023
    Configuration menu
    Copy the full SHA
    4c8afcd View commit details
    Browse the repository at this point in the history

  2. Merge pull request #6 from xgqt/fix_musl 

    utils/System.*: use fpu_control only on glibc
    @msoos
    msoos authored Feb 6, 2023
    Configuration menu
    Copy the full SHA
    14c7820 View commit details
    Browse the repository at this point in the history