search for: scbmc

Displaying 5 results from an estimated 5 matches for "scbmc".

2019 Feb 26
2
Debug info for CUDA code
....linuxbrew/Cellar/llvm/HEAD-48aefa8/lib/clang/9.0.0/include/cuda_wrappers -internal-isystem /net/gs/vol3/software/modules-sw/cuda/10.0/Linux/RHEL6/x86_64/include -include __clang_cuda_runtime_wrapper.h -isystem /home/aznb/.linuxbrew/Cellar/boost/1.68.0_clang/include/boost-1_68 -I /home/aznb/mycodes/scbmc -I /home/aznb/mycodes/scbmc/build_cuda_clang_debug/_deps/kokkos-src/core/src -I /home/aznb/mycodes/scbmc/build_cuda_clang_debug/_deps/kokkos-src/containers/src -I /home/aznb/mycodes/scbmc/build_cuda_clang_debug/_deps/kokkos-src/algorithms/src -I /home/aznb/mycodes/scbmc/build_cuda_clang_debug/_deps...
2019 Feb 27
3
Debug info for CUDA code
....linuxbrew/Cellar/llvm/HEAD-48aefa8/lib/clang/9.0.0/include/cuda_wrappers -internal-isystem /net/gs/vol3/software/modules-sw/cuda/10.0/Linux/RHEL6/x86_64/include -include __clang_cuda_runtime_wrapper.h -isystem /home/aznb/.linuxbrew/Cellar/boost/1.68.0_clang/include/boost-1_68 -I /home/aznb/mycodes/scbmc -I /home/aznb/mycodes/scbmc/build_cuda_clang_debug/_deps/kokkos-src/core/src -I /home/aznb/mycodes/scbmc/build_cuda_clang_debug/_deps/kokkos-src/containers/src -I /home/aznb/mycodes/scbmc/build_cuda_clang_debug/_deps/kokkos-src/algorithms/src -I /home/aznb/mycodes/scbmc/build_cuda_clang_debug/_deps...
2019 Mar 11
2
Debug info for CUDA code
....linuxbrew/Cellar/llvm/HEAD-48aefa8/lib/clang/9.0.0/include/cuda_wrappers -internal-isystem /net/gs/vol3/software/modules-sw/cuda/10.0/Linux/RHEL6/x86_64/include -include __clang_cuda_runtime_wrapper.h -isystem /home/aznb/.linuxbrew/Cellar/boost/1.68.0_clang/include/boost-1_68 -I /home/aznb/mycodes/scbmc -I /home/aznb/mycodes/scbmc/build_cuda_clang_debug/_deps/kokkos-src/core/src -I /home/aznb/mycodes/scbmc/build_cuda_clang_debug/_deps/kokkos-src/containers/src -I /home/aznb/mycodes/scbmc/build_cuda_clang_debug/_deps/kokkos-src/algorithms/src -I /home/aznb/mycodes/scbmc/build_cuda_clang_debug/_deps...
2020 Jan 15
2
Debug info for CUDA code
....linuxbrew/Cellar/llvm/HEAD-48aefa8/lib/clang/9.0.0/include/cuda_wrappers -internal-isystem /net/gs/vol3/software/modules-sw/cuda/10.0/Linux/RHEL6/x86_64/include -include __clang_cuda_runtime_wrapper.h -isystem /home/aznb/.linuxbrew/Cellar/boost/1.68.0_clang/include/boost-1_68 -I /home/aznb/mycodes/scbmc -I /home/aznb/mycodes/scbmc/build_cuda_clang_debug/_deps/kokkos-src/core/src -I /home/aznb/mycodes/scbmc/build_cuda_clang_debug/_deps/kokkos-src/containers/src -I /home/aznb/mycodes/scbmc/build_cuda_clang_debug/_deps/kokkos-src/algorithms/src -I /home/aznb/mycodes/scbmc/build_cuda_clang_debug/_deps...
2019 Feb 26
1
Debug info for CUDA code
Hi Alexey, Thanks for the great work! The version I checked out works most of the time. But I do encounter crashes sometimes. I can't file a bug report on https://bugs.llvm.org/ because I don't have an account. I sent an email to bugs-admin at lists.llvm.org for an account already but I haven't heard back. Meanwhile, can you take a look at the issue? I'm attaching the bug report