Issues

• vc_getCounter is undefined behaviour for unrecognised counters past the enum's C++ range

  libstp2
  stp/stp#1204 · Filter by author albertZhangTJ opened on Sep 29, 2026
  6

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

  stp/stp#679 · Filter by author aytey opened on Jul 28, 2026

• Find maximum value?

  stp/stp#425 · Filter by author r4dr3fr4d opened on May 12, 2022 · STP 2.5
  10

  

• Clearer instructions for building on Windows

  stp/stp#341 · Filter by author rgov opened on Feb 25, 2020
  2

• Try pushing back level-0 literals to the bit-vector layer

  stp/stp#290 · Filter by author TrevorHansen opened on Apr 26, 2018
  1

• Getting "measure" tool working again.

  stp/stp#280 · Filter by author TrevorHansen opened on Feb 23, 2018
  11

• Option "-z [ --print-varorder ] Print SAT variable order" not working

  enhancement
  stp/stp#233 · Filter by author pascaljung opened on Aug 17, 2016
  9

• Create wrapper around library functions to create re-playable log

  enhancement
  stp/stp#60 · Filter by author msoos opened on Oct 17, 2013
  1

  

• Replace Bit::Vector

  cleanupenhancement
  stp/stp#4 · Filter by author rgov opened on Sep 5, 2013
  32