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

Yices2 windows support #215

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

Yices2 windows support #215

wants to merge 15 commits into from

Commits on Jan 22, 2021

  1. Extend Yices2 library loading to load Windows by switching to a Method

    @baierd
    baierd committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    9341ce9 View commit details
    Browse the repository at this point in the history

  2. Update how Yices2ApiTest loads libs

    @baierd
    baierd committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    5dc0a2a View commit details
    Browse the repository at this point in the history

  3. Change lib name of Yices2 for loading in Windows

    @baierd
    baierd committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    f93295d View commit details
    Browse the repository at this point in the history

Commits on Feb 2, 2021

  1. Merge 'origin/master' into yices2_windows_support

    @baierd
    baierd committed Feb 2, 2021
    Configuration menu
    Copy the full SHA
    6189e34 View commit details
    Browse the repository at this point in the history

  2. Change Types to be Windows compatible

    @baierd
    baierd committed Feb 2, 2021
    Configuration menu
    Copy the full SHA
    340b60a View commit details
    Browse the repository at this point in the history

  3. Script + Tutorial for Yices2 Windows Binary

    @baierd
    baierd committed Feb 2, 2021
    Configuration menu
    Copy the full SHA
    5d38ba6 View commit details
    Browse the repository at this point in the history

Commits on Feb 3, 2021

  1. fix spelling/error + dependency info

    @baierd
    baierd committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    9075e10 View commit details
    Browse the repository at this point in the history

  2. checkstyle

    @baierd
    baierd committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    a99c3af View commit details
    Browse the repository at this point in the history

Commits on Feb 5, 2021

  1. Provide a seperate script for Linux based mingw

    @baierd
    baierd committed Feb 5, 2021
    Configuration menu
    Copy the full SHA
    d7c747a View commit details
    Browse the repository at this point in the history

Commits on Feb 27, 2021

  1. Update Yices2 Windows Build to static GMP

    @baierd
    baierd authored Feb 27, 2021
    Configuration menu
    Copy the full SHA
    f6086d4 View commit details
    Browse the repository at this point in the history

  2. Update compile instructions for static Yices2

    @baierd
    baierd authored Feb 27, 2021
    Configuration menu
    Copy the full SHA
    c674f4e View commit details
    Browse the repository at this point in the history

Commits on Apr 7, 2021

  1. Update Yices2 Windows build script for Cygwin

    @baierd
    baierd authored Apr 7, 2021
    Configuration menu
    Copy the full SHA
    c73eda5 View commit details
    Browse the repository at this point in the history

  2. More information regarding multithreading

    @baierd
    baierd authored Apr 7, 2021
    Configuration menu
    Copy the full SHA
    114a9f8 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/master' into yices2_windows_support

    @baierd
    baierd committed Apr 7, 2021
    Configuration menu
    Copy the full SHA
    6e954dc View commit details
    Browse the repository at this point in the history

  4. Merge w Master + remove old file

    @baierd
    baierd committed Apr 7, 2021
    Configuration menu
    Copy the full SHA
    9f7f213 View commit details
    Browse the repository at this point in the history