-
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.#7901 In esbmc/esbmc;
[CI] No failing job runs regression/python-intensive
testAll code test related taks/issuesAll code test related taks/issuesStatus: Open.#7857 In esbmc/esbmc;- 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;- 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;[umbrella] CUDA verification cannot handle modern CUDA kernels
C++Anything related to C++ verificationAnything related to C++ verificationOMOperational ModelOperational ModelStatus: Open.#7761 In esbmc/esbmc;- Status: Open.#7745 In esbmc/esbmc;