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).

 -- Weiqi Wang <lukewang19@icloud.com>  Sun, 01 Jun 2026 00:00:00 +0000

esbmc (8.3.0+dfsg-1) noble; urgency=medium

  * New upstream release 8.3.0.
  * Repack upstream tarball as +dfsg: exclude prebuilt Qt test binaries
    (regression/esbmc-cpp/qt/), macOS .DS_Store and .pro.user artefacts,
    and a stale core dump (regression/csmith/csmith05/core) that have no
    corresponding source in the repository.  Files-Excluded added to
    debian/copyright; debian/watch updated with repacksuffix=+dfsg.
  * Fix ExternalDependencies.cmake: gate fmt, nlohmann-json and yaml-cpp
    FetchContent behind DOWNLOAD_DEPENDENCIES=ON; add find_package() fallback
    so DOWNLOAD_DEPENDENCIES=OFF (used in distro builds) uses installed system
    libraries instead of fetching from the internet.
  * Extend LLVM/Clang Build-Depends and runtime Depends alternatives to cover
    versions 21 and 22 (cmake MAX_SUPPORTED_LLVM_VERSION_MAJOR is now 22).
  * Fix debian/copyright: update ESBMC upstream copyright year to 2026;
    correct Files glob for bundled ast2json to
    src/python-frontend/libs/ast2json/*.

 -- Weiqi Wang <lukewang19@icloud.com>  Sun, 01 Jun 2026 00:00:00 +0000

esbmc (8.2.0-2) noble; urgency=medium

  * Add gcc-multilib [amd64 i386] to Build-Depends: required to build
    clib32.goto (32-bit C library goto binary) in c2goto component.
    Previous removal in 8.2.0-1 caused Launchpad build failure:
    bits/libc-header-start.h not found.

 -- Weiqi Wang <lukewang19@icloud.com>  Fri, 17 Apr 2026 00:00:00 +0000

esbmc (8.2.0-1) noble; urgency=medium

  * New upstream release 8.2.0.
  * Inline ast2json conversion into parser.py, eliminating bundled
    third-party source (Closes: Debian Policy §4.13 compliance).
  * Merge fmt::underlying compatibility shim into format.h for fmt < 9.0.0,
    removing need for a Debian-specific patch.
  * Merge DOWNLOAD_DEPENDENCIES=OFF system-library support into
    ExternalDependencies.cmake, removing need for a Debian-specific patch.
  * Move python3-mypy from Depends to Recommends: ESBMC degrades gracefully
    without it (type-checking warnings suppressed, verification unaffected).
  * Remove libstdc++-dev from Depends: dynamically-built binary only needs
    libstdc++6 (already provided via ${shlibs:Depends}).
  * Add CLANG_LINK_CLANG_DYLIB=OFF to cmake flags, linking against
    individual Clang static archives instead of libclang-cpp.so; this
    removes the need for -Wl,--unresolved-symbols=ignore-in-object-files.
  * Extend LLVM/Clang Build-Depends alternatives to cover versions 14-20.
  * Bump Standards-Version to 4.7.0 (no changes required).
  * Add Rules-Requires-Root: no.
  * Add debian/watch for uscan.

 -- Weiqi Wang <lukewang19@icloud.com>  Thu, 17 Apr 2026 00:00:00 +0000

esbmc (8.0.0+fix1-1) unstable; urgency=medium

  * Initial packaging of ESBMC v8.0 for Debian.
  * ESBMC v8.0: Python frontend with comprehensive type system improvements,
    dictionary support, string operations, and function contract support.
  * Add clang and libclang-common runtime dependencies for C/C++ verification.

 -- Weiqi Wang <lukewang19@icloud.com>  Mon, 26 Jan 2026 12:55:50 +0000
