From 0cd830021dd76c9e1711ba581dce37577e7835c4 Mon Sep 17 00:00:00 2001 From: Aren Babikian Date: Wed, 3 Feb 2021 03:16:35 +0100 Subject: fix previous commit --- .../bazel-bin/external/cds/_objs/cds/dhp.pic.d | 209 ++++++++++++++++++++ .../bazel-bin/external/cds/_objs/cds/dhp.pic.o | Bin 0 -> 36992 bytes .../bazel-bin/external/cds/_objs/cds/dllmain.pic.d | 153 +++++++++++++++ .../bazel-bin/external/cds/_objs/cds/dllmain.pic.o | Bin 0 -> 944 bytes .../bazel-bin/external/cds/_objs/cds/hp.pic.d | 214 +++++++++++++++++++++ .../bazel-bin/external/cds/_objs/cds/hp.pic.o | Bin 0 -> 32912 bytes .../bazel-bin/external/cds/_objs/cds/init.pic.d | 204 ++++++++++++++++++++ .../bazel-bin/external/cds/_objs/cds/init.pic.o | Bin 0 -> 4704 bytes .../external/cds/_objs/cds/thread_data.pic.d | 201 +++++++++++++++++++ .../external/cds/_objs/cds/thread_data.pic.o | Bin 0 -> 4536 bytes .../external/cds/_objs/cds/topology_hpux.pic.d | 199 +++++++++++++++++++ .../external/cds/_objs/cds/topology_hpux.pic.o | Bin 0 -> 944 bytes .../external/cds/_objs/cds/topology_linux.pic.d | 199 +++++++++++++++++++ .../external/cds/_objs/cds/topology_linux.pic.o | Bin 0 -> 2088 bytes .../external/cds/_objs/cds/topology_osx.pic.d | 199 +++++++++++++++++++ .../external/cds/_objs/cds/topology_osx.pic.o | Bin 0 -> 944 bytes .../bazel-bin/external/cds/_objs/cds/urcu_gp.pic.d | 197 +++++++++++++++++++ .../bazel-bin/external/cds/_objs/cds/urcu_gp.pic.o | Bin 0 -> 1776 bytes .../bazel-bin/external/cds/_objs/cds/urcu_sh.pic.d | 198 +++++++++++++++++++ .../bazel-bin/external/cds/_objs/cds/urcu_sh.pic.o | Bin 0 -> 2096 bytes 20 files changed, 1973 insertions(+) create mode 100755 Solvers/dreal4/bazel-bin/external/cds/_objs/cds/dhp.pic.d create mode 100755 Solvers/dreal4/bazel-bin/external/cds/_objs/cds/dhp.pic.o create mode 100755 Solvers/dreal4/bazel-bin/external/cds/_objs/cds/dllmain.pic.d create mode 100755 Solvers/dreal4/bazel-bin/external/cds/_objs/cds/dllmain.pic.o create mode 100755 Solvers/dreal4/bazel-bin/external/cds/_objs/cds/hp.pic.d create mode 100755 Solvers/dreal4/bazel-bin/external/cds/_objs/cds/hp.pic.o create mode 100755 Solvers/dreal4/bazel-bin/external/cds/_objs/cds/init.pic.d create mode 100755 Solvers/dreal4/bazel-bin/external/cds/_objs/cds/init.pic.o create mode 100755 Solvers/dreal4/bazel-bin/external/cds/_objs/cds/thread_data.pic.d create mode 100755 Solvers/dreal4/bazel-bin/external/cds/_objs/cds/thread_data.pic.o create mode 100755 Solvers/dreal4/bazel-bin/external/cds/_objs/cds/topology_hpux.pic.d create mode 100755 Solvers/dreal4/bazel-bin/external/cds/_objs/cds/topology_hpux.pic.o create mode 100755 Solvers/dreal4/bazel-bin/external/cds/_objs/cds/topology_linux.pic.d create mode 100755 Solvers/dreal4/bazel-bin/external/cds/_objs/cds/topology_linux.pic.o create mode 100755 Solvers/dreal4/bazel-bin/external/cds/_objs/cds/topology_osx.pic.d create mode 100755 Solvers/dreal4/bazel-bin/external/cds/_objs/cds/topology_osx.pic.o create mode 100755 Solvers/dreal4/bazel-bin/external/cds/_objs/cds/urcu_gp.pic.d create mode 100755 Solvers/dreal4/bazel-bin/external/cds/_objs/cds/urcu_gp.pic.o create mode 100755 Solvers/dreal4/bazel-bin/external/cds/_objs/cds/urcu_sh.pic.d create mode 100755 Solvers/dreal4/bazel-bin/external/cds/_objs/cds/urcu_sh.pic.o (limited to 'Solvers/dreal4/bazel-bin/external/cds/_objs/cds') diff --git a/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/dhp.pic.d b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/dhp.pic.d new file mode 100755 index 00000000..f720a28e --- /dev/null +++ b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/dhp.pic.d @@ -0,0 +1,209 @@ +bazel-out/k8-opt/bin/external/cds/_objs/cds/dhp.pic.o: \ + external/cds/src/dhp.cpp /usr/include/stdc-predef.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/algorithm \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/utility \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++config.h \ + /usr/include/bits/wordsize.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/os_defines.h \ + /usr/include/features.h /usr/include/sys/cdefs.h \ + /usr/include/bits/long-double.h /usr/include/gnu/stubs.h \ + /usr/include/gnu/stubs-64.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/cpu_defines.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_relops.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_pair.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/move.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/type_traits \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/initializer_list \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algobase.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functexcept.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_defines.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cpp_type_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/type_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/numeric_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_types.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_funcs.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/concept_check.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/assertions.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ptr_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/debug.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/predefined_ops.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algo.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdlib \ + /usr/include/stdlib.h /usr/include/bits/libc-header-start.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stddef.h \ + /usr/include/bits/waitflags.h /usr/include/bits/waitstatus.h \ + /usr/include/bits/floatn.h /usr/include/bits/floatn-common.h \ + /usr/include/bits/types/locale_t.h /usr/include/bits/types/__locale_t.h \ + /usr/include/sys/types.h /usr/include/bits/types.h \ + /usr/include/bits/timesize.h /usr/include/bits/typesizes.h \ + /usr/include/bits/time64.h /usr/include/bits/types/clock_t.h \ + /usr/include/bits/types/clockid_t.h /usr/include/bits/types/time_t.h \ + /usr/include/bits/types/timer_t.h /usr/include/bits/stdint-intn.h \ + /usr/include/endian.h /usr/include/bits/endian.h \ + /usr/include/bits/endianness.h /usr/include/bits/byteswap.h \ + /usr/include/bits/uintn-identity.h /usr/include/sys/select.h \ + /usr/include/bits/select.h /usr/include/bits/types/sigset_t.h \ + /usr/include/bits/types/__sigset_t.h \ + /usr/include/bits/types/struct_timeval.h \ + /usr/include/bits/types/struct_timespec.h /usr/include/bits/select2.h \ + /usr/include/bits/pthreadtypes.h /usr/include/bits/thread-shared-types.h \ + /usr/include/bits/pthreadtypes-arch.h /usr/include/bits/struct_mutex.h \ + /usr/include/bits/struct_rwlock.h /usr/include/alloca.h \ + /usr/include/bits/stdlib-bsearch.h /usr/include/bits/stdlib-float.h \ + /usr/include/bits/stdlib.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_abs.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/algorithmfwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_heap.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tempbuf.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_construct.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/new \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/exception \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_init_exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/typeinfo \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hash_bytes.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/nested_exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uniform_int_dist.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/limits \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/vector \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/new_allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/memoryfwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_uninitialized.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/alloc_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/alloc_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_vector.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_bvector.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functional_hash.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_access.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/iterator_concepts.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/concepts \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_cmp.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/int_limits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/vector.tcc \ + external/cds/cds/gc/dhp.h external/cds/cds/gc/details/hp_common.h \ + external/cds/cds/algo/atomic.h external/cds/cds/details/defs.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdlib.h \ + /usr/include/assert.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdint \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stdint.h \ + /usr/include/stdint.h /usr/include/bits/wchar.h \ + /usr/include/bits/stdint-uintn.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdexcept \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/string \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stringfwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/char_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/postypes.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwchar \ + /usr/include/wchar.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stdarg.h \ + /usr/include/bits/types/wint_t.h /usr/include/bits/types/mbstate_t.h \ + /usr/include/bits/types/__mbstate_t.h /usr/include/bits/types/__FILE.h \ + /usr/include/bits/types/FILE.h /usr/include/bits/wchar2.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/localefwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++locale.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/clocale \ + /usr/include/locale.h /usr/include/bits/locale.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iosfwd \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cctype \ + /usr/include/ctype.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream_insert.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_forced.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_function.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/binders.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/atomicity.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/bits/sched.h \ + /usr/include/bits/types/struct_sched_param.h /usr/include/bits/cpu-set.h \ + /usr/include/time.h /usr/include/bits/time.h /usr/include/bits/timex.h \ + /usr/include/bits/types/struct_tm.h \ + /usr/include/bits/types/struct_itimerspec.h /usr/include/bits/setjmp.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/atomic_word.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/string_conversions.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdio \ + /usr/include/stdio.h /usr/include/bits/types/__fpos_t.h \ + /usr/include/bits/types/__fpos64_t.h \ + /usr/include/bits/types/struct_FILE.h \ + /usr/include/bits/types/cookie_io_functions_t.h \ + /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h \ + /usr/include/bits/stdio.h /usr/include/bits/stdio2.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cerrno \ + /usr/include/errno.h /usr/include/bits/errno.h \ + /usr/include/linux/errno.h /usr/include/asm/errno.h \ + /usr/include/asm-generic/errno.h /usr/include/asm-generic/errno-base.h \ + /usr/include/bits/types/error_t.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/charconv.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.tcc \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/memory \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_raw_storage_iter.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ranges_uninitialized.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/concurrence.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uses_allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unique_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/tuple \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/array \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/invoke.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_base.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocated_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/refwrap.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/aligned_buffer.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_atomic.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_base.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_lockfree_defines.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/auto_ptr.h \ + external/cds/cds/version.h external/cds/cds/compiler/defs.h \ + external/cds/cds/compiler/gcc/defs.h \ + external/cds/cds/compiler/gcc/compiler_macro.h \ + external/cds/cds/compiler/gcc/compiler_barriers.h \ + external/cds/cds/compiler/feature_tsan.h \ + external/cds/cds/user_setup/cache_line.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/atomic \ + external/cds/cds/gc/details/retired_ptr.h \ + external/cds/cds/threading/model.h \ + external/cds/cds/threading/details/_common.h \ + external/cds/cds/urcu/details/gp_decl.h \ + external/cds/cds/urcu/details/base.h \ + external/cds/cds/details/allocator.h \ + external/cds/cds/user_setup/allocator.h \ + external/cds/cds/os/alloc_aligned.h \ + external/cds/cds/os/linux/alloc_aligned.h \ + external/cds/cds/os/posix/alloc_aligned.h \ + external/cds/cds/details/is_aligned.h external/cds/cds/algo/int_algo.h \ + external/cds/cds/algo/bitop.h external/cds/cds/compiler/bitop.h \ + external/cds/cds/compiler/gcc/amd64/bitop.h \ + external/cds/cds/details/bitop_generic.h \ + external/cds/cds/details/throw_exception.h external/cds/cds/os/thread.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/thread \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/chrono \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ratio \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ctime \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/parse_numbers.h \ + external/cds/cds/os/posix/thread.h /usr/include/signal.h \ + /usr/include/bits/signum.h /usr/include/bits/signum-generic.h \ + /usr/include/bits/types/sig_atomic_t.h \ + /usr/include/bits/types/siginfo_t.h /usr/include/bits/types/__sigval_t.h \ + /usr/include/bits/siginfo-arch.h /usr/include/bits/siginfo-consts.h \ + /usr/include/bits/siginfo-consts-arch.h \ + /usr/include/bits/types/sigval_t.h /usr/include/bits/types/sigevent_t.h \ + /usr/include/bits/sigevent-consts.h /usr/include/bits/sigaction.h \ + /usr/include/bits/sigcontext.h /usr/include/bits/types/stack_t.h \ + /usr/include/sys/ucontext.h /usr/include/bits/sigstack.h \ + /usr/include/bits/ss_flags.h /usr/include/bits/types/struct_sigstack.h \ + /usr/include/bits/sigthread.h /usr/include/bits/signal_ext.h \ + external/cds/cds/details/marked_ptr.h \ + external/cds/cds/urcu/details/sh_decl.h \ + external/cds/cds/algo/elimination_tls.h external/cds/cds/algo/base.h \ + external/cds/cds/user_setup/threading.h \ + external/cds/cds/threading/details/auto_detect.h \ + external/cds/cds/threading/details/pthread.h \ + external/cds/cds/threading/details/pthread_manager.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/system_error \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/error_constants.h \ + external/cds/cds/intrusive/free_list_selector.h \ + external/cds/cds/intrusive/free_list.h diff --git a/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/dhp.pic.o b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/dhp.pic.o new file mode 100755 index 00000000..5fc5fc5d Binary files /dev/null and b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/dhp.pic.o differ diff --git a/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/dllmain.pic.d b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/dllmain.pic.d new file mode 100755 index 00000000..f190a781 --- /dev/null +++ b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/dllmain.pic.d @@ -0,0 +1,153 @@ +bazel-out/k8-opt/bin/external/cds/_objs/cds/dllmain.pic.o: \ + external/cds/src/dllmain.cpp /usr/include/stdc-predef.h \ + external/cds/cds/details/defs.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stddef.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdlib.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdlib \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++config.h \ + /usr/include/bits/wordsize.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/os_defines.h \ + /usr/include/features.h /usr/include/sys/cdefs.h \ + /usr/include/bits/long-double.h /usr/include/gnu/stubs.h \ + /usr/include/gnu/stubs-64.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/cpu_defines.h \ + /usr/include/stdlib.h /usr/include/bits/libc-header-start.h \ + /usr/include/bits/waitflags.h /usr/include/bits/waitstatus.h \ + /usr/include/bits/floatn.h /usr/include/bits/floatn-common.h \ + /usr/include/bits/types/locale_t.h /usr/include/bits/types/__locale_t.h \ + /usr/include/sys/types.h /usr/include/bits/types.h \ + /usr/include/bits/timesize.h /usr/include/bits/typesizes.h \ + /usr/include/bits/time64.h /usr/include/bits/types/clock_t.h \ + /usr/include/bits/types/clockid_t.h /usr/include/bits/types/time_t.h \ + /usr/include/bits/types/timer_t.h /usr/include/bits/stdint-intn.h \ + /usr/include/endian.h /usr/include/bits/endian.h \ + /usr/include/bits/endianness.h /usr/include/bits/byteswap.h \ + /usr/include/bits/uintn-identity.h /usr/include/sys/select.h \ + /usr/include/bits/select.h /usr/include/bits/types/sigset_t.h \ + /usr/include/bits/types/__sigset_t.h \ + /usr/include/bits/types/struct_timeval.h \ + /usr/include/bits/types/struct_timespec.h /usr/include/bits/select2.h \ + /usr/include/bits/pthreadtypes.h /usr/include/bits/thread-shared-types.h \ + /usr/include/bits/pthreadtypes-arch.h /usr/include/bits/struct_mutex.h \ + /usr/include/bits/struct_rwlock.h /usr/include/alloca.h \ + /usr/include/bits/stdlib-bsearch.h /usr/include/bits/stdlib-float.h \ + /usr/include/bits/stdlib.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_abs.h \ + /usr/include/assert.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdint \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stdint.h \ + /usr/include/stdint.h /usr/include/bits/wchar.h \ + /usr/include/bits/stdint-uintn.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/exception \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_defines.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_init_exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/typeinfo \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hash_bytes.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/new \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/nested_exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/move.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/type_traits \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdexcept \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/string \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stringfwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/memoryfwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/char_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algobase.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functexcept.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cpp_type_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/type_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/numeric_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_pair.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_types.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_funcs.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/concept_check.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/assertions.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ptr_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/debug.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/predefined_ops.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/postypes.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwchar \ + /usr/include/wchar.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stdarg.h \ + /usr/include/bits/types/wint_t.h /usr/include/bits/types/mbstate_t.h \ + /usr/include/bits/types/__mbstate_t.h /usr/include/bits/types/__FILE.h \ + /usr/include/bits/types/FILE.h /usr/include/bits/wchar2.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/new_allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/localefwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++locale.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/clocale \ + /usr/include/locale.h /usr/include/bits/locale.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iosfwd \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cctype \ + /usr/include/ctype.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream_insert.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_forced.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_function.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/binders.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_access.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/initializer_list \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/iterator_concepts.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/concepts \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_cmp.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/int_limits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/atomicity.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/bits/sched.h \ + /usr/include/bits/types/struct_sched_param.h /usr/include/bits/cpu-set.h \ + /usr/include/time.h /usr/include/bits/time.h /usr/include/bits/timex.h \ + /usr/include/bits/types/struct_tm.h \ + /usr/include/bits/types/struct_itimerspec.h /usr/include/bits/setjmp.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/atomic_word.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/alloc_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/alloc_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_construct.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/string_conversions.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdio \ + /usr/include/stdio.h /usr/include/bits/types/__fpos_t.h \ + /usr/include/bits/types/__fpos64_t.h \ + /usr/include/bits/types/struct_FILE.h \ + /usr/include/bits/types/cookie_io_functions_t.h \ + /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h \ + /usr/include/bits/stdio.h /usr/include/bits/stdio2.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cerrno \ + /usr/include/errno.h /usr/include/bits/errno.h \ + /usr/include/linux/errno.h /usr/include/asm/errno.h \ + /usr/include/asm-generic/errno.h /usr/include/asm-generic/errno-base.h \ + /usr/include/bits/types/error_t.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/charconv.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functional_hash.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.tcc \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/memory \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_uninitialized.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tempbuf.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_raw_storage_iter.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ranges_uninitialized.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/concurrence.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uses_allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unique_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/utility \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_relops.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/tuple \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/array \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/invoke.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_base.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocated_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/refwrap.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/aligned_buffer.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_atomic.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_base.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_lockfree_defines.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/auto_ptr.h \ + external/cds/cds/version.h external/cds/cds/compiler/defs.h \ + external/cds/cds/compiler/gcc/defs.h \ + external/cds/cds/compiler/gcc/compiler_macro.h \ + external/cds/cds/compiler/gcc/compiler_barriers.h \ + external/cds/cds/compiler/feature_tsan.h diff --git a/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/dllmain.pic.o b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/dllmain.pic.o new file mode 100755 index 00000000..5c9a1329 Binary files /dev/null and b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/dllmain.pic.o differ diff --git a/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/hp.pic.d b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/hp.pic.d new file mode 100755 index 00000000..7778e297 --- /dev/null +++ b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/hp.pic.d @@ -0,0 +1,214 @@ +bazel-out/k8-opt/bin/external/cds/_objs/cds/hp.pic.o: \ + external/cds/src/hp.cpp /usr/include/stdc-predef.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/algorithm \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/utility \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++config.h \ + /usr/include/bits/wordsize.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/os_defines.h \ + /usr/include/features.h /usr/include/sys/cdefs.h \ + /usr/include/bits/long-double.h /usr/include/gnu/stubs.h \ + /usr/include/gnu/stubs-64.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/cpu_defines.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_relops.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_pair.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/move.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/type_traits \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/initializer_list \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algobase.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functexcept.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_defines.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cpp_type_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/type_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/numeric_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_types.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_funcs.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/concept_check.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/assertions.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ptr_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/debug.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/predefined_ops.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algo.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdlib \ + /usr/include/stdlib.h /usr/include/bits/libc-header-start.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stddef.h \ + /usr/include/bits/waitflags.h /usr/include/bits/waitstatus.h \ + /usr/include/bits/floatn.h /usr/include/bits/floatn-common.h \ + /usr/include/bits/types/locale_t.h /usr/include/bits/types/__locale_t.h \ + /usr/include/sys/types.h /usr/include/bits/types.h \ + /usr/include/bits/timesize.h /usr/include/bits/typesizes.h \ + /usr/include/bits/time64.h /usr/include/bits/types/clock_t.h \ + /usr/include/bits/types/clockid_t.h /usr/include/bits/types/time_t.h \ + /usr/include/bits/types/timer_t.h /usr/include/bits/stdint-intn.h \ + /usr/include/endian.h /usr/include/bits/endian.h \ + /usr/include/bits/endianness.h /usr/include/bits/byteswap.h \ + /usr/include/bits/uintn-identity.h /usr/include/sys/select.h \ + /usr/include/bits/select.h /usr/include/bits/types/sigset_t.h \ + /usr/include/bits/types/__sigset_t.h \ + /usr/include/bits/types/struct_timeval.h \ + /usr/include/bits/types/struct_timespec.h /usr/include/bits/select2.h \ + /usr/include/bits/pthreadtypes.h /usr/include/bits/thread-shared-types.h \ + /usr/include/bits/pthreadtypes-arch.h /usr/include/bits/struct_mutex.h \ + /usr/include/bits/struct_rwlock.h /usr/include/alloca.h \ + /usr/include/bits/stdlib-bsearch.h /usr/include/bits/stdlib-float.h \ + /usr/include/bits/stdlib.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_abs.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/algorithmfwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_heap.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tempbuf.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_construct.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/new \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/exception \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_init_exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/typeinfo \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hash_bytes.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/nested_exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uniform_int_dist.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/limits \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/vector \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/new_allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/memoryfwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_uninitialized.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/alloc_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/alloc_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_vector.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_bvector.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functional_hash.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_access.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/iterator_concepts.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/concepts \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_cmp.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/int_limits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/vector.tcc \ + external/cds/cds/gc/hp.h external/cds/cds/gc/details/hp_common.h \ + external/cds/cds/algo/atomic.h external/cds/cds/details/defs.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdlib.h \ + /usr/include/assert.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdint \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stdint.h \ + /usr/include/stdint.h /usr/include/bits/wchar.h \ + /usr/include/bits/stdint-uintn.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdexcept \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/string \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stringfwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/char_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/postypes.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwchar \ + /usr/include/wchar.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stdarg.h \ + /usr/include/bits/types/wint_t.h /usr/include/bits/types/mbstate_t.h \ + /usr/include/bits/types/__mbstate_t.h /usr/include/bits/types/__FILE.h \ + /usr/include/bits/types/FILE.h /usr/include/bits/wchar2.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/localefwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++locale.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/clocale \ + /usr/include/locale.h /usr/include/bits/locale.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iosfwd \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cctype \ + /usr/include/ctype.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream_insert.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_forced.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_function.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/binders.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/atomicity.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/bits/sched.h \ + /usr/include/bits/types/struct_sched_param.h /usr/include/bits/cpu-set.h \ + /usr/include/time.h /usr/include/bits/time.h /usr/include/bits/timex.h \ + /usr/include/bits/types/struct_tm.h \ + /usr/include/bits/types/struct_itimerspec.h /usr/include/bits/setjmp.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/atomic_word.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/string_conversions.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdio \ + /usr/include/stdio.h /usr/include/bits/types/__fpos_t.h \ + /usr/include/bits/types/__fpos64_t.h \ + /usr/include/bits/types/struct_FILE.h \ + /usr/include/bits/types/cookie_io_functions_t.h \ + /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h \ + /usr/include/bits/stdio.h /usr/include/bits/stdio2.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cerrno \ + /usr/include/errno.h /usr/include/bits/errno.h \ + /usr/include/linux/errno.h /usr/include/asm/errno.h \ + /usr/include/asm-generic/errno.h /usr/include/asm-generic/errno-base.h \ + /usr/include/bits/types/error_t.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/charconv.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.tcc \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/memory \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_raw_storage_iter.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ranges_uninitialized.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/concurrence.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uses_allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unique_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/tuple \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/array \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/invoke.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_base.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocated_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/refwrap.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/aligned_buffer.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_atomic.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_base.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_lockfree_defines.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/auto_ptr.h \ + external/cds/cds/version.h external/cds/cds/compiler/defs.h \ + external/cds/cds/compiler/gcc/defs.h \ + external/cds/cds/compiler/gcc/compiler_macro.h \ + external/cds/cds/compiler/gcc/compiler_barriers.h \ + external/cds/cds/compiler/feature_tsan.h \ + external/cds/cds/user_setup/cache_line.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/atomic \ + external/cds/cds/gc/details/retired_ptr.h \ + external/cds/cds/threading/model.h \ + external/cds/cds/threading/details/_common.h \ + external/cds/cds/urcu/details/gp_decl.h \ + external/cds/cds/urcu/details/base.h \ + external/cds/cds/details/allocator.h \ + external/cds/cds/user_setup/allocator.h \ + external/cds/cds/os/alloc_aligned.h \ + external/cds/cds/os/linux/alloc_aligned.h \ + external/cds/cds/os/posix/alloc_aligned.h \ + external/cds/cds/details/is_aligned.h external/cds/cds/algo/int_algo.h \ + external/cds/cds/algo/bitop.h external/cds/cds/compiler/bitop.h \ + external/cds/cds/compiler/gcc/amd64/bitop.h \ + external/cds/cds/details/bitop_generic.h \ + external/cds/cds/details/throw_exception.h external/cds/cds/os/thread.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/thread \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/chrono \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ratio \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ctime \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/parse_numbers.h \ + external/cds/cds/os/posix/thread.h /usr/include/signal.h \ + /usr/include/bits/signum.h /usr/include/bits/signum-generic.h \ + /usr/include/bits/types/sig_atomic_t.h \ + /usr/include/bits/types/siginfo_t.h /usr/include/bits/types/__sigval_t.h \ + /usr/include/bits/siginfo-arch.h /usr/include/bits/siginfo-consts.h \ + /usr/include/bits/siginfo-consts-arch.h \ + /usr/include/bits/types/sigval_t.h /usr/include/bits/types/sigevent_t.h \ + /usr/include/bits/sigevent-consts.h /usr/include/bits/sigaction.h \ + /usr/include/bits/sigcontext.h /usr/include/bits/types/stack_t.h \ + /usr/include/sys/ucontext.h /usr/include/bits/sigstack.h \ + /usr/include/bits/ss_flags.h /usr/include/bits/types/struct_sigstack.h \ + /usr/include/bits/sigthread.h /usr/include/bits/signal_ext.h \ + external/cds/cds/details/marked_ptr.h \ + external/cds/cds/urcu/details/sh_decl.h \ + external/cds/cds/algo/elimination_tls.h external/cds/cds/algo/base.h \ + external/cds/cds/user_setup/threading.h \ + external/cds/cds/threading/details/auto_detect.h \ + external/cds/cds/threading/details/pthread.h \ + external/cds/cds/threading/details/pthread_manager.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/system_error \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/error_constants.h \ + external/cds/cds/gc/hp_membar.h /usr/include/unistd.h \ + /usr/include/bits/posix_opt.h /usr/include/bits/environments.h \ + /usr/include/bits/confname.h /usr/include/bits/getopt_posix.h \ + /usr/include/bits/getopt_core.h /usr/include/bits/unistd.h \ + /usr/include/bits/unistd_ext.h /usr/include/sys/syscall.h \ + /usr/include/asm/unistd.h /usr/include/asm/unistd_64.h \ + /usr/include/bits/syscall.h diff --git a/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/hp.pic.o b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/hp.pic.o new file mode 100755 index 00000000..365c5cfb Binary files /dev/null and b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/hp.pic.o differ diff --git a/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/init.pic.d b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/init.pic.d new file mode 100755 index 00000000..6a45f6f7 --- /dev/null +++ b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/init.pic.d @@ -0,0 +1,204 @@ +bazel-out/k8-opt/bin/external/cds/_objs/cds/init.pic.o: \ + external/cds/src/init.cpp /usr/include/stdc-predef.h \ + external/cds/cds/init.h external/cds/cds/details/defs.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stddef.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdlib.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdlib \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++config.h \ + /usr/include/bits/wordsize.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/os_defines.h \ + /usr/include/features.h /usr/include/sys/cdefs.h \ + /usr/include/bits/long-double.h /usr/include/gnu/stubs.h \ + /usr/include/gnu/stubs-64.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/cpu_defines.h \ + /usr/include/stdlib.h /usr/include/bits/libc-header-start.h \ + /usr/include/bits/waitflags.h /usr/include/bits/waitstatus.h \ + /usr/include/bits/floatn.h /usr/include/bits/floatn-common.h \ + /usr/include/bits/types/locale_t.h /usr/include/bits/types/__locale_t.h \ + /usr/include/sys/types.h /usr/include/bits/types.h \ + /usr/include/bits/timesize.h /usr/include/bits/typesizes.h \ + /usr/include/bits/time64.h /usr/include/bits/types/clock_t.h \ + /usr/include/bits/types/clockid_t.h /usr/include/bits/types/time_t.h \ + /usr/include/bits/types/timer_t.h /usr/include/bits/stdint-intn.h \ + /usr/include/endian.h /usr/include/bits/endian.h \ + /usr/include/bits/endianness.h /usr/include/bits/byteswap.h \ + /usr/include/bits/uintn-identity.h /usr/include/sys/select.h \ + /usr/include/bits/select.h /usr/include/bits/types/sigset_t.h \ + /usr/include/bits/types/__sigset_t.h \ + /usr/include/bits/types/struct_timeval.h \ + /usr/include/bits/types/struct_timespec.h /usr/include/bits/select2.h \ + /usr/include/bits/pthreadtypes.h /usr/include/bits/thread-shared-types.h \ + /usr/include/bits/pthreadtypes-arch.h /usr/include/bits/struct_mutex.h \ + /usr/include/bits/struct_rwlock.h /usr/include/alloca.h \ + /usr/include/bits/stdlib-bsearch.h /usr/include/bits/stdlib-float.h \ + /usr/include/bits/stdlib.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_abs.h \ + /usr/include/assert.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdint \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stdint.h \ + /usr/include/stdint.h /usr/include/bits/wchar.h \ + /usr/include/bits/stdint-uintn.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/exception \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_defines.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_init_exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/typeinfo \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hash_bytes.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/new \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/nested_exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/move.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/type_traits \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdexcept \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/string \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stringfwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/memoryfwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/char_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algobase.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functexcept.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cpp_type_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/type_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/numeric_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_pair.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_types.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_funcs.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/concept_check.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/assertions.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ptr_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/debug.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/predefined_ops.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/postypes.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwchar \ + /usr/include/wchar.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stdarg.h \ + /usr/include/bits/types/wint_t.h /usr/include/bits/types/mbstate_t.h \ + /usr/include/bits/types/__mbstate_t.h /usr/include/bits/types/__FILE.h \ + /usr/include/bits/types/FILE.h /usr/include/bits/wchar2.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/new_allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/localefwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++locale.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/clocale \ + /usr/include/locale.h /usr/include/bits/locale.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iosfwd \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cctype \ + /usr/include/ctype.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream_insert.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_forced.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_function.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/binders.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_access.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/initializer_list \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/iterator_concepts.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/concepts \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_cmp.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/int_limits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/atomicity.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/bits/sched.h \ + /usr/include/bits/types/struct_sched_param.h /usr/include/bits/cpu-set.h \ + /usr/include/time.h /usr/include/bits/time.h /usr/include/bits/timex.h \ + /usr/include/bits/types/struct_tm.h \ + /usr/include/bits/types/struct_itimerspec.h /usr/include/bits/setjmp.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/atomic_word.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/alloc_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/alloc_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_construct.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/string_conversions.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdio \ + /usr/include/stdio.h /usr/include/bits/types/__fpos_t.h \ + /usr/include/bits/types/__fpos64_t.h \ + /usr/include/bits/types/struct_FILE.h \ + /usr/include/bits/types/cookie_io_functions_t.h \ + /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h \ + /usr/include/bits/stdio.h /usr/include/bits/stdio2.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cerrno \ + /usr/include/errno.h /usr/include/bits/errno.h \ + /usr/include/linux/errno.h /usr/include/asm/errno.h \ + /usr/include/asm-generic/errno.h /usr/include/asm-generic/errno-base.h \ + /usr/include/bits/types/error_t.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/charconv.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functional_hash.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.tcc \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/memory \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_uninitialized.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tempbuf.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_raw_storage_iter.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ranges_uninitialized.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/concurrence.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uses_allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unique_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/utility \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_relops.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/tuple \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/array \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/invoke.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_base.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocated_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/refwrap.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/aligned_buffer.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_atomic.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_base.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_lockfree_defines.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/auto_ptr.h \ + external/cds/cds/version.h external/cds/cds/compiler/defs.h \ + external/cds/cds/compiler/gcc/defs.h \ + external/cds/cds/compiler/gcc/compiler_macro.h \ + external/cds/cds/compiler/gcc/compiler_barriers.h \ + external/cds/cds/compiler/feature_tsan.h external/cds/cds/os/topology.h \ + external/cds/cds/os/linux/topology.h external/cds/cds/threading/model.h \ + external/cds/cds/threading/details/_common.h \ + external/cds/cds/urcu/details/gp_decl.h \ + external/cds/cds/urcu/details/base.h external/cds/cds/algo/atomic.h \ + external/cds/cds/user_setup/cache_line.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/atomic \ + external/cds/cds/gc/details/retired_ptr.h \ + external/cds/cds/details/allocator.h \ + external/cds/cds/user_setup/allocator.h \ + external/cds/cds/os/alloc_aligned.h \ + external/cds/cds/os/linux/alloc_aligned.h \ + external/cds/cds/os/posix/alloc_aligned.h \ + external/cds/cds/details/is_aligned.h external/cds/cds/algo/int_algo.h \ + external/cds/cds/algo/bitop.h external/cds/cds/compiler/bitop.h \ + external/cds/cds/compiler/gcc/amd64/bitop.h \ + external/cds/cds/details/bitop_generic.h \ + external/cds/cds/details/throw_exception.h external/cds/cds/os/thread.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/thread \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/chrono \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ratio \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/limits \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ctime \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/parse_numbers.h \ + external/cds/cds/os/posix/thread.h /usr/include/signal.h \ + /usr/include/bits/signum.h /usr/include/bits/signum-generic.h \ + /usr/include/bits/types/sig_atomic_t.h \ + /usr/include/bits/types/siginfo_t.h /usr/include/bits/types/__sigval_t.h \ + /usr/include/bits/siginfo-arch.h /usr/include/bits/siginfo-consts.h \ + /usr/include/bits/siginfo-consts-arch.h \ + /usr/include/bits/types/sigval_t.h /usr/include/bits/types/sigevent_t.h \ + /usr/include/bits/sigevent-consts.h /usr/include/bits/sigaction.h \ + /usr/include/bits/sigcontext.h /usr/include/bits/types/stack_t.h \ + /usr/include/sys/ucontext.h /usr/include/bits/sigstack.h \ + /usr/include/bits/ss_flags.h /usr/include/bits/types/struct_sigstack.h \ + /usr/include/bits/sigthread.h /usr/include/bits/signal_ext.h \ + external/cds/cds/details/marked_ptr.h \ + external/cds/cds/urcu/details/sh_decl.h \ + external/cds/cds/algo/elimination_tls.h external/cds/cds/algo/base.h \ + external/cds/cds/user_setup/threading.h \ + external/cds/cds/threading/details/auto_detect.h \ + external/cds/cds/threading/details/pthread.h \ + external/cds/cds/threading/details/pthread_manager.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/system_error \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/error_constants.h \ + /usr/include/sys/syscall.h /usr/include/asm/unistd.h \ + /usr/include/asm/unistd_64.h /usr/include/bits/syscall.h \ + external/cds/cds/algo/backoff_strategy.h \ + external/cds/cds/compiler/backoff.h \ + external/cds/cds/compiler/gcc/amd64/backoff.h \ + external/cds/cds/threading/details/gcc_manager.h \ + external/cds/cds/threading/details/cxx11_manager.h diff --git a/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/init.pic.o b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/init.pic.o new file mode 100755 index 00000000..db78d2a7 Binary files /dev/null and b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/init.pic.o differ diff --git a/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/thread_data.pic.d b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/thread_data.pic.d new file mode 100755 index 00000000..f556db63 --- /dev/null +++ b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/thread_data.pic.d @@ -0,0 +1,201 @@ +bazel-out/k8-opt/bin/external/cds/_objs/cds/thread_data.pic.o: \ + external/cds/src/thread_data.cpp /usr/include/stdc-predef.h \ + external/cds/cds/threading/details/_common.h \ + external/cds/cds/urcu/details/gp_decl.h \ + external/cds/cds/urcu/details/base.h external/cds/cds/algo/atomic.h \ + external/cds/cds/details/defs.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stddef.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdlib.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdlib \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++config.h \ + /usr/include/bits/wordsize.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/os_defines.h \ + /usr/include/features.h /usr/include/sys/cdefs.h \ + /usr/include/bits/long-double.h /usr/include/gnu/stubs.h \ + /usr/include/gnu/stubs-64.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/cpu_defines.h \ + /usr/include/stdlib.h /usr/include/bits/libc-header-start.h \ + /usr/include/bits/waitflags.h /usr/include/bits/waitstatus.h \ + /usr/include/bits/floatn.h /usr/include/bits/floatn-common.h \ + /usr/include/bits/types/locale_t.h /usr/include/bits/types/__locale_t.h \ + /usr/include/sys/types.h /usr/include/bits/types.h \ + /usr/include/bits/timesize.h /usr/include/bits/typesizes.h \ + /usr/include/bits/time64.h /usr/include/bits/types/clock_t.h \ + /usr/include/bits/types/clockid_t.h /usr/include/bits/types/time_t.h \ + /usr/include/bits/types/timer_t.h /usr/include/bits/stdint-intn.h \ + /usr/include/endian.h /usr/include/bits/endian.h \ + /usr/include/bits/endianness.h /usr/include/bits/byteswap.h \ + /usr/include/bits/uintn-identity.h /usr/include/sys/select.h \ + /usr/include/bits/select.h /usr/include/bits/types/sigset_t.h \ + /usr/include/bits/types/__sigset_t.h \ + /usr/include/bits/types/struct_timeval.h \ + /usr/include/bits/types/struct_timespec.h /usr/include/bits/select2.h \ + /usr/include/bits/pthreadtypes.h /usr/include/bits/thread-shared-types.h \ + /usr/include/bits/pthreadtypes-arch.h /usr/include/bits/struct_mutex.h \ + /usr/include/bits/struct_rwlock.h /usr/include/alloca.h \ + /usr/include/bits/stdlib-bsearch.h /usr/include/bits/stdlib-float.h \ + /usr/include/bits/stdlib.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_abs.h \ + /usr/include/assert.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdint \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stdint.h \ + /usr/include/stdint.h /usr/include/bits/wchar.h \ + /usr/include/bits/stdint-uintn.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/exception \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_defines.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_init_exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/typeinfo \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hash_bytes.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/new \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/nested_exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/move.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/type_traits \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdexcept \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/string \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stringfwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/memoryfwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/char_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algobase.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functexcept.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cpp_type_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/type_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/numeric_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_pair.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_types.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_funcs.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/concept_check.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/assertions.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ptr_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/debug.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/predefined_ops.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/postypes.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwchar \ + /usr/include/wchar.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stdarg.h \ + /usr/include/bits/types/wint_t.h /usr/include/bits/types/mbstate_t.h \ + /usr/include/bits/types/__mbstate_t.h /usr/include/bits/types/__FILE.h \ + /usr/include/bits/types/FILE.h /usr/include/bits/wchar2.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/new_allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/localefwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++locale.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/clocale \ + /usr/include/locale.h /usr/include/bits/locale.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iosfwd \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cctype \ + /usr/include/ctype.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream_insert.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_forced.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_function.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/binders.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_access.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/initializer_list \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/iterator_concepts.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/concepts \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_cmp.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/int_limits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/atomicity.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/bits/sched.h \ + /usr/include/bits/types/struct_sched_param.h /usr/include/bits/cpu-set.h \ + /usr/include/time.h /usr/include/bits/time.h /usr/include/bits/timex.h \ + /usr/include/bits/types/struct_tm.h \ + /usr/include/bits/types/struct_itimerspec.h /usr/include/bits/setjmp.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/atomic_word.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/alloc_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/alloc_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_construct.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/string_conversions.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdio \ + /usr/include/stdio.h /usr/include/bits/types/__fpos_t.h \ + /usr/include/bits/types/__fpos64_t.h \ + /usr/include/bits/types/struct_FILE.h \ + /usr/include/bits/types/cookie_io_functions_t.h \ + /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h \ + /usr/include/bits/stdio.h /usr/include/bits/stdio2.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cerrno \ + /usr/include/errno.h /usr/include/bits/errno.h \ + /usr/include/linux/errno.h /usr/include/asm/errno.h \ + /usr/include/asm-generic/errno.h /usr/include/asm-generic/errno-base.h \ + /usr/include/bits/types/error_t.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/charconv.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functional_hash.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.tcc \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/memory \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_uninitialized.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tempbuf.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_raw_storage_iter.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ranges_uninitialized.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/concurrence.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uses_allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unique_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/utility \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_relops.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/tuple \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/array \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/invoke.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_base.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocated_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/refwrap.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/aligned_buffer.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_atomic.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_base.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_lockfree_defines.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/auto_ptr.h \ + external/cds/cds/version.h external/cds/cds/compiler/defs.h \ + external/cds/cds/compiler/gcc/defs.h \ + external/cds/cds/compiler/gcc/compiler_macro.h \ + external/cds/cds/compiler/gcc/compiler_barriers.h \ + external/cds/cds/compiler/feature_tsan.h \ + external/cds/cds/user_setup/cache_line.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/atomic \ + external/cds/cds/gc/details/retired_ptr.h \ + external/cds/cds/details/allocator.h \ + external/cds/cds/user_setup/allocator.h \ + external/cds/cds/os/alloc_aligned.h \ + external/cds/cds/os/linux/alloc_aligned.h \ + external/cds/cds/os/posix/alloc_aligned.h \ + external/cds/cds/details/is_aligned.h external/cds/cds/algo/int_algo.h \ + external/cds/cds/algo/bitop.h external/cds/cds/compiler/bitop.h \ + external/cds/cds/compiler/gcc/amd64/bitop.h \ + external/cds/cds/details/bitop_generic.h \ + external/cds/cds/details/throw_exception.h external/cds/cds/os/thread.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/thread \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/chrono \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ratio \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/limits \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ctime \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/parse_numbers.h \ + external/cds/cds/os/posix/thread.h /usr/include/signal.h \ + /usr/include/bits/signum.h /usr/include/bits/signum-generic.h \ + /usr/include/bits/types/sig_atomic_t.h \ + /usr/include/bits/types/siginfo_t.h /usr/include/bits/types/__sigval_t.h \ + /usr/include/bits/siginfo-arch.h /usr/include/bits/siginfo-consts.h \ + /usr/include/bits/siginfo-consts-arch.h \ + /usr/include/bits/types/sigval_t.h /usr/include/bits/types/sigevent_t.h \ + /usr/include/bits/sigevent-consts.h /usr/include/bits/sigaction.h \ + /usr/include/bits/sigcontext.h /usr/include/bits/types/stack_t.h \ + /usr/include/sys/ucontext.h /usr/include/bits/sigstack.h \ + /usr/include/bits/ss_flags.h /usr/include/bits/types/struct_sigstack.h \ + /usr/include/bits/sigthread.h /usr/include/bits/signal_ext.h \ + external/cds/cds/details/marked_ptr.h \ + external/cds/cds/urcu/details/sh_decl.h \ + external/cds/cds/algo/elimination_tls.h external/cds/cds/algo/base.h \ + external/cds/cds/gc/hp.h external/cds/cds/gc/details/hp_common.h \ + external/cds/cds/threading/model.h \ + external/cds/cds/user_setup/threading.h \ + external/cds/cds/threading/details/auto_detect.h \ + external/cds/cds/threading/details/pthread.h \ + external/cds/cds/threading/details/pthread_manager.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/system_error \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/error_constants.h \ + external/cds/cds/gc/dhp.h \ + external/cds/cds/intrusive/free_list_selector.h \ + external/cds/cds/intrusive/free_list.h diff --git a/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/thread_data.pic.o b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/thread_data.pic.o new file mode 100755 index 00000000..f6f0c581 Binary files /dev/null and b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/thread_data.pic.o differ diff --git a/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/topology_hpux.pic.d b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/topology_hpux.pic.d new file mode 100755 index 00000000..48269d44 --- /dev/null +++ b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/topology_hpux.pic.d @@ -0,0 +1,199 @@ +bazel-out/k8-opt/bin/external/cds/_objs/cds/topology_hpux.pic.o: \ + external/cds/src/topology_hpux.cpp /usr/include/stdc-predef.h \ + external/cds/cds/os/topology.h external/cds/cds/details/defs.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stddef.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdlib.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdlib \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++config.h \ + /usr/include/bits/wordsize.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/os_defines.h \ + /usr/include/features.h /usr/include/sys/cdefs.h \ + /usr/include/bits/long-double.h /usr/include/gnu/stubs.h \ + /usr/include/gnu/stubs-64.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/cpu_defines.h \ + /usr/include/stdlib.h /usr/include/bits/libc-header-start.h \ + /usr/include/bits/waitflags.h /usr/include/bits/waitstatus.h \ + /usr/include/bits/floatn.h /usr/include/bits/floatn-common.h \ + /usr/include/bits/types/locale_t.h /usr/include/bits/types/__locale_t.h \ + /usr/include/sys/types.h /usr/include/bits/types.h \ + /usr/include/bits/timesize.h /usr/include/bits/typesizes.h \ + /usr/include/bits/time64.h /usr/include/bits/types/clock_t.h \ + /usr/include/bits/types/clockid_t.h /usr/include/bits/types/time_t.h \ + /usr/include/bits/types/timer_t.h /usr/include/bits/stdint-intn.h \ + /usr/include/endian.h /usr/include/bits/endian.h \ + /usr/include/bits/endianness.h /usr/include/bits/byteswap.h \ + /usr/include/bits/uintn-identity.h /usr/include/sys/select.h \ + /usr/include/bits/select.h /usr/include/bits/types/sigset_t.h \ + /usr/include/bits/types/__sigset_t.h \ + /usr/include/bits/types/struct_timeval.h \ + /usr/include/bits/types/struct_timespec.h /usr/include/bits/select2.h \ + /usr/include/bits/pthreadtypes.h /usr/include/bits/thread-shared-types.h \ + /usr/include/bits/pthreadtypes-arch.h /usr/include/bits/struct_mutex.h \ + /usr/include/bits/struct_rwlock.h /usr/include/alloca.h \ + /usr/include/bits/stdlib-bsearch.h /usr/include/bits/stdlib-float.h \ + /usr/include/bits/stdlib.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_abs.h \ + /usr/include/assert.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdint \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stdint.h \ + /usr/include/stdint.h /usr/include/bits/wchar.h \ + /usr/include/bits/stdint-uintn.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/exception \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_defines.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_init_exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/typeinfo \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hash_bytes.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/new \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/nested_exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/move.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/type_traits \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdexcept \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/string \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stringfwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/memoryfwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/char_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algobase.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functexcept.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cpp_type_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/type_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/numeric_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_pair.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_types.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_funcs.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/concept_check.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/assertions.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ptr_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/debug.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/predefined_ops.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/postypes.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwchar \ + /usr/include/wchar.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stdarg.h \ + /usr/include/bits/types/wint_t.h /usr/include/bits/types/mbstate_t.h \ + /usr/include/bits/types/__mbstate_t.h /usr/include/bits/types/__FILE.h \ + /usr/include/bits/types/FILE.h /usr/include/bits/wchar2.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/new_allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/localefwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++locale.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/clocale \ + /usr/include/locale.h /usr/include/bits/locale.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iosfwd \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cctype \ + /usr/include/ctype.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream_insert.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_forced.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_function.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/binders.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_access.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/initializer_list \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/iterator_concepts.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/concepts \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_cmp.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/int_limits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/atomicity.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/bits/sched.h \ + /usr/include/bits/types/struct_sched_param.h /usr/include/bits/cpu-set.h \ + /usr/include/time.h /usr/include/bits/time.h /usr/include/bits/timex.h \ + /usr/include/bits/types/struct_tm.h \ + /usr/include/bits/types/struct_itimerspec.h /usr/include/bits/setjmp.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/atomic_word.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/alloc_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/alloc_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_construct.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/string_conversions.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdio \ + /usr/include/stdio.h /usr/include/bits/types/__fpos_t.h \ + /usr/include/bits/types/__fpos64_t.h \ + /usr/include/bits/types/struct_FILE.h \ + /usr/include/bits/types/cookie_io_functions_t.h \ + /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h \ + /usr/include/bits/stdio.h /usr/include/bits/stdio2.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cerrno \ + /usr/include/errno.h /usr/include/bits/errno.h \ + /usr/include/linux/errno.h /usr/include/asm/errno.h \ + /usr/include/asm-generic/errno.h /usr/include/asm-generic/errno-base.h \ + /usr/include/bits/types/error_t.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/charconv.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functional_hash.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.tcc \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/memory \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_uninitialized.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tempbuf.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_raw_storage_iter.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ranges_uninitialized.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/concurrence.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uses_allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unique_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/utility \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_relops.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/tuple \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/array \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/invoke.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_base.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocated_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/refwrap.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/aligned_buffer.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_atomic.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_base.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_lockfree_defines.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/auto_ptr.h \ + external/cds/cds/version.h external/cds/cds/compiler/defs.h \ + external/cds/cds/compiler/gcc/defs.h \ + external/cds/cds/compiler/gcc/compiler_macro.h \ + external/cds/cds/compiler/gcc/compiler_barriers.h \ + external/cds/cds/compiler/feature_tsan.h \ + external/cds/cds/os/linux/topology.h external/cds/cds/threading/model.h \ + external/cds/cds/threading/details/_common.h \ + external/cds/cds/urcu/details/gp_decl.h \ + external/cds/cds/urcu/details/base.h external/cds/cds/algo/atomic.h \ + external/cds/cds/user_setup/cache_line.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/atomic \ + external/cds/cds/gc/details/retired_ptr.h \ + external/cds/cds/details/allocator.h \ + external/cds/cds/user_setup/allocator.h \ + external/cds/cds/os/alloc_aligned.h \ + external/cds/cds/os/linux/alloc_aligned.h \ + external/cds/cds/os/posix/alloc_aligned.h \ + external/cds/cds/details/is_aligned.h external/cds/cds/algo/int_algo.h \ + external/cds/cds/algo/bitop.h external/cds/cds/compiler/bitop.h \ + external/cds/cds/compiler/gcc/amd64/bitop.h \ + external/cds/cds/details/bitop_generic.h \ + external/cds/cds/details/throw_exception.h external/cds/cds/os/thread.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/thread \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/chrono \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ratio \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/limits \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ctime \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/parse_numbers.h \ + external/cds/cds/os/posix/thread.h /usr/include/signal.h \ + /usr/include/bits/signum.h /usr/include/bits/signum-generic.h \ + /usr/include/bits/types/sig_atomic_t.h \ + /usr/include/bits/types/siginfo_t.h /usr/include/bits/types/__sigval_t.h \ + /usr/include/bits/siginfo-arch.h /usr/include/bits/siginfo-consts.h \ + /usr/include/bits/siginfo-consts-arch.h \ + /usr/include/bits/types/sigval_t.h /usr/include/bits/types/sigevent_t.h \ + /usr/include/bits/sigevent-consts.h /usr/include/bits/sigaction.h \ + /usr/include/bits/sigcontext.h /usr/include/bits/types/stack_t.h \ + /usr/include/sys/ucontext.h /usr/include/bits/sigstack.h \ + /usr/include/bits/ss_flags.h /usr/include/bits/types/struct_sigstack.h \ + /usr/include/bits/sigthread.h /usr/include/bits/signal_ext.h \ + external/cds/cds/details/marked_ptr.h \ + external/cds/cds/urcu/details/sh_decl.h \ + external/cds/cds/algo/elimination_tls.h external/cds/cds/algo/base.h \ + external/cds/cds/user_setup/threading.h \ + external/cds/cds/threading/details/auto_detect.h \ + external/cds/cds/threading/details/pthread.h \ + external/cds/cds/threading/details/pthread_manager.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/system_error \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/error_constants.h \ + /usr/include/sys/syscall.h /usr/include/asm/unistd.h \ + /usr/include/asm/unistd_64.h /usr/include/bits/syscall.h diff --git a/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/topology_hpux.pic.o b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/topology_hpux.pic.o new file mode 100755 index 00000000..24b58ad1 Binary files /dev/null and b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/topology_hpux.pic.o differ diff --git a/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/topology_linux.pic.d b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/topology_linux.pic.d new file mode 100755 index 00000000..546ace73 --- /dev/null +++ b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/topology_linux.pic.d @@ -0,0 +1,199 @@ +bazel-out/k8-opt/bin/external/cds/_objs/cds/topology_linux.pic.o: \ + external/cds/src/topology_linux.cpp /usr/include/stdc-predef.h \ + external/cds/cds/os/topology.h external/cds/cds/details/defs.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stddef.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdlib.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdlib \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++config.h \ + /usr/include/bits/wordsize.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/os_defines.h \ + /usr/include/features.h /usr/include/sys/cdefs.h \ + /usr/include/bits/long-double.h /usr/include/gnu/stubs.h \ + /usr/include/gnu/stubs-64.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/cpu_defines.h \ + /usr/include/stdlib.h /usr/include/bits/libc-header-start.h \ + /usr/include/bits/waitflags.h /usr/include/bits/waitstatus.h \ + /usr/include/bits/floatn.h /usr/include/bits/floatn-common.h \ + /usr/include/bits/types/locale_t.h /usr/include/bits/types/__locale_t.h \ + /usr/include/sys/types.h /usr/include/bits/types.h \ + /usr/include/bits/timesize.h /usr/include/bits/typesizes.h \ + /usr/include/bits/time64.h /usr/include/bits/types/clock_t.h \ + /usr/include/bits/types/clockid_t.h /usr/include/bits/types/time_t.h \ + /usr/include/bits/types/timer_t.h /usr/include/bits/stdint-intn.h \ + /usr/include/endian.h /usr/include/bits/endian.h \ + /usr/include/bits/endianness.h /usr/include/bits/byteswap.h \ + /usr/include/bits/uintn-identity.h /usr/include/sys/select.h \ + /usr/include/bits/select.h /usr/include/bits/types/sigset_t.h \ + /usr/include/bits/types/__sigset_t.h \ + /usr/include/bits/types/struct_timeval.h \ + /usr/include/bits/types/struct_timespec.h /usr/include/bits/select2.h \ + /usr/include/bits/pthreadtypes.h /usr/include/bits/thread-shared-types.h \ + /usr/include/bits/pthreadtypes-arch.h /usr/include/bits/struct_mutex.h \ + /usr/include/bits/struct_rwlock.h /usr/include/alloca.h \ + /usr/include/bits/stdlib-bsearch.h /usr/include/bits/stdlib-float.h \ + /usr/include/bits/stdlib.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_abs.h \ + /usr/include/assert.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdint \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stdint.h \ + /usr/include/stdint.h /usr/include/bits/wchar.h \ + /usr/include/bits/stdint-uintn.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/exception \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_defines.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_init_exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/typeinfo \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hash_bytes.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/new \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/nested_exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/move.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/type_traits \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdexcept \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/string \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stringfwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/memoryfwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/char_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algobase.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functexcept.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cpp_type_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/type_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/numeric_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_pair.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_types.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_funcs.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/concept_check.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/assertions.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ptr_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/debug.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/predefined_ops.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/postypes.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwchar \ + /usr/include/wchar.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stdarg.h \ + /usr/include/bits/types/wint_t.h /usr/include/bits/types/mbstate_t.h \ + /usr/include/bits/types/__mbstate_t.h /usr/include/bits/types/__FILE.h \ + /usr/include/bits/types/FILE.h /usr/include/bits/wchar2.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/new_allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/localefwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++locale.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/clocale \ + /usr/include/locale.h /usr/include/bits/locale.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iosfwd \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cctype \ + /usr/include/ctype.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream_insert.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_forced.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_function.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/binders.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_access.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/initializer_list \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/iterator_concepts.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/concepts \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_cmp.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/int_limits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/atomicity.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/bits/sched.h \ + /usr/include/bits/types/struct_sched_param.h /usr/include/bits/cpu-set.h \ + /usr/include/time.h /usr/include/bits/time.h /usr/include/bits/timex.h \ + /usr/include/bits/types/struct_tm.h \ + /usr/include/bits/types/struct_itimerspec.h /usr/include/bits/setjmp.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/atomic_word.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/alloc_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/alloc_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_construct.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/string_conversions.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdio \ + /usr/include/stdio.h /usr/include/bits/types/__fpos_t.h \ + /usr/include/bits/types/__fpos64_t.h \ + /usr/include/bits/types/struct_FILE.h \ + /usr/include/bits/types/cookie_io_functions_t.h \ + /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h \ + /usr/include/bits/stdio.h /usr/include/bits/stdio2.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cerrno \ + /usr/include/errno.h /usr/include/bits/errno.h \ + /usr/include/linux/errno.h /usr/include/asm/errno.h \ + /usr/include/asm-generic/errno.h /usr/include/asm-generic/errno-base.h \ + /usr/include/bits/types/error_t.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/charconv.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functional_hash.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.tcc \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/memory \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_uninitialized.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tempbuf.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_raw_storage_iter.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ranges_uninitialized.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/concurrence.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uses_allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unique_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/utility \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_relops.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/tuple \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/array \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/invoke.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_base.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocated_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/refwrap.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/aligned_buffer.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_atomic.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_base.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_lockfree_defines.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/auto_ptr.h \ + external/cds/cds/version.h external/cds/cds/compiler/defs.h \ + external/cds/cds/compiler/gcc/defs.h \ + external/cds/cds/compiler/gcc/compiler_macro.h \ + external/cds/cds/compiler/gcc/compiler_barriers.h \ + external/cds/cds/compiler/feature_tsan.h \ + external/cds/cds/os/linux/topology.h external/cds/cds/threading/model.h \ + external/cds/cds/threading/details/_common.h \ + external/cds/cds/urcu/details/gp_decl.h \ + external/cds/cds/urcu/details/base.h external/cds/cds/algo/atomic.h \ + external/cds/cds/user_setup/cache_line.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/atomic \ + external/cds/cds/gc/details/retired_ptr.h \ + external/cds/cds/details/allocator.h \ + external/cds/cds/user_setup/allocator.h \ + external/cds/cds/os/alloc_aligned.h \ + external/cds/cds/os/linux/alloc_aligned.h \ + external/cds/cds/os/posix/alloc_aligned.h \ + external/cds/cds/details/is_aligned.h external/cds/cds/algo/int_algo.h \ + external/cds/cds/algo/bitop.h external/cds/cds/compiler/bitop.h \ + external/cds/cds/compiler/gcc/amd64/bitop.h \ + external/cds/cds/details/bitop_generic.h \ + external/cds/cds/details/throw_exception.h external/cds/cds/os/thread.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/thread \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/chrono \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ratio \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/limits \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ctime \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/parse_numbers.h \ + external/cds/cds/os/posix/thread.h /usr/include/signal.h \ + /usr/include/bits/signum.h /usr/include/bits/signum-generic.h \ + /usr/include/bits/types/sig_atomic_t.h \ + /usr/include/bits/types/siginfo_t.h /usr/include/bits/types/__sigval_t.h \ + /usr/include/bits/siginfo-arch.h /usr/include/bits/siginfo-consts.h \ + /usr/include/bits/siginfo-consts-arch.h \ + /usr/include/bits/types/sigval_t.h /usr/include/bits/types/sigevent_t.h \ + /usr/include/bits/sigevent-consts.h /usr/include/bits/sigaction.h \ + /usr/include/bits/sigcontext.h /usr/include/bits/types/stack_t.h \ + /usr/include/sys/ucontext.h /usr/include/bits/sigstack.h \ + /usr/include/bits/ss_flags.h /usr/include/bits/types/struct_sigstack.h \ + /usr/include/bits/sigthread.h /usr/include/bits/signal_ext.h \ + external/cds/cds/details/marked_ptr.h \ + external/cds/cds/urcu/details/sh_decl.h \ + external/cds/cds/algo/elimination_tls.h external/cds/cds/algo/base.h \ + external/cds/cds/user_setup/threading.h \ + external/cds/cds/threading/details/auto_detect.h \ + external/cds/cds/threading/details/pthread.h \ + external/cds/cds/threading/details/pthread_manager.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/system_error \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/error_constants.h \ + /usr/include/sys/syscall.h /usr/include/asm/unistd.h \ + /usr/include/asm/unistd_64.h /usr/include/bits/syscall.h diff --git a/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/topology_linux.pic.o b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/topology_linux.pic.o new file mode 100755 index 00000000..4e12c71d Binary files /dev/null and b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/topology_linux.pic.o differ diff --git a/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/topology_osx.pic.d b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/topology_osx.pic.d new file mode 100755 index 00000000..7f318d6e --- /dev/null +++ b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/topology_osx.pic.d @@ -0,0 +1,199 @@ +bazel-out/k8-opt/bin/external/cds/_objs/cds/topology_osx.pic.o: \ + external/cds/src/topology_osx.cpp /usr/include/stdc-predef.h \ + external/cds/cds/os/topology.h external/cds/cds/details/defs.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stddef.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdlib.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdlib \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++config.h \ + /usr/include/bits/wordsize.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/os_defines.h \ + /usr/include/features.h /usr/include/sys/cdefs.h \ + /usr/include/bits/long-double.h /usr/include/gnu/stubs.h \ + /usr/include/gnu/stubs-64.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/cpu_defines.h \ + /usr/include/stdlib.h /usr/include/bits/libc-header-start.h \ + /usr/include/bits/waitflags.h /usr/include/bits/waitstatus.h \ + /usr/include/bits/floatn.h /usr/include/bits/floatn-common.h \ + /usr/include/bits/types/locale_t.h /usr/include/bits/types/__locale_t.h \ + /usr/include/sys/types.h /usr/include/bits/types.h \ + /usr/include/bits/timesize.h /usr/include/bits/typesizes.h \ + /usr/include/bits/time64.h /usr/include/bits/types/clock_t.h \ + /usr/include/bits/types/clockid_t.h /usr/include/bits/types/time_t.h \ + /usr/include/bits/types/timer_t.h /usr/include/bits/stdint-intn.h \ + /usr/include/endian.h /usr/include/bits/endian.h \ + /usr/include/bits/endianness.h /usr/include/bits/byteswap.h \ + /usr/include/bits/uintn-identity.h /usr/include/sys/select.h \ + /usr/include/bits/select.h /usr/include/bits/types/sigset_t.h \ + /usr/include/bits/types/__sigset_t.h \ + /usr/include/bits/types/struct_timeval.h \ + /usr/include/bits/types/struct_timespec.h /usr/include/bits/select2.h \ + /usr/include/bits/pthreadtypes.h /usr/include/bits/thread-shared-types.h \ + /usr/include/bits/pthreadtypes-arch.h /usr/include/bits/struct_mutex.h \ + /usr/include/bits/struct_rwlock.h /usr/include/alloca.h \ + /usr/include/bits/stdlib-bsearch.h /usr/include/bits/stdlib-float.h \ + /usr/include/bits/stdlib.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_abs.h \ + /usr/include/assert.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdint \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stdint.h \ + /usr/include/stdint.h /usr/include/bits/wchar.h \ + /usr/include/bits/stdint-uintn.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/exception \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_defines.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_init_exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/typeinfo \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hash_bytes.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/new \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/nested_exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/move.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/type_traits \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdexcept \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/string \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stringfwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/memoryfwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/char_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algobase.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functexcept.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cpp_type_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/type_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/numeric_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_pair.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_types.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_funcs.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/concept_check.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/assertions.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ptr_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/debug.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/predefined_ops.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/postypes.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwchar \ + /usr/include/wchar.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stdarg.h \ + /usr/include/bits/types/wint_t.h /usr/include/bits/types/mbstate_t.h \ + /usr/include/bits/types/__mbstate_t.h /usr/include/bits/types/__FILE.h \ + /usr/include/bits/types/FILE.h /usr/include/bits/wchar2.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/new_allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/localefwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++locale.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/clocale \ + /usr/include/locale.h /usr/include/bits/locale.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iosfwd \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cctype \ + /usr/include/ctype.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream_insert.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_forced.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_function.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/binders.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_access.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/initializer_list \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/iterator_concepts.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/concepts \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_cmp.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/int_limits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/atomicity.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/bits/sched.h \ + /usr/include/bits/types/struct_sched_param.h /usr/include/bits/cpu-set.h \ + /usr/include/time.h /usr/include/bits/time.h /usr/include/bits/timex.h \ + /usr/include/bits/types/struct_tm.h \ + /usr/include/bits/types/struct_itimerspec.h /usr/include/bits/setjmp.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/atomic_word.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/alloc_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/alloc_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_construct.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/string_conversions.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdio \ + /usr/include/stdio.h /usr/include/bits/types/__fpos_t.h \ + /usr/include/bits/types/__fpos64_t.h \ + /usr/include/bits/types/struct_FILE.h \ + /usr/include/bits/types/cookie_io_functions_t.h \ + /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h \ + /usr/include/bits/stdio.h /usr/include/bits/stdio2.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cerrno \ + /usr/include/errno.h /usr/include/bits/errno.h \ + /usr/include/linux/errno.h /usr/include/asm/errno.h \ + /usr/include/asm-generic/errno.h /usr/include/asm-generic/errno-base.h \ + /usr/include/bits/types/error_t.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/charconv.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functional_hash.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.tcc \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/memory \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_uninitialized.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tempbuf.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_raw_storage_iter.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ranges_uninitialized.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/concurrence.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uses_allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unique_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/utility \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_relops.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/tuple \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/array \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/invoke.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_base.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocated_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/refwrap.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/aligned_buffer.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_atomic.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_base.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_lockfree_defines.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/auto_ptr.h \ + external/cds/cds/version.h external/cds/cds/compiler/defs.h \ + external/cds/cds/compiler/gcc/defs.h \ + external/cds/cds/compiler/gcc/compiler_macro.h \ + external/cds/cds/compiler/gcc/compiler_barriers.h \ + external/cds/cds/compiler/feature_tsan.h \ + external/cds/cds/os/linux/topology.h external/cds/cds/threading/model.h \ + external/cds/cds/threading/details/_common.h \ + external/cds/cds/urcu/details/gp_decl.h \ + external/cds/cds/urcu/details/base.h external/cds/cds/algo/atomic.h \ + external/cds/cds/user_setup/cache_line.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/atomic \ + external/cds/cds/gc/details/retired_ptr.h \ + external/cds/cds/details/allocator.h \ + external/cds/cds/user_setup/allocator.h \ + external/cds/cds/os/alloc_aligned.h \ + external/cds/cds/os/linux/alloc_aligned.h \ + external/cds/cds/os/posix/alloc_aligned.h \ + external/cds/cds/details/is_aligned.h external/cds/cds/algo/int_algo.h \ + external/cds/cds/algo/bitop.h external/cds/cds/compiler/bitop.h \ + external/cds/cds/compiler/gcc/amd64/bitop.h \ + external/cds/cds/details/bitop_generic.h \ + external/cds/cds/details/throw_exception.h external/cds/cds/os/thread.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/thread \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/chrono \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ratio \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/limits \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ctime \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/parse_numbers.h \ + external/cds/cds/os/posix/thread.h /usr/include/signal.h \ + /usr/include/bits/signum.h /usr/include/bits/signum-generic.h \ + /usr/include/bits/types/sig_atomic_t.h \ + /usr/include/bits/types/siginfo_t.h /usr/include/bits/types/__sigval_t.h \ + /usr/include/bits/siginfo-arch.h /usr/include/bits/siginfo-consts.h \ + /usr/include/bits/siginfo-consts-arch.h \ + /usr/include/bits/types/sigval_t.h /usr/include/bits/types/sigevent_t.h \ + /usr/include/bits/sigevent-consts.h /usr/include/bits/sigaction.h \ + /usr/include/bits/sigcontext.h /usr/include/bits/types/stack_t.h \ + /usr/include/sys/ucontext.h /usr/include/bits/sigstack.h \ + /usr/include/bits/ss_flags.h /usr/include/bits/types/struct_sigstack.h \ + /usr/include/bits/sigthread.h /usr/include/bits/signal_ext.h \ + external/cds/cds/details/marked_ptr.h \ + external/cds/cds/urcu/details/sh_decl.h \ + external/cds/cds/algo/elimination_tls.h external/cds/cds/algo/base.h \ + external/cds/cds/user_setup/threading.h \ + external/cds/cds/threading/details/auto_detect.h \ + external/cds/cds/threading/details/pthread.h \ + external/cds/cds/threading/details/pthread_manager.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/system_error \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/error_constants.h \ + /usr/include/sys/syscall.h /usr/include/asm/unistd.h \ + /usr/include/asm/unistd_64.h /usr/include/bits/syscall.h diff --git a/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/topology_osx.pic.o b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/topology_osx.pic.o new file mode 100755 index 00000000..7e095117 Binary files /dev/null and b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/topology_osx.pic.o differ diff --git a/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/urcu_gp.pic.d b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/urcu_gp.pic.d new file mode 100755 index 00000000..132e666b --- /dev/null +++ b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/urcu_gp.pic.d @@ -0,0 +1,197 @@ +bazel-out/k8-opt/bin/external/cds/_objs/cds/urcu_gp.pic.o: \ + external/cds/src/urcu_gp.cpp /usr/include/stdc-predef.h \ + external/cds/cds/urcu/details/gp.h \ + external/cds/cds/urcu/details/gp_decl.h \ + external/cds/cds/urcu/details/base.h external/cds/cds/algo/atomic.h \ + external/cds/cds/details/defs.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stddef.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdlib.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdlib \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++config.h \ + /usr/include/bits/wordsize.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/os_defines.h \ + /usr/include/features.h /usr/include/sys/cdefs.h \ + /usr/include/bits/long-double.h /usr/include/gnu/stubs.h \ + /usr/include/gnu/stubs-64.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/cpu_defines.h \ + /usr/include/stdlib.h /usr/include/bits/libc-header-start.h \ + /usr/include/bits/waitflags.h /usr/include/bits/waitstatus.h \ + /usr/include/bits/floatn.h /usr/include/bits/floatn-common.h \ + /usr/include/bits/types/locale_t.h /usr/include/bits/types/__locale_t.h \ + /usr/include/sys/types.h /usr/include/bits/types.h \ + /usr/include/bits/timesize.h /usr/include/bits/typesizes.h \ + /usr/include/bits/time64.h /usr/include/bits/types/clock_t.h \ + /usr/include/bits/types/clockid_t.h /usr/include/bits/types/time_t.h \ + /usr/include/bits/types/timer_t.h /usr/include/bits/stdint-intn.h \ + /usr/include/endian.h /usr/include/bits/endian.h \ + /usr/include/bits/endianness.h /usr/include/bits/byteswap.h \ + /usr/include/bits/uintn-identity.h /usr/include/sys/select.h \ + /usr/include/bits/select.h /usr/include/bits/types/sigset_t.h \ + /usr/include/bits/types/__sigset_t.h \ + /usr/include/bits/types/struct_timeval.h \ + /usr/include/bits/types/struct_timespec.h /usr/include/bits/select2.h \ + /usr/include/bits/pthreadtypes.h /usr/include/bits/thread-shared-types.h \ + /usr/include/bits/pthreadtypes-arch.h /usr/include/bits/struct_mutex.h \ + /usr/include/bits/struct_rwlock.h /usr/include/alloca.h \ + /usr/include/bits/stdlib-bsearch.h /usr/include/bits/stdlib-float.h \ + /usr/include/bits/stdlib.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_abs.h \ + /usr/include/assert.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdint \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stdint.h \ + /usr/include/stdint.h /usr/include/bits/wchar.h \ + /usr/include/bits/stdint-uintn.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/exception \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_defines.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_init_exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/typeinfo \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hash_bytes.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/new \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/nested_exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/move.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/type_traits \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdexcept \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/string \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stringfwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/memoryfwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/char_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algobase.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functexcept.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cpp_type_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/type_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/numeric_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_pair.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_types.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_funcs.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/concept_check.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/assertions.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ptr_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/debug.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/predefined_ops.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/postypes.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwchar \ + /usr/include/wchar.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stdarg.h \ + /usr/include/bits/types/wint_t.h /usr/include/bits/types/mbstate_t.h \ + /usr/include/bits/types/__mbstate_t.h /usr/include/bits/types/__FILE.h \ + /usr/include/bits/types/FILE.h /usr/include/bits/wchar2.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/new_allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/localefwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++locale.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/clocale \ + /usr/include/locale.h /usr/include/bits/locale.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iosfwd \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cctype \ + /usr/include/ctype.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream_insert.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_forced.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_function.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/binders.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_access.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/initializer_list \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/iterator_concepts.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/concepts \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_cmp.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/int_limits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/atomicity.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/bits/sched.h \ + /usr/include/bits/types/struct_sched_param.h /usr/include/bits/cpu-set.h \ + /usr/include/time.h /usr/include/bits/time.h /usr/include/bits/timex.h \ + /usr/include/bits/types/struct_tm.h \ + /usr/include/bits/types/struct_itimerspec.h /usr/include/bits/setjmp.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/atomic_word.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/alloc_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/alloc_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_construct.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/string_conversions.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdio \ + /usr/include/stdio.h /usr/include/bits/types/__fpos_t.h \ + /usr/include/bits/types/__fpos64_t.h \ + /usr/include/bits/types/struct_FILE.h \ + /usr/include/bits/types/cookie_io_functions_t.h \ + /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h \ + /usr/include/bits/stdio.h /usr/include/bits/stdio2.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cerrno \ + /usr/include/errno.h /usr/include/bits/errno.h \ + /usr/include/linux/errno.h /usr/include/asm/errno.h \ + /usr/include/asm-generic/errno.h /usr/include/asm-generic/errno-base.h \ + /usr/include/bits/types/error_t.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/charconv.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functional_hash.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.tcc \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/memory \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_uninitialized.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tempbuf.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_raw_storage_iter.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ranges_uninitialized.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/concurrence.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uses_allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unique_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/utility \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_relops.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/tuple \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/array \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/invoke.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_base.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocated_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/refwrap.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/aligned_buffer.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_atomic.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_base.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_lockfree_defines.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/auto_ptr.h \ + external/cds/cds/version.h external/cds/cds/compiler/defs.h \ + external/cds/cds/compiler/gcc/defs.h \ + external/cds/cds/compiler/gcc/compiler_macro.h \ + external/cds/cds/compiler/gcc/compiler_barriers.h \ + external/cds/cds/compiler/feature_tsan.h \ + external/cds/cds/user_setup/cache_line.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/atomic \ + external/cds/cds/gc/details/retired_ptr.h \ + external/cds/cds/details/allocator.h \ + external/cds/cds/user_setup/allocator.h \ + external/cds/cds/os/alloc_aligned.h \ + external/cds/cds/os/linux/alloc_aligned.h \ + external/cds/cds/os/posix/alloc_aligned.h \ + external/cds/cds/details/is_aligned.h external/cds/cds/algo/int_algo.h \ + external/cds/cds/algo/bitop.h external/cds/cds/compiler/bitop.h \ + external/cds/cds/compiler/gcc/amd64/bitop.h \ + external/cds/cds/details/bitop_generic.h \ + external/cds/cds/details/throw_exception.h external/cds/cds/os/thread.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/thread \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/chrono \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ratio \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/limits \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ctime \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/parse_numbers.h \ + external/cds/cds/os/posix/thread.h /usr/include/signal.h \ + /usr/include/bits/signum.h /usr/include/bits/signum-generic.h \ + /usr/include/bits/types/sig_atomic_t.h \ + /usr/include/bits/types/siginfo_t.h /usr/include/bits/types/__sigval_t.h \ + /usr/include/bits/siginfo-arch.h /usr/include/bits/siginfo-consts.h \ + /usr/include/bits/siginfo-consts-arch.h \ + /usr/include/bits/types/sigval_t.h /usr/include/bits/types/sigevent_t.h \ + /usr/include/bits/sigevent-consts.h /usr/include/bits/sigaction.h \ + /usr/include/bits/sigcontext.h /usr/include/bits/types/stack_t.h \ + /usr/include/sys/ucontext.h /usr/include/bits/sigstack.h \ + /usr/include/bits/ss_flags.h /usr/include/bits/types/struct_sigstack.h \ + /usr/include/bits/sigthread.h /usr/include/bits/signal_ext.h \ + external/cds/cds/details/marked_ptr.h external/cds/cds/threading/model.h \ + external/cds/cds/threading/details/_common.h \ + external/cds/cds/urcu/details/sh_decl.h \ + external/cds/cds/algo/elimination_tls.h external/cds/cds/algo/base.h \ + external/cds/cds/user_setup/threading.h \ + external/cds/cds/threading/details/auto_detect.h \ + external/cds/cds/threading/details/pthread.h \ + external/cds/cds/threading/details/pthread_manager.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/system_error \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/error_constants.h diff --git a/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/urcu_gp.pic.o b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/urcu_gp.pic.o new file mode 100755 index 00000000..af616f42 Binary files /dev/null and b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/urcu_gp.pic.o differ diff --git a/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/urcu_sh.pic.d b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/urcu_sh.pic.d new file mode 100755 index 00000000..1f8fe17f --- /dev/null +++ b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/urcu_sh.pic.d @@ -0,0 +1,198 @@ +bazel-out/k8-opt/bin/external/cds/_objs/cds/urcu_sh.pic.o: \ + external/cds/src/urcu_sh.cpp /usr/include/stdc-predef.h \ + external/cds/cds/urcu/details/sh.h /usr/include/memory.h \ + /usr/include/features.h /usr/include/sys/cdefs.h \ + /usr/include/bits/wordsize.h /usr/include/bits/long-double.h \ + /usr/include/gnu/stubs.h /usr/include/gnu/stubs-64.h \ + /usr/include/string.h /usr/include/bits/libc-header-start.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stddef.h \ + /usr/include/bits/types/locale_t.h /usr/include/bits/types/__locale_t.h \ + /usr/include/strings.h /usr/include/bits/strings_fortified.h \ + /usr/include/bits/string_fortified.h \ + external/cds/cds/urcu/details/sh_decl.h \ + external/cds/cds/urcu/details/base.h external/cds/cds/algo/atomic.h \ + external/cds/cds/details/defs.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdlib.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdlib \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++config.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/os_defines.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/cpu_defines.h \ + /usr/include/stdlib.h /usr/include/bits/waitflags.h \ + /usr/include/bits/waitstatus.h /usr/include/bits/floatn.h \ + /usr/include/bits/floatn-common.h /usr/include/sys/types.h \ + /usr/include/bits/types.h /usr/include/bits/timesize.h \ + /usr/include/bits/typesizes.h /usr/include/bits/time64.h \ + /usr/include/bits/types/clock_t.h /usr/include/bits/types/clockid_t.h \ + /usr/include/bits/types/time_t.h /usr/include/bits/types/timer_t.h \ + /usr/include/bits/stdint-intn.h /usr/include/endian.h \ + /usr/include/bits/endian.h /usr/include/bits/endianness.h \ + /usr/include/bits/byteswap.h /usr/include/bits/uintn-identity.h \ + /usr/include/sys/select.h /usr/include/bits/select.h \ + /usr/include/bits/types/sigset_t.h /usr/include/bits/types/__sigset_t.h \ + /usr/include/bits/types/struct_timeval.h \ + /usr/include/bits/types/struct_timespec.h /usr/include/bits/select2.h \ + /usr/include/bits/pthreadtypes.h /usr/include/bits/thread-shared-types.h \ + /usr/include/bits/pthreadtypes-arch.h /usr/include/bits/struct_mutex.h \ + /usr/include/bits/struct_rwlock.h /usr/include/alloca.h \ + /usr/include/bits/stdlib-bsearch.h /usr/include/bits/stdlib-float.h \ + /usr/include/bits/stdlib.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_abs.h \ + /usr/include/assert.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdint \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stdint.h \ + /usr/include/stdint.h /usr/include/bits/wchar.h \ + /usr/include/bits/stdint-uintn.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/exception \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_defines.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_init_exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/typeinfo \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hash_bytes.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/new \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/nested_exception.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/move.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/type_traits \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdexcept \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/string \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stringfwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/memoryfwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/char_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algobase.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functexcept.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cpp_type_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/type_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/numeric_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_pair.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_types.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_funcs.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/concept_check.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/assertions.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ptr_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/debug.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/predefined_ops.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/postypes.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwchar \ + /usr/include/wchar.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stdarg.h \ + /usr/include/bits/types/wint_t.h /usr/include/bits/types/mbstate_t.h \ + /usr/include/bits/types/__mbstate_t.h /usr/include/bits/types/__FILE.h \ + /usr/include/bits/types/FILE.h /usr/include/bits/wchar2.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/new_allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/localefwd.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++locale.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/clocale \ + /usr/include/locale.h /usr/include/bits/locale.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iosfwd \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cctype \ + /usr/include/ctype.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream_insert.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_forced.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_function.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/binders.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_access.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/initializer_list \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/iterator_concepts.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/concepts \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_cmp.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/int_limits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/atomicity.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/bits/sched.h \ + /usr/include/bits/types/struct_sched_param.h /usr/include/bits/cpu-set.h \ + /usr/include/time.h /usr/include/bits/time.h /usr/include/bits/timex.h \ + /usr/include/bits/types/struct_tm.h \ + /usr/include/bits/types/struct_itimerspec.h /usr/include/bits/setjmp.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/atomic_word.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/alloc_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/alloc_traits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_construct.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/string_conversions.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdio \ + /usr/include/stdio.h /usr/include/bits/types/__fpos_t.h \ + /usr/include/bits/types/__fpos64_t.h \ + /usr/include/bits/types/struct_FILE.h \ + /usr/include/bits/types/cookie_io_functions_t.h \ + /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h \ + /usr/include/bits/stdio.h /usr/include/bits/stdio2.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cerrno \ + /usr/include/errno.h /usr/include/bits/errno.h \ + /usr/include/linux/errno.h /usr/include/asm/errno.h \ + /usr/include/asm-generic/errno.h /usr/include/asm-generic/errno-base.h \ + /usr/include/bits/types/error_t.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/charconv.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functional_hash.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.tcc \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/memory \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_uninitialized.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tempbuf.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_raw_storage_iter.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ranges_uninitialized.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/concurrence.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uses_allocator.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unique_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/utility \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_relops.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/tuple \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/array \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/invoke.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_base.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocated_ptr.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/refwrap.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/aligned_buffer.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_atomic.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_base.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_lockfree_defines.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/auto_ptr.h \ + external/cds/cds/version.h external/cds/cds/compiler/defs.h \ + external/cds/cds/compiler/gcc/defs.h \ + external/cds/cds/compiler/gcc/compiler_macro.h \ + external/cds/cds/compiler/gcc/compiler_barriers.h \ + external/cds/cds/compiler/feature_tsan.h \ + external/cds/cds/user_setup/cache_line.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/atomic \ + external/cds/cds/gc/details/retired_ptr.h \ + external/cds/cds/details/allocator.h \ + external/cds/cds/user_setup/allocator.h \ + external/cds/cds/os/alloc_aligned.h \ + external/cds/cds/os/linux/alloc_aligned.h \ + external/cds/cds/os/posix/alloc_aligned.h \ + external/cds/cds/details/is_aligned.h external/cds/cds/algo/int_algo.h \ + external/cds/cds/algo/bitop.h external/cds/cds/compiler/bitop.h \ + external/cds/cds/compiler/gcc/amd64/bitop.h \ + external/cds/cds/details/bitop_generic.h \ + external/cds/cds/details/throw_exception.h external/cds/cds/os/thread.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/thread \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/chrono \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ratio \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/limits \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ctime \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/parse_numbers.h \ + external/cds/cds/os/posix/thread.h /usr/include/signal.h \ + /usr/include/bits/signum.h /usr/include/bits/signum-generic.h \ + /usr/include/bits/types/sig_atomic_t.h \ + /usr/include/bits/types/siginfo_t.h /usr/include/bits/types/__sigval_t.h \ + /usr/include/bits/siginfo-arch.h /usr/include/bits/siginfo-consts.h \ + /usr/include/bits/siginfo-consts-arch.h \ + /usr/include/bits/types/sigval_t.h /usr/include/bits/types/sigevent_t.h \ + /usr/include/bits/sigevent-consts.h /usr/include/bits/sigaction.h \ + /usr/include/bits/sigcontext.h /usr/include/bits/types/stack_t.h \ + /usr/include/sys/ucontext.h /usr/include/bits/sigstack.h \ + /usr/include/bits/ss_flags.h /usr/include/bits/types/struct_sigstack.h \ + /usr/include/bits/sigthread.h /usr/include/bits/signal_ext.h \ + external/cds/cds/details/marked_ptr.h external/cds/cds/threading/model.h \ + external/cds/cds/threading/details/_common.h \ + external/cds/cds/urcu/details/gp_decl.h \ + external/cds/cds/algo/elimination_tls.h external/cds/cds/algo/base.h \ + external/cds/cds/user_setup/threading.h \ + external/cds/cds/threading/details/auto_detect.h \ + external/cds/cds/threading/details/pthread.h \ + external/cds/cds/threading/details/pthread_manager.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/system_error \ + /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/error_constants.h diff --git a/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/urcu_sh.pic.o b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/urcu_sh.pic.o new file mode 100755 index 00000000..42058c03 Binary files /dev/null and b/Solvers/dreal4/bazel-bin/external/cds/_objs/cds/urcu_sh.pic.o differ -- cgit v1.2.3-54-g00ecf