Code

Extend STP_STUB and YICES_STUB flag#600

Code

Draft

Vekhir wants to merge 8 commits intoB-Lang-org:mainB-Lang-org/bsc:mainfrom Vekhir:stp-sysVekhir/bsc:stp-sysCopy head branch name to clipboard

+584-28

Commits

Commits on Aug 13, 2023

• Introduce STP_USE_LIB flag

  Show description for d81def4
  Vekhir

  committed
  d81def4

  Copy full SHA for d81def4

• Prohibit STP_STUB in favor of STP_USE_LIB=disable

  Show description for d3b34e3
  Vekhir

  committed
  d3b34e3

  Copy full SHA for d3b34e3

• Add MacOS support to STP_USE_LIB

  Show description for 0feb6b8
  Vekhir

  committed
  0feb6b8

  Copy full SHA for 0feb6b8

• Generalize search for STP system library

  Show description for a4536b8
  Vekhir

  committed
  a4536b8

  Copy full SHA for a4536b8

• Improve readability in stp/Makefile

  Show description for fcb8e05
  Vekhir

  committed
  fcb8e05

  Copy full SHA for fcb8e05

• Clean up STP src

  Show description for 4866ecf
  Vekhir

  committed
  4866ecf

  Copy full SHA for 4866ecf

• Minor fixes for STP handling

  Vekhir

  committed
  cf03829

  Copy full SHA for cf03829

Commits on Aug 16, 2023

• Introduce placeholder option to STP

  Show description for aed005b
  Vekhir

  committed
  aed005b

  Copy full SHA for aed005b