Code

Yices2 windows support#215

Code

Open

baierd wants to merge 15 commits intomastersosy-lab/java-smt:masterfrom yices2_windows_supportsosy-lab/java-smt:yices2_windows_supportCopy head branch name to clipboard

+225-8

Commits

Commits on Jan 22, 2021

• Extend Yices2 library loading to load Windows by switching to a Method

  baierd

  committed
  9341ce9

  Copy full SHA for 9341ce9

• Update how Yices2ApiTest loads libs

  baierd

  committed
  5dc0a2a

  Copy full SHA for 5dc0a2a

• Change lib name of Yices2 for loading in Windows

  baierd

  committed
  f93295d

  Copy full SHA for f93295d

Commits on Feb 2, 2021

• Merge 'origin/master' into yices2_windows_support

  baierd

  committed
  6189e34

  Copy full SHA for 6189e34

• Change Types to be Windows compatible

  baierd

  committed
  340b60a

  Copy full SHA for 340b60a

• Script + Tutorial for Yices2 Windows Binary

  baierd

  committed
  5d38ba6

  Copy full SHA for 5d38ba6

Commits on Feb 3, 2021

• fix spelling/error + dependency info

  baierd

  committed
  9075e10

  Copy full SHA for 9075e10

• checkstyle

  baierd

  committed
  a99c3af

  Copy full SHA for a99c3af

Commits on Feb 5, 2021

• Provide a seperate script for Linux based mingw

  baierd

  committed
  d7c747a

  Copy full SHA for d7c747a

Commits on Feb 27, 2021

• Update Yices2 Windows Build to static GMP

  baierd

  authored
  f6086d4

  Copy full SHA for f6086d4

• Update compile instructions for static Yices2

  baierd

  authored
  c674f4e

  Copy full SHA for c674f4e

Commits on Apr 7, 2021

• Update Yices2 Windows build script for Cygwin

  baierd

  authored
  c73eda5

  Copy full SHA for c73eda5

• More information regarding multithreading

  baierd

  authored
  114a9f8

  Copy full SHA for 114a9f8

• Merge remote-tracking branch 'origin/master' into yices2_windows_support

  baierd

  committed
  6e954dc

  Copy full SHA for 6e954dc

• Merge w Master + remove old file

  baierd

  committed
  9f7f213

  Copy full SHA for 9f7f213