Sign me up Login

Details about package esbmc

Name: esbmc
Uploader: Weiqi Wang <lukewang19@icloud.com> (Debian QA page)
Description: esbmc - Efficient SMT-based Context-Bounded Model Checker

Package uploads

Upload #3

Information

Version: 8.3.0+dfsg-4
Uploaded: 2026-06-01 21:08
Source package: esbmc_8.3.0+dfsg-4.dsc
Distribution: unstable
Section: devel
Priority: optional
Homepage: https://esbmc.org
Vcs-Browser: https://github.com/esbmc/esbmc
Vcs-Git: https://github.com/esbmc/esbmc.git

Changelog

 esbmc (8.3.0+dfsg-4) unstable; urgency=medium
 .
   * Fix debian/watch: switch to mode=git to bypass GitHub's JavaScript-
     rendered tags page; use dversionmangle to strip +dfsg and .0 suffix
     from the Debian version for comparison with upstream's 2-part tags
     (e.g. v8.3).  uscan now correctly reports the package as up to date.

QA information

Comments

  1. hi,

I do not have a deeply review, but this is not enough.

1. The package is not in Debian yet, so must keep one sentence on changelog: 
 like https://salsa.debian.org/Revy/xfel/-/blob/debian/latest/debian/changelog?ref_type=heads

2. it must to use Vcs-Browser of the Debian package in d/control, it is not upstream.

3. Then on repo for the package, to enable salsa-ci for it to see.

4. Do not need various version of clang, ideally to use the latest version.

Not to review more, but this is the most noted.

BR,
Bo
    Needs work Bo YU at June 8, 2026, 10:13 a.m.

Upload #2

Information

Version: 8.3.0+dfsg-3
Uploaded: 2026-06-01 20:38
Source package: esbmc_8.3.0+dfsg-3.dsc
Distribution: unstable
Section: devel
Priority: optional
Homepage: https://esbmc.org
Vcs-Browser: https://github.com/esbmc/esbmc
Vcs-Git: https://github.com/esbmc/esbmc.git

Changelog

 esbmc (8.3.0+dfsg-3) unstable; urgency=medium
 .
   * Fix debian/watch: correct filenamemangle to produce upstream-expected
     filename format; add uversionmangle for pre-release tags; fix regex to
     require the leading 'v' tag prefix so uscan can locate upstream versions.
   * Bump Standards-Version to 4.7.4 (no changes required).

QA information

Comments

No comments

Upload #1

Information

Version: 8.3.0+dfsg-2
Uploaded: 2026-06-01 20:23
Source package: esbmc_8.3.0+dfsg-2.dsc
Distribution: unstable
Section: devel
Priority: optional
Homepage: https://esbmc.org
Vcs-Browser: https://github.com/esbmc/esbmc
Vcs-Git: https://github.com/esbmc/esbmc.git
Closes bugs: #1138660

Changelog

 esbmc (8.3.0+dfsg-2) unstable; urgency=medium
 .
   * Initial release for Debian (Closes: #1138660).
   * Drop Ubuntu 22.04 (Jammy) support.  ESBMC 8.3.0 uses std::unreachable()
     (C++23, <utility>), which requires GCC >= 12 or an equivalent standard
     library.  Ubuntu 22.04 ships GCC 11 (libstdc++-11), which does not
     provide this symbol; the Jammy build therefore fails at compile time with
     "'unreachable' is not a member of 'std'".  Upstream CI runs exclusively on
     Ubuntu 24.04 and does not test 22.04.  Users on 22.04 should build from
     source with a toolchain from the ubuntu-toolchain-r PPA (GCC >= 12) or
     upgrade to Ubuntu 24.04 (Noble).

QA information

Comments

No comments