Package: sponsorship-requests Severity: wishlist Dear mentors,
I am looking for a sponsor for my package "esbmc": * Package name : esbmc Version : 8.4.0+dfsg-1 Upstream contact : ESBMC Development Team <[email protected]> * URL : https://esbmc.org * License : Apache-2.0, BSD-4-Clause, BSD-3-Clause, MIT, public-domain * Vcs : https://salsa.debian.org/WeiqiWang/esbmc Section : devel The source builds the following binary packages: esbmc - Efficient SMT-based Context-Bounded Model Checker To access further information about this package, please visit the following URL: https://mentors.debian.net/package/esbmc/ Alternatively, one can download the package with dget using this command: dget -x https://mentors.debian.net/debian/pool/main/e/esbmc/esbmc_8.4.0+dfsg-1.dsc This is the initial upload to Debian and closes the ITP bug #1138660. ESBMC (Efficient SMT-based Context-Bounded Model Checker) is a software model checker for C/C++ and Python programs. It verifies predefined safety properties (array bounds, pointer safety, arithmetic overflow, division by zero, memory leaks) as well as user-defined assertions, using SMT solvers. This package enables the Z3 solver and the Python frontend. Changes since the last upload (addressing the review by Bo YU on mentors.debian.net): * Collapsed the changelog to a single initial-release entry, as the package is not yet in Debian. * Vcs-Browser/Vcs-Git now point to the Debian packaging repository on salsa.debian.org, not upstream. * Enabled the Salsa CI pipeline (debian/salsa-ci.yml). * Replaced the versioned LLVM/Clang build-dependency alternatives with the unversioned default packages (llvm-dev, libclang-dev, libclang-cpp-dev, clang). The package is maintained in git at: https://salsa.debian.org/WeiqiWang/esbmc Regards, Weiqi Wang
