All issues

Search results

Investigate "TODO: I chose the number of reads we perform this operation at randomly."

Status: Open.

#679 In stp/stp;

· aytey opened on Jul 28, 2026

PYTHON_LIB_INSTALL_DIR does not follow CMAKE_INSTALL_PREFIX

Status: Open.

#650 In stp/stp;

· TrevorHansen opened on Jul 26, 2026

libabc-pic.so not handled correctly

Status: Open.

#510 In stp/stp;

· ccadar opened on Oct 24, 2025

Update STP to conform with SMTLIB 2.6 or 2.7

Status: Open.

#500 In stp/stp;

· Supermarcel10 opened on Mar 28, 2025

Installing to non-standard directory gives errors

Status: Open.

#479 In stp/stp;

· gussmith23 opened on Dec 19, 2023

About STP Aborted

Status: Open.

#471 In stp/stp;

· zfx-code opened on Oct 14, 2023

Find maximum value?

Status: Open.

#425 In stp/stp;

· r4dr3fr4d opened on May 12, 2022

·  

STP 2.5

"Conflict" between system-wide Googletest install and STP's (macOS)

build issue

Status: Open.

#393 In stp/stp;

· aytey opened on Jan 24, 2021

build system does not seem to respect CMAKE_INSTALL_PREFIX for Python API

Status: Open.

#353 In stp/stp;

· mfernan2 opened on May 20, 2020

Document the command line tools

Status: Open.

#342 In stp/stp;

· rgov opened on Feb 25, 2020

Clearer instructions for building on Windows

Status: Open.

#341 In stp/stp;

· rgov opened on Feb 25, 2020

How can I obtain the Index Type and Element/Data Type of an Array Expression ?

Status: Open.

#333 In stp/stp;

· refactormyself opened on Jul 29, 2019