-
Notifications
You must be signed in to change notification settings - Fork 145
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#7803 In esbmc/esbmc;
- Status: Open.#7802 In esbmc/esbmc;
[om] Add the C++11-C++23 library headers missing from src/cpp/library
C++Anything related to C++ verificationAnything related to C++ verificationOMOperational ModelOperational ModelStatus: Open.#7797 In esbmc/esbmc;[om] <csignal> lacks std::signal, SIG_DFL and SIGTERM, and clashes with <signal.h>
C++Anything related to C++ verificationAnything related to C++ verificationOMOperational ModelOperational ModelStatus: Open.#7796 In esbmc/esbmc;[om] <cfenv>, <cinttypes>, <cwctype> and six more C wrapper headers not found
C++Anything related to C++ verificationAnything related to C++ verificationOMOperational ModelOperational ModelStatus: Open.#7795 In esbmc/esbmc;[solver] Punning a float zero through a union leaves the sign bit free
correctness: false positiveThe issue causes a false VERIFICATION FAILED verdict.The issue causes a false VERIFICATION FAILED verdict.Status: Open.#7792 In esbmc/esbmc;[CUDA] Two curand race regression tests never launch a kernel
OMOperational ModelOperational ModeltestAll code test related taks/issuesAll code test related taks/issuesStatus: Open.#7768 In esbmc/esbmc;- Status: Open.#7767 In esbmc/esbmc;
[CUDA] extern __shared__ modelled as one element; false OOB
correctness: false positiveThe issue causes a false VERIFICATION FAILED verdict.The issue causes a false VERIFICATION FAILED verdict.OMOperational ModelOperational ModelStatus: Open.#7765 In esbmc/esbmc;[CUDA] Kernel harness has 44 signatures and type-puns via void*
C++Anything related to C++ verificationAnything related to C++ verificationOMOperational ModelOperational ModelStatus: Open.#7764 In esbmc/esbmc;[CUDA] .cu parsed as plain C++; <<<...>>> launch syntax fails
C++Anything related to C++ verificationAnything related to C++ verificationOMOperational ModelOperational ModelStatus: Open.#7763 In esbmc/esbmc;[CUDA] Thread/block index space is hard-capped at 2 threads
C++Anything related to C++ verificationAnything related to C++ verificationcorrectness: false negativeThe issue causes a false VERIFICATION SUCCESSFUL verdict.The issue causes a false VERIFICATION SUCCESSFUL verdict.correctness: false positiveThe issue causes a false VERIFICATION FAILED verdict.The issue causes a false VERIFICATION FAILED verdict.OMOperational ModelOperational ModelStatus: Open.#7762 In esbmc/esbmc;