libstp2_3-2.3.3+20220507-1.2 RPM for riscv64

From OpenSuSE Ports Tumbleweed for riscv64

STP is an efficient decision procedure for the validity (or satisfiability) of
formulas from a quantifier-free many-sorted theory of fixed-width bitvectors
and (non-extensional) one-dimensional arrays. The functions in STP's input
language include concatenation, extraction, left/right shift, sign-extension,
unary minus, addition, multiplication, (signed) modulo/division, bitwise
Boolean operations, if-then-else terms, and array reads and writes. The
predicates in the language include equality and (signed) comparators between
bitvector terms.

Provides

• libstp2_3
• libstp.so.2.3()(64bit)
• libstp2_3(riscv-64)

Requires

• /sbin/ldconfig
• /sbin/ldconfig
• ld-linux-riscv64-lp64d.so.1()(64bit)
• ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.27)(64bit)
• libgcc_s.so.1()(64bit)
• libgcc_s.so.1(GCC_3.0)(64bit)
• libgcc_s.so.1(GCC_3.3.1)(64bit)
• libgcc_s.so.1(GCC_3.4)(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.27)(64bit)
• libminisat.so.2()(64bit)
• libstdc++.so.6()(64bit)
• libstdc++.so.6(CXXABI_1.3)(64bit)
• libstdc++.so.6(CXXABI_1.3.5)(64bit)
• libstdc++.so.6(CXXABI_1.3.7)(64bit)
• libstdc++.so.6(CXXABI_1.3.9)(64bit)
• libstdc++.so.6(GLIBCXX_3.4)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.15)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.18)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.20)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1

License

MIT

Changelog

* Wed May 11 2022 jslaby@suse.cz
  - Update to version 2.3.3+20220507:
    * Don't save a pointer to node factor in case it gets updated later
    * Improved pure literal removal and unit test
    * Simplify less than one to equal to zero.
    * handle more cases and better testing of simplifying node factory
    * refactor. Clean up initialisation of STP in a tool.
    * Make initialising STP slightly easier.
    * remove some more default functions.
    * refactor. Remove substitition map out of simplifier class.
    * Remove a flag that wasn't read.
    * Remove a dead path and the associated flag.
    * Refactor. Use node factory rather than STPMgr.
    * Remove simplifier from substitution map.
    * Make more things private in Simplifier
    * refactor. Moving some code out of simplify
    * deleting some default generated constructors
* Wed Mar 16 2022 jslaby@suse.cz
  - Update to version 2.3.3+20220314:
    * doc: fix typo
    * stop aig rewriting if the number of and nodes doesn't reduce.
    * Add command line option to control whether size reducing simplifications fixed point.
    * refactor. Order the user flags.
    * remove unreachable option
    * Enable the setting of more options via the command-line arguments.
    * fixes 421
    * Trial assigning to flags at definition time.
    * remove unused includes
    * Fix. adaed499e3d24bcf906852a6c428df07b5a6cee2 shouldn't have turned on flattening when simplifications are disabled.
    * Fix. Nodes that are complements shouldn't evaluate as being equal.
    * and much more
* Fri Feb 19 2021 jslaby@suse.cz
  - Update to version 2.3.3+20210104:
    * Creating an API to get the value/index size from a 'Type'
* Wed Nov 04 2020 jslaby@suse.cz
  - Update to version 2.3.3+20201027:
    * Ensuring that we do not create double frames when creating a new frame; closes #385
    * Fix build for minisat, using stp/minisat
    * First look for installed MiniSat, then the built one
    * Fixing warnings by GitHub static code analysis
    * Allow finding minisat through CONFIG first
    * Create codeql-analysis.yml
    * Ensuring documentation consistency with the use of semicolon vs. period
    * Correcting double backticks in README
    * Updating README to update build steps and document how to run CMake without installing STP's dependencies system-wide
    * Importing the latest 'GetGitRevisionDescription' CMake modules from rpavlik/cmake-modules
    * Ensuring that all CMake targets are correct to support no-op builds
    * Updating code to use C++11 autos for readability
    * and much more
  - switch to obs_scm
* Wed Nov 04 2020 Jiri Slaby <jslaby@suse.cz>
  - fix build on 12sp5 -- define Python_ADDITIONAL_VERSIONS to 3
* Thu Jan 30 2020 jslaby@suse.com
  - Update to version 2.3.3+20200113:
    * Fixing tests so build doesn't break
    * Removing slow running tests
    * Better support for python in build
    * less bad model printing for arrays.
    * Change reference to Minisat repo
    * extra little one.
    * Removing tests that take 1 minute to execute
* Thu Jan 09 2020 Martin Pluskal <mpluskal@suse.com>
  - Python3 bindings subpackage should be named correctly
  - More modern cmake macros
* Thu Jan 09 2020 Ondřej Súkup <mimi.vx@gmail.com>
  - build python3 bindings + patch py3.patch
  - drop dependecy on python devel .. not needed
* Wed Jul 31 2019 jslaby@suse.com
  - Update to version 2.3.3+20190713:
    * fix #330.
    * Partial fix for #330.
    * Hack to get a smtlib benchmark parsing.
    * Decimal output is incredibly slow for ~30,000 bits.
    * Timeout tests are way too slow, removing
    * fix. wasn't printing success like it should on some smtlib commands.
    * -p will now print smtlib2 format models when the smtlib2 parser is selected. smtlib2 models contain all the variables (even those that can take any value).
    * don't output a model if it was unsat.
    * fix boolean model output.
* Sat Feb 23 2019 jslaby@suse.com
  - Update to version 2.3.2+20190222:
    * Don't cache data in case of error
    * Reordering riss library, maybe that will fix the issue
    * Trying to fix appveyor
    * Let's see the output of RISS being built
    * No need for rdynamic hackery
    * It's best to name the library target "stp" not "libstp"
    * Fixing using <packagename>_ROOT variables
    * Adding compiler options
    * Fixing the mess that staticcompile was causing
    * Fixing version-number based issue with the Docker image
    * Removing gcc extension of C++, not needed
    * Let's fix up Appveyor for static build
  - Note that the build is fixed with bison 3.3.2.
  - remove 0001-CMake-fix-dirs-again.patch, in upstream now

Files

/usr/lib64/libstp.so.2.3

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Jul 27 00:09:43 2022